A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Temperature- and energy-constrained scheduling in multitasking systems
2010
Proceedings of the 16th ACM/IEEE international symposium on Low power electronics and design - ISLPED '10
The ongoing scaling of semiconductor technology is causing severe increase of on-chip power density and temperature in microprocessors. This has raised urgent requirement for both power and thermal management during each level of system design. In this paper, we propose a formal technique based on model checking using extended timed automata to solve the processor frequency assignment problem in a temperature-and energy-constrained multitasking system. The state space explosion problem is
doi:10.1145/1840845.1840863
dblp:conf/islped/WangQM10
fatcat:mnm5kmijtbei3mou3672rtluqy