{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T01:43:35Z","timestamp":1729647815069,"version":"3.28.0"},"reference-count":19,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,11]]},"DOI":"10.1109\/iccad.2010.5654109","type":"proceedings-article","created":{"date-parts":[[2010,12,10]],"date-time":"2010-12-10T22:29:13Z","timestamp":1292020153000},"page":"131-138","source":"Crossref","is-referenced-by-count":4,"title":["Combining optimistic and pessimistic DVS scheduling: An adaptive scheme and analysis"],"prefix":"10.1109","author":[{"given":"Simon","family":"Perathoner","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kai","family":"Lampka","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nikolay","family":"Stoimenov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lothar","family":"Thiele","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jian-Jia","family":"Chen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","first-page":"35","article-title":"The effects of energy management on. reliability in real-time embedded systems","author":"zhu","year":"2004","journal-title":"ICCAD"},{"key":"17","doi-asserted-by":"crossref","first-page":"649","DOI":"10.1007\/s10009-006-0019-5","article-title":"System architecture evaluation using modulai: Performance analysis - A case study","volume":"8","author":"wandeler","year":"2006","journal-title":"Software Tools for Technology Transfer (STTT)"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1995.492493"},{"journal-title":"Real-Time Calculus (RTC) Toolbox","year":"0","author":"wandeler","key":"15"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1145\/1118299.1118417"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1145\/1084834.1084865"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS.2000.858698"},{"journal-title":"Network Calculus A Theory of Deterministic Queuing Systems for the Internet","year":"2001","author":"le boudec","key":"11"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1145\/337292.337785"},{"key":"3","first-page":"460","article-title":"Speed scaling to manage temperature","author":"bansal","year":"2005","journal-title":"STACS"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/FOCS.2004.24"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0032042"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1145\/1629335.1629351"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1145\/1450058.1450073"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2009.21"},{"key":"5","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1007\/978-3-540-27755-2_3","article-title":"Timed automata: Semantics, algorithms and tools","author":"bengtsson","year":"2004","journal-title":"Lectures on Concurrency and Petri Nets"},{"key":"4","doi-asserted-by":"crossref","first-page":"200","DOI":"10.1007\/978-3-540-30080-9_7","article-title":"A tutorial on UPPAAL","author":"behrmann","year":"2004","journal-title":"Formal Methods for the Design of Real-Time Systems International School on Formal Methods for the Design of Computer Communication and Software Systems"},{"key":"9","first-page":"275","article-title":"Leakage aware dynamic voltage scaling for real-time embedded systems","author":"jejurikar","year":"2004","journal-title":"Proceedings 41st Design Automation Conference 2004 DAC"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2006.1639422"}],"event":{"name":"2010 IEEE\/ACM International Conference on Computer-Aided Design (ICCAD)","start":{"date-parts":[[2010,11,7]]},"location":"San Jose, CA, USA","end":{"date-parts":[[2010,11,11]]}},"container-title":["2010 IEEE\/ACM International Conference on Computer-Aided Design (ICCAD)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5638200\/5648785\/05654109.pdf?arnumber=5654109","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,19]],"date-time":"2017-06-19T13:08:12Z","timestamp":1497877692000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5654109\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,11]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/iccad.2010.5654109","relation":{},"subject":[],"published":{"date-parts":[[2010,11]]}}}