{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T12:06:31Z","timestamp":1763467591446,"version":"3.28.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":13,"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":[]},{"given":"D.","family":"Parker","sequence":"additional","affiliation":[]},{"given":"M.","family":"Kwiatkowska","sequence":"additional","affiliation":[]},{"given":"S.K.","family":"Shukla","sequence":"additional","affiliation":[]},{"given":"R.K.","family":"Gupta","sequence":"additional","affiliation":[]}],"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"},{"year":"1997","journal-title":"On Now Power Management Architecture for Applications Website","key":"ref12"},{"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"},{"doi-asserted-by":"publisher","key":"ref14","DOI":"10.1007\/978-1-4757-6217-4_8"},{"year":"0","journal-title":"PRISM Web Page","key":"ref15"},{"doi-asserted-by":"publisher","key":"ref16","DOI":"10.1109\/DAC.1999.781377"},{"doi-asserted-by":"publisher","key":"ref17","DOI":"10.1145\/313817.313923"},{"doi-asserted-by":"publisher","key":"ref18","DOI":"10.1145\/337292.337438"},{"doi-asserted-by":"publisher","key":"ref19","DOI":"10.1109\/43.986423"},{"doi-asserted-by":"publisher","key":"ref4","DOI":"10.1007\/978-1-4615-5455-4"},{"doi-asserted-by":"publisher","key":"ref3","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"},{"doi-asserted-by":"publisher","key":"ref7","DOI":"10.1007\/BF01211866"},{"doi-asserted-by":"publisher","key":"ref2","DOI":"10.1109\/43.766730"},{"doi-asserted-by":"publisher","key":"ref1","DOI":"10.1109\/92.845896"},{"year":"1996","journal-title":"Advanced configuration and power interface specification","article-title":"Intel and Microsoft and Toshiba","key":"ref9"},{"doi-asserted-by":"publisher","key":"ref20","DOI":"10.1109\/ICCAD.2000.896497"},{"doi-asserted-by":"publisher","key":"ref22","DOI":"10.1109\/HLDVT.2001.972807"},{"doi-asserted-by":"publisher","key":"ref21","DOI":"10.1109\/DATE.2002.998258"},{"doi-asserted-by":"publisher","key":"ref24","DOI":"10.1109\/92.486080"},{"doi-asserted-by":"publisher","key":"ref23","DOI":"10.1109\/ISSS.1999.814255"}],"event":{"acronym":"HLDVT-02","name":"IEEE International High Level Design Validation and Test Workshop (HLDVT'02)","location":"Cannes, France"},"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":[]}}