{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T11:56:15Z","timestamp":1725537375002},"reference-count":23,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,10]]},"DOI":"10.1109\/iccd.2013.6657037","type":"proceedings-article","created":{"date-parts":[[2013,11,11]],"date-time":"2013-11-11T17:22:16Z","timestamp":1384190536000},"page":"145-153","source":"Crossref","is-referenced-by-count":4,"title":["Design tradeoffs for simplicity and efficient verification in the Execution Migration Machine"],"prefix":"10.1109","author":[{"given":"Keun Sup","family":"Shim","sequence":"first","affiliation":[]},{"given":"Mieszko","family":"Lis","sequence":"additional","affiliation":[]},{"given":"Myong Hyon","family":"Cho","sequence":"additional","affiliation":[]},{"given":"Ilia","family":"Lebedev","sequence":"additional","affiliation":[]},{"given":"Srinivas","family":"Devadas","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"Computer Architecture Letters","article-title":"Thread migration prediction for distributed shared caches","year":"2012","author":"shim","key":"19"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2004.1382681"},{"journal-title":"MIT CSAIL CSG Technical Memo 511","article-title":"The Execution Migration Machine","year":"2013","author":"lis","key":"17"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2003.1213087"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1145\/605397.605420"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1145\/1999946.1999952"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.2316\/P.2011.757-081"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/SC.2010.53"},{"journal-title":"HOTCHIPS","article-title":"Hardware-level thread migration in a 110-core shared-memory processor","year":"2013","author":"lis","key":"14"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/HPCA.2008.4658652"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/PACT.2011.21"},{"journal-title":"ICCAD","article-title":"Scheduling and Synthesis of Operation-Centric Hardware Descriptions","year":"2000","author":"hoe","key":"21"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1023\/A:1022969405325"},{"journal-title":"Bluespec SystemVerilog? Reference Guide","year":"2011","key":"20"},{"journal-title":"Scalable Shared-Memory Multiprocessing","year":"1995","author":"lenoski","key":"2"},{"journal-title":"Assembly and Packaging","year":"2007","key":"1"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1145\/1183401.1183438"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1145\/2155620.2155647"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO.2010.11"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/ICCD.2008.4751884"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-68237-0_2"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1145\/264107.264163"},{"journal-title":"Intel Core 2 Duo and Intel Core 2 Solo Processor for Intel Centrino Duo Processor Technology Specification Update","year":"2010","key":"8"}],"event":{"name":"2013 IEEE 31st International Conference on Computer Design (ICCD)","start":{"date-parts":[[2013,10,6]]},"location":"Asheville, NC, USA","end":{"date-parts":[[2013,10,9]]}},"container-title":["2013 IEEE 31st International Conference on Computer Design (ICCD)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6644329\/6657009\/06657037.pdf?arnumber=6657037","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,22]],"date-time":"2017-03-22T22:11:33Z","timestamp":1490220693000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6657037\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,10]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/iccd.2013.6657037","relation":{},"subject":[],"published":{"date-parts":[[2013,10]]}}}