31 search results - page 7 / 7 » Automated Machine-Checked Hybrid System Safety Proofs |
DAC
2006
ACM
14 years 6 months ago
2006
ACM
With ever-increasing power density and cooling costs in modern high-performance systems, dynamic thermal management (DTM) has emerged as an effective technique for guaranteeing th...