6834 search results - page 1124 / 1367 » The Fail-Heterogeneous Architectural Model |
168
click to vote
VLSID
2004
IEEE
16 years 7 months ago
2004
IEEE
We consider the problem of minimizing the delay in signal transmission over point-to-point connections across multiple metal layers in a VLSI circuit. We present an exact solution...
214
click to vote
VLSID
2004
IEEE
16 years 7 months ago
2004
IEEE
This paper presents a novel technique for abstracting designs in order to increase the efficiency of formal property checking. Bounded Model Checking (BMC), using Satisfiability (...
188
click to vote
VLSID
2004
IEEE
16 years 7 months ago
2004
IEEE
It has been observed that even highly optimized software programs perform "redundant" computations during their execution, due to the nature (statistics) of the values a...
169
click to vote
VLSID
2002
IEEE
16 years 7 months ago
2002
IEEE
- This work presents accurate closed-form expressions for the interconnect energy dissipation in high-speed ULSI circuits. Unlike previous works, the energy is calculated using an ...
143
click to vote
HPCA
2008
IEEE
16 years 7 months ago
2008
IEEE
Recent advances in statistical inference and machine learning close the divide between simulation and classical optimization, thereby enabling more rigorous and robust microarchit...