Low-Cost Dynamic Voltage and Frequency Management Based upon Robust Control Techniques under Thermal Constraints

Sylvain Durand, Suzanne Lesecq, Edith Beigné, Christian Fabre, Lionel Vincent, Diego Puschini. Low-Cost Dynamic Voltage and Frequency Management Based upon Robust Control Techniques under Thermal Constraints. In Bernhard Beckert, Ferruccio Damiani, Frank S. de Boer, Marcello M. Bonsangue, editors, Formal Methods for Components and Objects, 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers. Volume 7542 of Lecture Notes in Computer Science, pages 334-353, Springer, 2011. [doi]

Abstract

Abstract is missing.