KIT | KIT-Bibliothek | Impressum | Datenschutz

Towards Model Checking-Driven Fair Comparison of Dynamic Thermal Management Techniques under Multi-Threaded Workloads

Bukhari, S. A. A.; Khalid, F.; Hasan, O.; Shafique, M.; Henkel, Jörg 1
1 Karlsruher Institut für Technologie (KIT)


Originalveröffentlichung
DOI: 10.1109/TCAD.2019.2921313
Scopus
Zitationen: 2
Web of Science
Zitationen: 3
Dimensions
Zitationen: 2
Zugehörige Institution(en) am KIT Institut für Technische Informatik (ITEC)
Publikationstyp Zeitschriftenaufsatz
Publikationsmonat/-jahr 08.2020
Sprache Englisch
Identifikator ISSN: 0278-0070, 1937-4151
KITopen-ID: 1000096397
Erschienen in IEEE transactions on computer-aided design of integrated circuits and systems
Verlag Institute of Electrical and Electronics Engineers (IEEE)
Band 39
Heft 8
Seiten 1725-1738
Vorab online veröffentlicht am 19.06.2020
Nachgewiesen in Scopus
Web of Science
Dimensions
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page