11061 search results - page 1526 / 2213 » Computer Architecture |
175
click to vote
DAC
2008
ACM
16 years 8 months ago
2008
ACM
In deep submicron circuits, thermal hot spots and high temperature gradients increase the cooling costs, and degrade reliability and performance. In this paper, we propose a low-co...
163
click to vote
DAC
2008
ACM
16 years 8 months ago
2008
ACM
The relative decline of single-threaded processor performance, coupled with the ongoing shift towards on chip parallelism requires that CAD applications run efficiently on paralle...
188
Voted
DAC
2008
ACM
16 years 8 months ago
2008
ACM
Since process and environmental variations can no longer be ignored in high-performance microprocessor designs, it is necessary to develop techniques for computing the sensitiviti...
202
Voted
DAC
2008
ACM
16 years 8 months ago
2008
ACM
Many computational tools have recently begun to benefit from the use of the symmetry inherent in the tasks they solve, and use general-purpose graph symmetry tools to uncover this...
179
Voted
DAC
2007
ACM
16 years 8 months ago
2007
ACM
The ability of modern SAT solvers to produce proofs of unsatisfiability for Boolean formulas has become a powerful tool for EDA applications. Proofs are generated from a resolve t...