261 search results - page 53 / 53 » SAT-Based Algorithms for Logic Minimization |
HPCA
2011
IEEE
12 years 9 months ago
2011
IEEE
Extreme technology integration in the sub-micron regime comes with a rapid rise in heat dissipation and power density for modern processors. Dynamic voltage scaling is a widely us...