Back to Search Start Over

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

Authors :
Qin, Xiaoke
Wang, Weixun
Mishra, Prabhat
Source :
IEEE Transactions on Computer-Aided Design of Integrated Circuits & Systems. Aug2012, Vol. 31 Issue 8, p1159-1168. 10p.
Publication Year :
2012

Abstract

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-space explosion problem caused by symbolic model checker. Our approximation scheme is guaranteed to not generate any false-positive answer, while it may return false-negative answer in rare cases. Our method is universally applicable since it is independent of any system and task characteristics. Experimental results demonstrate the usefulness of our approach. [ABSTRACT FROM AUTHOR]

Details

Language :
English
ISSN :
02780070
Volume :
31
Issue :
8
Database :
Academic Search Index
Journal :
IEEE Transactions on Computer-Aided Design of Integrated Circuits & Systems
Publication Type :
Academic Journal
Accession number :
77875228
Full Text :
https://doi.org/10.1109/TCAD.2012.2190824