{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T13:00:24Z","timestamp":1725627624763},"reference-count":25,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,11]]},"DOI":"10.1109\/iccad.2013.6691126","type":"proceedings-article","created":{"date-parts":[[2014,3,7]],"date-time":"2014-03-07T22:22:41Z","timestamp":1394230961000},"page":"248-255","source":"Crossref","is-referenced-by-count":7,"title":["Formal verification of distributed dynamic thermal management"],"prefix":"10.1109","author":[{"given":"Muhammad","family":"Ismail","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Osman","family":"Hasan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Ebi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Muhammad","family":"Shafique","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jorg","family":"Henkel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-005-0062-0"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1145\/359545.359563"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2009.5185383"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1145\/1531542.1531577"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2012.6165023"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/32.588521"},{"year":"2013","key":"14"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1145\/2463209.2488857"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2013.6509582"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1145\/2039370.2039408"},{"key":"20","first-page":"260","article-title":"Heat-and-run: Leveraging SMT and CMP to manage power density through the system","author":"powell","year":"2004","journal-title":"ASPLOS"},{"key":"22","article-title":"Agent-based distributed power management for kilo-core processors","author":"shafique","year":"2013","journal-title":"International Conference on Computer-Aided Design (ICCAD)"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1109\/HLDVT.2001.972807"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1145\/2463209.2488734"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1145\/1391469.1391658"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1016\/j.microrel.2011.08.011"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2009.283"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1145\/1837274.1837417"},{"year":"1995","key":"1"},{"key":"7","first-page":"302","article-title":"Tape: Thermal-aware agentbased power econom multi\/many-core architectures","author":"ebi","year":"2009","journal-title":"International Conference on Computer-Aided Design (ICCAD)"},{"key":"6","article-title":"Intel delays montecito in roadmap shakeup","author":"dunn","year":"2005","journal-title":"EE Times Manufacturing\/Packaging"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/ISCA.2006.39"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2004.1459815"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/IRPS.2009.5173246"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1145\/2039370.2039401"}],"event":{"name":"2013 IEEE\/ACM International Conference on Computer-Aided Design (ICCAD)","start":{"date-parts":[[2013,11,18]]},"location":"San Jose, CA","end":{"date-parts":[[2013,11,21]]}},"container-title":["2013 IEEE\/ACM International Conference on Computer-Aided Design (ICCAD)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6679730\/6691081\/06691126.pdf?arnumber=6691126","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,23]],"date-time":"2017-03-23T00:52:43Z","timestamp":1490230363000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6691126\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,11]]},"references-count":25,"URL":"https:\/\/doi.org\/10.1109\/iccad.2013.6691126","relation":{},"subject":[],"published":{"date-parts":[[2013,11]]}}}