Back to Search
Start Over
Temperature- and energy-constrained scheduling in multitasking systems: A model checking approach.
- 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