CAnDy-TM : Comparative analysis of dynamic thermal management in many-cores using model checking
| 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 |
Scopus