Closed-loop control for power and thermal management in multi-core processors: formal methods and industrial practice.

Ibrahim M. Elfadel, Radu Marculescu, David Atienza

Browse the full DATE paper archive.