{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,16]],"date-time":"2026-07-16T19:54:42Z","timestamp":1784231682575,"version":"3.55.0"},"reference-count":28,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,11]]},"DOI":"10.1109\/iccad.2013.6691121","type":"proceedings-article","created":{"date-parts":[[2014,3,7]],"date-time":"2014-03-07T17:22:41Z","timestamp":1394212961000},"page":"211-218","source":"Crossref","is-referenced-by-count":77,"title":["SDC-based modulo scheduling for pipeline synthesis"],"prefix":"10.1109","author":[{"given":"Zhiru","family":"Zhang","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Bin","family":"Liu","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2004.1281665"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/43.137516"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1145\/53990.54022"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2008.4483947"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2011.5763223"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1145\/155090.155115"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/43.75629"},{"key":"11","first-page":"382","article-title":"Loop winding - A data flow approach to functional pipelining","author":"girczyc","year":"1987","journal-title":"Proceedings - IEEE International Symposium on Circuits and Systems"},{"key":"12","first-page":"55","article-title":"Swing modulo scheduling for GCC","author":"hagog","year":"2004","journal-title":"Proc GCC Developers Summit"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1109\/43.3169"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/12.910814"},{"key":"22","doi-asserted-by":"crossref","first-page":"661","DOI":"10.1109\/43.31522","article-title":"Force-directed scheduling for the behavioral synthesis of ASICs","volume":"8","author":"paulin","year":"1989","journal-title":"IEEE Trans on Computer-Aided Design of Integrated Circuits and Systems"},{"key":"23","author":"pratt","year":"1977","journal-title":"Two easy theories whose combination is hard"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1109\/43.486271"},{"key":"25","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1007\/PL00009261","article-title":"Solving systems of difference constraints incrementally","volume":"23","author":"ramalingam","year":"1999","journal-title":"Algorithmica (New York)"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1145\/192724.192731"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1145\/1014192.802449"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1023\/A:1015341305426"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1145\/514191.514208"},{"key":"2","doi-asserted-by":"crossref","first-page":"566","DOI":"10.1145\/157485.165042","article-title":"rotation scheduling: a loop pipelining algorithm","author":"chao","year":"1993","journal-title":"30th ACM\/IEEE Design Automation Conference"},{"key":"10","first-page":"1192","article-title":"Caracte?risation des Matrices Totalement Unimodulaires","volume":"254","author":"ghouila-houri","year":"1962","journal-title":"CR Acad Sci Paris"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1145\/1839480.1839485"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1145\/321694.321699"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-8588-8"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1145\/1146909.1147025"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2011.2110592"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1145\/1356058.1356075"},{"key":"8","first-page":"219","article-title":"Cost sensitive modulo scheduling in a loop accelerator synthesis system","author":"fan","year":"2005","journal-title":"Int'l Symp on Microarchitecture"}],"event":{"name":"2013 IEEE\/ACM International Conference on Computer-Aided Design (ICCAD)","location":"San Jose, CA","start":{"date-parts":[[2013,11,18]]},"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\/06691121.pdf?arnumber=6691121","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,22]],"date-time":"2017-06-22T05:15:30Z","timestamp":1498108530000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6691121\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,11]]},"references-count":28,"URL":"https:\/\/doi.org\/10.1109\/iccad.2013.6691121","relation":{},"subject":[],"published":{"date-parts":[[2013,11]]}}}