KIT | KIT-Bibliothek | Impressum

FAMe-TM: Formal analysis methodology for task migration algorithms in Many-Core systems

Bukhari, Syed Ali Asadullah; Lodhi, Faiq Khalid; Hasan, Osman; Shafique, Muhammad; Henkel, Jörg



Zugehörige Institution(en) am KIT Institut für Technische Informatik (ITEC)
Publikationstyp Zeitschriftenaufsatz
Jahr 2017
Sprache Englisch
Identifikator DOI: 10.1016/j.scico.2016.06.004
ISSN: 0167-6423, 1872-7964
KITopen ID: 1000063116
Erschienen in Science of computer programming
Band 133
Seiten 154–174
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page