{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,10]],"date-time":"2026-02-10T16:01:37Z","timestamp":1770739297105,"version":"3.49.0"},"reference-count":43,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,7]]},"DOI":"10.1109\/memcod.2010.5558639","type":"proceedings-article","created":{"date-parts":[[2010,8,27]],"date-time":"2010-08-27T14:37:22Z","timestamp":1282919842000},"page":"149-158","source":"Crossref","is-referenced-by-count":20,"title":["Elastic systems"],"prefix":"10.1109","author":[{"given":"Jordi","family":"Cortadella","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marc","family":"Galceran-Oms","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mike","family":"Kishinevsky","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","first-page":"976","article-title":"An efficient mechanism for performance optimization of variable-latency designs","author":"su","year":"2007","journal-title":"Proc ACM\/IEEE Design Automation Conf"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1155\/2009\/480740"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1993.580087"},{"key":"ref31","doi-asserted-by":"crossref","first-page":"272","DOI":"10.1007\/BFb0054295","article-title":"Slack elasticity in concurrent computing","author":"manohar","year":"1998","journal-title":"Mathematics of Program Construction"},{"key":"ref30","first-page":"227","article-title":"Performance optimization of latency insensitive systems through buffer queue sizing of communication channels","author":"lu","year":"2003","journal-title":"Proc Int Conf Computer-Aided Design"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2006.243960"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2005.844084"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/ASYNC.2006.27"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/ASYNC.2001.914072"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/MM.2002.1044297"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1145\/63526.63532"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/SBCCI.2003.1232805"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1999.810667"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/337292.337441"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/MDT.2007.152"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ASYNC.2010.16"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TVLSI.2004.831476"},{"key":"ref17","first-page":"416","article-title":"Synchronous elastic circuits with early evaluation and token counterflow","author":"cortadella","year":"2007","journal-title":"Proc ACM\/IEEE Design Automation Conference"},{"key":"ref18","article-title":"SELF: Specification and design of a synchronous elastic architecture for DSM systems","author":"cortadella","year":"2006","journal-title":"TAU-2006 International Workshop on Timing Issues in the Specification and Synthesis of Digital Systems"},{"key":"ref19","first-page":"657","article-title":"Synthesis of synchronous elastic architectures","author":"cortadella","year":"2006","journal-title":"Proc ACM\/IEEE Design Automation Conference"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/BF01759032"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/1460299.1460304"},{"key":"ref27","article-title":"Synchronous elastic networks","author":"krsti?","year":"2006","journal-title":"Int Conf on Formal Methods in Computer-Aided Design (FMCAD)"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/12.795120"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/1629911.1629988"},{"key":"ref29","article-title":"Using functional independence conditions to optimize the performance of latency-insensitive systems","author":"li","year":"2007","journal-title":"Proc Int Conf Computer-Aided Design"},{"key":"ref5","first-page":"302","article-title":"Early output logic using anti-tokens","author":"brej","year":"2003","journal-title":"Proc International Workshop on Logic Synthesis"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2007.4397291"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2008.4681613"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/ASYNC.2006.26"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/43.945302"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/1233501.1233627"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/1629911.1629989"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/240518.240652"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2010.5456910"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2009.5185393"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/ASYNC.2002.1000291"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2009.5185393"},{"key":"ref23","author":"hennessy","year":"1990","journal-title":"Computer Architecture A Quantitative Approach"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2008.4681612"},{"key":"ref43","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1007\/BF02108187","article-title":"Performance of iterative computation in self-timed rings","volume":"7","author":"williams","year":"1994","journal-title":"The Journal of VLSI Signal Processing"},{"key":"ref25","article-title":"On the performance evaluation of multi-guarded marked graphs with single-server semantics","author":"j\u00falvez","year":"2009","journal-title":"Discrete Event Dynamic Systems"}],"event":{"name":"2010 8th IEEE\/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010)","location":"Grenoble, France","start":{"date-parts":[[2010,7,26]]},"end":{"date-parts":[[2010,7,28]]}},"container-title":["Eighth ACM\/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5550962\/5558619\/05558639.pdf?arnumber=5558639","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,19]],"date-time":"2017-06-19T13:11:03Z","timestamp":1497877863000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5558639\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,7]]},"references-count":43,"URL":"https:\/\/doi.org\/10.1109\/memcod.2010.5558639","relation":{},"subject":[],"published":{"date-parts":[[2010,7]]}}}