Sciweavers

4359 search results - page 140 / 872
» Automated Pipeline Design
Sort
View
DAC
2004
ACM
14 years 10 months ago
Theoretical and practical limits of dynamic voltage scaling
Bo Zhai, David Blaauw, Dennis Sylvester, Kriszti&a...
DAC
2005
ACM
14 years 10 months ago
Beyond safety: customized SAT-based model checking
Malay K. Ganai, Aarti Gupta, Pranav Ashar