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

by Weixun Wang, Xiaoke Qin, Prabhat Mishra

Published in International Symposium on Low Power Electronics and Design by ACM Press.

2010   p85-90

Archived Files and Locations

application/pdf  1.1 MB
file_pp2z54w7ojgtdjpn45jdtq67xq
web.archive.org (webarchive)
www.cise.ufl.edu (web)
Read Archived PDF
Preserved and Accessible
Type  paper-conference
Stage   published
Year   2010
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 0f32cf39-a034-43cd-b4a4-44f70c1bfe57
API URL: JSON