Shafaq Iqtedar, Osman Hasan, Muhammad Shafique, Jörg Henkel. Probabilistic Formal Verification Methodology for Decentralized Thermal Management in On-Chip Systems. In Sumitra Reddy, editor, 24th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE Workshops 2015, Larnaca, Cyprus, June 15-17, 2015. pages 210-215, IEEE, 2015. [doi]
Abstract is missing.