CAnDy-TM: Comparative analysis of dynamic thermal management in many-cores using model checking.

Syed Ali Asadullah Bukhari, Faiq Khalid Lodhi, Osman Hasan, Muhammad Shafique, Jrg Henkel

Browse the full DATE paper archive.