{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T09:48:48Z","timestamp":1729676928769,"version":"3.28.0"},"reference-count":14,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,11]]},"DOI":"10.1109\/iccad.2008.4681547","type":"proceedings-article","created":{"date-parts":[[2008,11,25]],"date-time":"2008-11-25T21:24:14Z","timestamp":1227648254000},"page":"24-31","source":"Crossref","is-referenced-by-count":10,"title":["Synthesis from multi-cycle atomic actions as a solution to the timing closure problem"],"prefix":"10.1109","author":[{"given":"Michal","family":"Karczmarek","sequence":"first","affiliation":[]},{"family":"Arvind","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"13","doi-asserted-by":"publisher","DOI":"10.1145\/224964.224987"},{"key":"14","article-title":"parallel operation in the control data 6600","volume":"26","author":"thornton","year":"1964","journal-title":"AFIPS Proc FJCC"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2005.1560170"},{"key":"12","first-page":"55","article-title":"rosenband and arvind. modular scheduling of guarded atomic actions","author":"daniel","year":"2004","journal-title":"DAC '04 Proceedings of the 41st annual conference on Design automation"},{"year":"0","key":"3"},{"year":"0","key":"2"},{"journal-title":"Bluespec Language definition","year":"2001","author":"augustsson","key":"1"},{"key":"10","first-page":"511","article-title":"hoe and arvind. synthesis of operation-centric hardware descriptions","author":"james","year":"2000","journal-title":"Proceedings of ICCAD'00"},{"key":"7","doi-asserted-by":"crossref","first-page":"434","DOI":"10.1145\/17356.17406","article-title":"memory access buffering in multiprocessors","author":"dubois","year":"1986","journal-title":"ISCA '86 Proceedings of the 13th annual international symposium on Computer architecture"},{"article-title":"an introduction to asynchronous circuit design","year":"1997","author":"davis","key":"6"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2007.371249"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/ISCA.2006.13"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/ISCA.1993.698569"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1145\/872035.872048"}],"event":{"name":"2008 IEEE\/ACM International Conference on Computer-Aided Design (ICCAD)","start":{"date-parts":[[2008,11,10]]},"location":"San Jose, CA, USA","end":{"date-parts":[[2008,11,13]]}},"container-title":["2008 IEEE\/ACM International Conference on Computer-Aided Design"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4670335\/4681527\/04681547.pdf?arnumber=4681547","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,18]],"date-time":"2017-06-18T14:00:31Z","timestamp":1497794431000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4681547\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,11]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/iccad.2008.4681547","relation":{},"subject":[],"published":{"date-parts":[[2008,11]]}}}