Back to Search Start Over

Temperature- and energy-constrained scheduling in multitasking systems: A model checking approach.

Authors :
Wang, Weixun
Qin, Xiaoke
Mishra, Prabhat
Source :
2010 ACM/IEEE International Symposium on Low-Power Electronics & Design (ISLPED); 2010, p85-90, 6p
Publication Year :
2010

Details

Language :
English
ISBNs :
9781424485888
Database :
Complementary Index
Journal :
2010 ACM/IEEE International Symposium on Low-Power Electronics & Design (ISLPED)
Publication Type :
Conference
Accession number :
81442849