CAnDy-TM: Comparative Analysis of Dynamic Thermal Management in Many-Cores using Model Checking Syed Ali Asadullah Bukhari* , Faiq Khalid Lodhi*, Osman Hasan*, Muhammad Shafiquet and JOrg Henkel:!: *School of Electrical

First Page		Document Content
Date: 2017-06-29 08:43:20		CAnDy-TM: Comparative Analysis of Dynamic Thermal Management in Many-Cores using Model Checking Syed Ali Asadullah Bukhari* , Faiq Khalid Lodhi, Osman Hasan, Muhammad Shafiquet and JOrg Henkel:!: *School of Electrical Add to Reading List Source URL: cesweb.itec.kit.edu Download Document from Source Website File Size: 3,33 MB Share Document on Facebook