Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
}