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.
Filters
TCEC: Temperature and Energy-Constrained Scheduling in Real-Time Multitasking Systems
2012
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Preserved Fulltext
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. ...
The ongoing scaling of semiconductor technology is causing severe increase of on-chip power density and temperature in microprocessors. ...
CONCLUSION In this paper, we proposed a flexible and automatic framework to solve the temperature-and energy-constrained scheduling problem in multitasking systems with different voltage levels. ...
doi:10.1109/tcad.2012.2190824
fatcat:tgfk4zst2vdzda6tumypqh5bym
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
Preserved Fulltext
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.
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 ...
The ongoing scaling of semiconductor technology is causing severe increase of on-chip power density and temperature in microprocessors. ...
In this paper, we propose a formal method based on model checking for temperature-and energy-constrained (TCEC) scheduling problems in multitasking systems. ...
doi:10.1145/1840845.1840863
dblp:conf/islped/WangQM10
fatcat:mnm5kmijtbei3mou3672rtluqy