{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,23]],"date-time":"2026-07-23T20:12:34Z","timestamp":1784837554314,"version":"3.55.0"},"reference-count":24,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/hldvt.2002.1224427","type":"proceedings-article","created":{"date-parts":[[2003,10,1]],"date-time":"2003-10-01T10:56:02Z","timestamp":1065005762000},"page":"45-50","source":"Crossref","is-referenced-by-count":15,"title":["Formal analysis and validation of continuous-time Markov chain based system level power management strategies"],"prefix":"10.1109","author":[{"given":"G.","family":"Norman","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"D.","family":"Parker","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"M.","family":"Kwiatkowska","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"S.K.","family":"Shukla","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"R.K.","family":"Gupta","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref10","article-title":"Model checking expected time and expected reward formulae with random time bounds","author":"kwiatkowska","year":"2002","journal-title":"Proc 2nd Euro-Japanese Workshop Stochastic Risk Modeling for Finance Insurance Production Reliabil"},{"key":"ref11","first-page":"200","article-title":"PRISM: Probabilistic symbolic model checker","volume":"2324","author":"kwiatkowska","year":"2002","journal-title":"Proc TOOLS'02"},{"key":"ref12","year":"1997","journal-title":"On Now Power Management Architecture for Applications Website"},{"key":"ref13","doi-asserted-by":"crossref","first-page":"182","DOI":"10.1145\/277044.277094","article-title":"Policy optimization for dynamic power management","author":"paleologo","year":"1998","journal-title":"Proceedings 1998 Design and Automation Conference 35th DAC (Cat No 98CH36175) DAC"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-6217-4_8"},{"key":"ref15","year":"0","journal-title":"PRISM Web Page"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.1999.781377"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/313817.313923"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/337292.337438"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/43.986423"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-5455-4"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/7384.928306"},{"key":"ref6","doi-asserted-by":"crossref","DOI":"10.1145\/307418.307456","article-title":"Dynamic Power Management for Non-Stationary Service Re-quests","author":"chung","year":"1999","journal-title":"Proceedings of the Design Automation and Test Europe"},{"key":"ref5","doi-asserted-by":"crossref","first-page":"499","DOI":"10.1007\/3-540-60692-0_70","article-title":"Model checking of probabilistic and nondeterministic systems","volume":"1026","author":"bianco","year":"1995","journal-title":"Proc Foundations of Software Technology and Theoretical Computer Science"},{"key":"ref8","first-page":"28","article-title":"A Predictive System Shutdown Method For Energy Saving of Event-Driven Com-putation","author":"hwang","year":"1996","journal-title":"Proceedings of the IE£E\/ACM International Conference on Computer Aided Design"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/BF01211866"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/43.766730"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/92.845896"},{"key":"ref9","article-title":"Intel and Microsoft and Toshiba","year":"1996","journal-title":"Advanced configuration and power interface specification"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2000.896497"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/HLDVT.2001.972807"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2002.998258"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/92.486080"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/ISSS.1999.814255"}],"event":{"name":"IEEE International High Level Design Validation and Test Workshop (HLDVT'02)","location":"Cannes, France","acronym":"HLDVT-02"},"container-title":["Seventh IEEE International High-Level Design Validation and Test Workshop, 2002."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8669\/27468\/01224427.pdf?arnumber=1224427","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,6,11]],"date-time":"2021-06-11T12:38:01Z","timestamp":1623415081000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1224427\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/hldvt.2002.1224427","relation":{},"subject":[]}}