Thermal-Aware System-Level Design of Multi-Core Real-Time Systems

Iuliana Bacivarov.
Presentation at FMCO 2011, Formal Methods for Components and Objects Workshop, Torino, Italy, 3rd–5th October 2011.
http://fmco.liacs.nl/fmco11.html