{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,31]],"date-time":"2024-10-31T02:44:42Z","timestamp":1730342682693,"version":"3.28.0"},"reference-count":22,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,3]]},"DOI":"10.23919\/date.2017.7927191","type":"proceedings-article","created":{"date-parts":[[2017,5,15]],"date-time":"2017-05-15T16:34:41Z","timestamp":1494866081000},"page":"1289-1292","source":"Crossref","is-referenced-by-count":1,"title":["CAnDy-TM: Comparative analysis of dynamic thermal management in many-cores using model checking"],"prefix":"10.23919","author":[{"given":"Syed Ali Asadullah","family":"Bukhari","sequence":"first","affiliation":[]},{"given":"Faiq Khalid","family":"Lodhi","sequence":"additional","affiliation":[]},{"given":"Osman","family":"Hasan","sequence":"additional","affiliation":[]},{"given":"Muhammad","family":"Shafique","sequence":"additional","affiliation":[]},{"given":"Jorg","family":"Henkel","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","first-page":"1","article-title":"Fast and accurate thermal simulation and modelling of workloads of many-core processors","author":"wojciechowski","year":"2011","journal-title":"Thermal Invest ICs Syst"},{"key":"ref11","first-page":"266","article-title":"Em-power: FPGA Based Emulation of Dynamic Power Management Algorithms for Multi-core Systems on Chip","author":"ananthanarayanan","year":"0","journal-title":"International Symposium on Field Programmable Gate Arrays"},{"key":"ref12","article-title":"Intel delays Montecito in roadmap shakeup","author":"dunn","year":"2005","journal-title":"EE Times Man-ufacturing\/Packaging"},{"key":"ref13","first-page":"202","article-title":"Using probabilistic model checking for dynamic power management","volume":"17","author":"norman","year":"2003","journal-title":"Formal Aspects of Computing"},{"doi-asserted-by":"publisher","key":"ref14","DOI":"10.1109\/MEMCOD.2009.5185383"},{"doi-asserted-by":"publisher","key":"ref15","DOI":"10.7873\/DATE.2015.0503"},{"key":"ref16","first-page":"210","article-title":"Probabilistic formal verification methodology for decentralized thermal management in on-chip systems","year":"2015","journal-title":"Enabling Technologies Infrastructure for Collaborative Enterprises"},{"year":"1999","author":"clarke","journal-title":"Model checking","key":"ref17"},{"key":"ref18","first-page":"32","article-title":"For-mal Verification of Distributed Task Migration for Thermal Management in On-chip Multi-core Systems using nuXmv","volume":"476","author":"bukhari","year":"2015","journal-title":"Formal Techniques for Safety-Critical Systems Ser Communications in Computer and Information Science"},{"doi-asserted-by":"publisher","key":"ref19","DOI":"10.1007\/978-3-319-08867-9_22"},{"key":"ref4","first-page":"1","article-title":"Distributed task migration for thermal hot spot reduction in many-core microprocessors","author":"liu","year":"2013","journal-title":"ASIC"},{"doi-asserted-by":"publisher","key":"ref3","DOI":"10.1109\/ICCAD.2006.320172"},{"key":"ref6","first-page":"330","article-title":"mdtm: multiobjective dynamic thermal management for on-chip systems","author":"khdr","year":"2014","journal-title":"Design Automation & Test in Europe"},{"doi-asserted-by":"publisher","key":"ref5","DOI":"10.1109\/MDT.2010.94"},{"doi-asserted-by":"publisher","key":"ref8","DOI":"10.1145\/1687399.1687457"},{"doi-asserted-by":"publisher","key":"ref7","DOI":"10.1145\/1531542.1531577"},{"doi-asserted-by":"publisher","key":"ref2","DOI":"10.1145\/1150019.1136493"},{"doi-asserted-by":"publisher","key":"ref1","DOI":"10.1109\/STHERM.2010.5444293"},{"key":"ref9","first-page":"185","article-title":"Predicting thermal behavior for temperature management in time-critical multicore systems","author":"yun","year":"2013","journal-title":"Real-Time and Embedded Technology and Applications Symp"},{"doi-asserted-by":"publisher","key":"ref20","DOI":"10.1016\/j.scico.2016.06.004"},{"year":"2016","journal-title":"Intel","article-title":"Intel xeon processor 7400 series thermal\/mechanical design guidelines","key":"ref22"},{"year":"2017","article-title":"Sources for CAnDy-TM","key":"ref21"}],"event":{"name":"2017 Design, Automation & Test in Europe Conference & Exhibition (DATE)","start":{"date-parts":[[2017,3,27]]},"location":"Lausanne, Switzerland","end":{"date-parts":[[2017,3,31]]}},"container-title":["Design, Automation & Test in Europe Conference & Exhibition (DATE), 2017"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7919927\/7926947\/07927191.pdf?arnumber=7927191","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,10,2]],"date-time":"2017-10-02T23:14:39Z","timestamp":1506986079000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7927191\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,3]]},"references-count":22,"URL":"https:\/\/doi.org\/10.23919\/date.2017.7927191","relation":{},"subject":[],"published":{"date-parts":[[2017,3]]}}}