Filters








2 Hits in 3.7 sec

TCEC: Temperature and Energy-Constrained Scheduling in Real-Time Multitasking Systems

Xiaoke Qin, Weixun Wang, Prabhat Mishra
2012 IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems  
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

Weixun Wang, Xiaoke Qin, Prabhat Mishra
2010 Proceedings of the 16th ACM/IEEE international symposium on Low power electronics and design - ISLPED '10  
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