Closed-Loop Control for Power and Thermal Management in Multi-Core Processors: Formal Methods and Industrial Practice

Version 1

    DATE2013 - Presentation:

    Closed-Loop Control for Power and Thermal Management in Multi-Core Processors: Formal Methods and Industrial Practice

     

    Ibrahim (Abe) M. Elfadel

    Radu Marculescu

    David Atienza