8695 search results - page 1306 / 1739 » Making the Complex Simple |
166
click to vote
DAC
2005
ACM
15 years 7 months ago
2005
ACM
On-chip supply networks are playing an increasingly important role for modern nanometer-scale designs. However, the ever growing sizes of power grids make the analysis problem ext...
136
click to vote
DOCENG
2005
ACM
15 years 7 months ago
2005
ACM
In the domain of XML authoring, there have been many tools to help users to edit XML documents. These tools make it easier to produce complex documents by using such technologies ...
163
click to vote
EMSOFT
2006
Springer
15 years 7 months ago
2006
Springer
Distributed real-time and embedded (DRE) systems have stringent constraints on timeliness and other properties whose assurance is crucial to correct system behavior. Formal tools ...
178
Voted
CF
2007
ACM
15 years 6 months ago
2007
ACM
In recent years, highly accurate branch predictors have been proposed primarily for high performance processors. Unfortunately such predictors are extremely energy consuming and i...
131
click to vote
COCO
2008
Springer
15 years 6 months ago
2008
Springer
A central question in quantum information theory and computational complexity is how powerful nonlocal strategies are in cooperative games with imperfect information, such as mult...