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

Weixun Wang, Xiaoke Qin, Prabhat Mishra

Browse the full ISLPED paper archive.