Probabilistic Formal Verification Methodology for Decentralized Thermal Management in On-Chip Systems.

Shafaq Iqtedar, Osman Hasan, Muhammad Shafique, Jrg Henkel

Browse the full WETICE paper archive.