Weixun Wang, Xiaoke Qin, Prabhat Mishra. Temperature- and energy-constrained scheduling in multitasking systems: a model checking approach. In Vojin G. Oklobdzija, Barry Pangle, Naehyuck Chang, Naresh R. Shanbhag, Chris H. Kim, editors, Proceedings of the 2010 International Symposium on Low Power Electronics and Design, 2010, Austin, Texas, USA, August 18-20, 2010. pages 85-90, ACM, 2010. [doi]
Abstract is missing.