7557 search results - page 1356 / 1512 » Modeling Timed Concurrent Systems |
226
click to vote
DAC
2006
ACM
16 years 7 months ago
2006
ACM
Modern integrated circuits (ICs) are becoming increasingly complex. The complexity makes it difficult to design, manufacture and integrate these high-performance ICs. The advent o...
179
click to vote
SAC
2006
ACM
16 years 10 days ago
2006
ACM
We report a comprehensive evaluation of the topological structure of protein-protein interaction (PPI) networks by mining and analyzing graphs constructed from the publicly availa...
195
click to vote
WIKIS
2005
ACM
15 years 12 months ago
2005
ACM
Good documentation benefits every software development project, especially large ones, but it can be hard, costly, and tiresome to produce when not supported by appropriate tools...
224
click to vote
PLDI
2003
ACM
15 years 11 months ago
2003
ACM
With power-related concerns becoming dominant aspects of hardware and software design, significant research effort has been devoted towards system power minimization. Among run-t...
177
click to vote
SIGMOD
2010
ACM
15 years 11 months ago
2010
ACM
Modern maps provide a variety of information about roads and their surrounding landscape allowing navigation systems to go beyond simple shortest path computation. In this demo, w...