10718 search results - page 613 / 2144 » On the Circuit Implementation Problem |
201
click to vote
SIAMCOMP
2000
15 years 7 months ago
2000
The interpolation method has been one of the main tools for proving lower bounds for propositional proof systems. Loosely speaking, if one can prove that a particular proof system ...
198
click to vote
ICCAD
2009
IEEE
15 years 5 months ago
2009
IEEE
This paper accurately considers wire short defects and proposes an algorithm to guarantee IC chip yield rate improvement for redundant wire insertion. Without considering yield ra...
255
click to vote
NC
2011
15 years 2 months ago
2011
We apply techniques from complexity theory to a model of biological cellular membranes known as membrane systems or P-systems. Like Boolean circuits, membrane systems are defined ...
203
click to vote
MEMICS
2010
15 years 2 months ago
2010
Abstract. Increasing integration densities and the emergence of nanotechnology cause issues related to reliability and power consumption to become dominant factors for the design o...
202
click to vote
TCAD
2010
15 years 2 months ago
2010
Abstract--In sub-100 nm CMOS processes, delay and leakage power reduction continue to be among the most critical design concerns. We propose to exploit the recent availability of f...