Theorem proving based Formal Verification of Distributed Dynamic Thermal Management schemes

The model checker SPIN

Gerard J. Holzmann · IEEE Transactions on Software Engineering · 1997 · 3.8K citations

Computing, Computer Engineering, Computer Science +12

Thousand core chips

Shekhar Borkar · Proceedings - ACM IEEE Design Automation Conference · 2007 · 955 citations

Engineering, Computer Engineering, Computer Systems +17

Dynamic thermal management for high-performance microprocessors

David Brooks, Margaret Martonosi · 2002 · 889 citations

Engineering, Computer Engineering, High-performance Computing +17

Temperature-aware microarchitecture

Kevin Skadron, Mircea R. Stan, Karthik Sankaranarayanan et al. · ACM Transactions on Architecture and Code Optimization · 2004 · 785 citations · Full text

Engineering, Computer Engineering, Computer Science +17

Thermal Modeling, Analysis, and Management in VLSI Circuits: Principles and Methods

Massoud Pedram, Shahin Nazarian · Proceedings of the IEEE · 2006 · 520 citations

Engineering, Computer Engineering, Electrical Engineering +17