ThermOS: System support for dynamic thermal management of chip multi-processors. - Filippo Sironi; Martina Maggio; Riccardo Cattaneo; Giovanni F. Del Nero; Donatella Sciuto; Marco D. Santambrogio (PACT, 2013)