Closed-Loop Control for Power and Thermal Management in Multi-Core Processors: Formal Methods and Industrial Practice
- Elfadel, Ibrahim (Abe) M.
- Marculescu, Radu
- Atienza, David
- Preas, K
- Preas, K
ISSN: 1530-1591
ISBN: 978-3-9815370-0-0
Year of publication: 2013
Pages: 1879-1881
Congress: Design, Automation and Test in Europe Conference and Exhibition (DATE)
Type: Conference paper