KIT | KIT-Bibliothek | Impressum

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

Bukhari, S. A. A.; Lodhi, F. K.; Hasan, O.; Shafique, M.; Henkel, J.



Zugehörige Institution(en) am KIT Institut für Technische Informatik (ITEC)
Publikationstyp Proceedingsbeitrag
Jahr 2017
Sprache Englisch
Identifikator DOI: 10.23919/DATE.2017.7927191
ISBN: 978-3-9815370-9-3
KITopen ID: 1000071191
Erschienen in Proceedings of the 2017 Design, Automation & Test in Europe (DATE), Lausanne, Switzerland, 27-31 March 2017
Verlag IEEE, Piscataway (NJ)
Seiten 1289-1292
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page