Energy-Optimal Dynamic Thermal Management: Computation and Cooling Power Co-Optimization | IEEE Journals & Magazine | IEEE Xplore