Sciweavers

11716 search results - page 260 / 2344
» Computable symbolic dynamics
Sort
View
FOCS
2004
IEEE
15 years 10 months ago
Dynamic Speed Scaling to Manage Energy and Temperature
Nikhil Bansal, Tracy Kimbrel, Kirk Pruhs
DAC
2005
ACM
15 years 8 months ago
Dynamic abstraction using SAT-based BMC
Liang Zhang, Mukul R. Prasad, Michael S. Hsiao, Th...