261 search results - page 53 / 53 » SAT-Based Algorithms for Logic Minimization |
171
click to vote
HPCA
2011
IEEE
14 years 6 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...