A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf
.
TCEC: Temperature and Energy-Constrained Scheduling in Real-Time Multitasking Systems
2012
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
The ongoing scaling of semiconductor technology is causing severe increase of on-chip power density and temperature in microprocessors. This urgently requires both power and thermal management during system design. In this paper, we propose a model checking based technique using extended timed automata to solve the processor frequency assignment problem in a temperature-and energy-constrained multitasking system. We also develop a polynomial time approximation algorithm to address the state
doi:10.1109/tcad.2012.2190824
fatcat:tgfk4zst2vdzda6tumypqh5bym