%0 Conference Paper %1 conf/islped/WangQM10 %A Wang, Weixun %A Qin, Xiaoke %A Mishra, Prabhat %B ISLPED %D 2010 %E Oklobdzija, Vojin G. %E Pangle, Barry %E Chang, Naehyuck %E Shanbhag, Naresh R. %E Kim, Chris H. %I ACM %K dblp %P 85-90 %T Temperature- and energy-constrained scheduling in multitasking systems: a model checking approach. %U http://dblp.uni-trier.de/db/conf/islped/islped2010.html#WangQM10 %@ 978-1-4503-0146-6

@inproceedings{conf/islped/WangQM10, added-at = {2024-05-07T00:00:00.000+0200}, author = {Wang, Weixun and Qin, Xiaoke and Mishra, Prabhat}, biburl = {https://www.bibsonomy.org/bibtex/2e51d102d4f007bf290d89ef995c54a6d/dblp}, booktitle = {ISLPED}, crossref = {conf/islped/2010}, editor = {Oklobdzija, Vojin G. and Pangle, Barry and Chang, Naehyuck and Shanbhag, Naresh R. and Kim, Chris H.}, ee = {https://doi.org/10.1145/1840845.1840863}, interhash = {f60cc7deec64eeb0097041b6a0c9a4b1}, intrahash = {e51d102d4f007bf290d89ef995c54a6d}, isbn = {978-1-4503-0146-6}, keywords = {dblp}, pages = {85-90}, publisher = {ACM}, timestamp = {2024-05-13T10:10:12.000+0200}, title = {Temperature- and energy-constrained scheduling in multitasking systems: a model checking approach.}, url = {http://dblp.uni-trier.de/db/conf/islped/islped2010.html#WangQM10}, year = 2010 }