Formal probabilistic analysis of distributed dynamic thermal management.

Shafaq Iqtedar, Osman Hasan, Muhammad Shafique, Jrg Henkel

Browse the full DATE paper archive.