406 search results - page 34 / 82 » Constraints on Strong Generative Power |
176
click to vote
DAC
2007
ACM
16 years 6 months ago
2007
ACM
This paper presents a variation resilient circuit design technique for maintaining parametric yield of design under inherent variation in process parameters. We propose to utilize...
173
click to vote
PLDI
2009
ACM
16 years 12 days ago
2009
ACM
Symbolic analysis shows promise as a foundation for bug-finding, specification inference, verification, and test generation. This paper addresses demand-driven symbolic analysi...
156
click to vote
DATE
2006
IEEE
15 years 11 months ago
2006
IEEE
Cutting-edge applications of future embedded systems demand highest processor performance with low power consumption to get acceptable battery-life times. Therefore, low power opt...
154
click to vote
ATMOS
2007
15 years 7 months ago
2007
The optimal track allocation problem (OPTRA) is to find, in a given railway network, a conflict free set of train routes of maximum value. We study two types of integer programmi...
167
click to vote
IMR
2004
Springer
15 years 11 months ago
2004
Springer
A great challenge for flow simulators of new generation is to gain more accuracy at well proximity within complex geological structures. For this purpose, a new approach based on...