Formal verification of distributed dynamic thermal management.

Muhammad Ismail, Osman Hasan, Thomas Ebi, Muhammad Shafique, Jrg Henkel

Browse the full ICCAD paper archive.