1329 search results - page 89 / 266 » Constraint-based model synthesis |
142
click to vote
DAC
1999
ACM
15 years 8 months ago
1999
ACM
Dynamic power consumed in CMOS gates goes down quadratically with the supply voltage. By maintaining a high supply voltage for gates on the critical path and by using a low supply...
131
click to vote
ICCAD
1998
IEEE
15 years 8 months ago
1998
IEEE
This paper presents an efficient statistical design methodology that allows simultaneous sizing for performance and optimization for yield and robustness of analog circuits. The s...
146
click to vote
VRST
1997
ACM
15 years 8 months ago
1997
ACM
We present a new method for rendering novel images of flexible 3D objects from a small number of example images in correspondence. The strength of the method is the ability to sy...
132
click to vote
CMSB
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. We present a formal analysis of amino acid replacement during mRNA translation. Building on an abstract stochastic model of arrival of tRNAs and their processing at the r...
165
click to vote
CSREAESA
2004
15 years 5 months ago
2004
The growing software content in various battery-driven embedded systems has led to significant interest in technologies for energy-efficient embedded software. While lowenergy sof...