{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:25:54Z","timestamp":1750307154754,"version":"3.41.0"},"reference-count":39,"publisher":"Association for Computing Machinery (ACM)","issue":"4","license":[{"start":{"date-parts":[[2011,12,1]],"date-time":"2011-12-01T00:00:00Z","timestamp":1322697600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100004963","name":"Seventh Framework Programme","doi-asserted-by":"publisher","award":["TIN2007-66523"],"award-info":[{"award-number":["TIN2007-66523"]}],"id":[{"id":"10.13039\/501100004963","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["J. Emerg. Technol. Comput. Syst."],"published-print":{"date-parts":[[2011,12]]},"abstract":"<jats:p>Elasticity is a paradigm that tolerates the variations in computation and communication delays. By applying elastic transformations that allow varying the original timing, circuits can be optimized beyond the conventional rigid transformations that do not modify the external timing.<\/jats:p>\n          <jats:p>Pipelining is one of the classical techniques to improve the throughput of a circuit. This article reveals how elasticity can be effectively and practically used to derive pipelined circuits by using correct-by-construction transformations that can be fully automated. Two designs, one of them industrial, are used to demonstrate how the area-performance trade-off can be explored using elasticity.<\/jats:p>","DOI":"10.1145\/2043643.2043648","type":"journal-article","created":{"date-parts":[[2011,12,13]],"date-time":"2011-12-13T15:45:47Z","timestamp":1323791147000},"page":"1-24","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Microarchitectural Transformations Using Elasticity"],"prefix":"10.1145","volume":"7","author":[{"given":"Marc","family":"Galceran-Oms","sequence":"first","affiliation":[{"name":"eSilicon Corporation"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander","family":"Gotmanov","sequence":"additional","affiliation":[{"name":"Intel Corporation"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jordi","family":"Cortadella","sequence":"additional","affiliation":[{"name":"Universitat Polit\u00e8cnica de Catalunya"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mike","family":"Kishinevsky","sequence":"additional","affiliation":[{"name":"Intel Corporation"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2011,12]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/12.795120"},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1460299.1460304"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629911.1629988"},{"volume-title":"Proceedings of the International Conference on Computer-Aided Design (ICCAD). 442--448","author":"Bufistov D.","key":"e_1_2_1_4_1"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2005.05.036"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/337292.337441"},{"volume-title":"Proceedings of the 16th Symposium on Integrated Circuits and System Design (SBCCI). 47--52","author":"Carloni L.","key":"e_1_2_1_7_1"},{"volume-title":"Proceedings of the International Conference on Computer-Aided Design (ICCAD). IEEE Press, 309--315","author":"Carloni L.","key":"e_1_2_1_8_1"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2009.2030436"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1049\/iet-cdt.2010.0116"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/MDT.2007.152"},{"volume":"2404","volume-title":"Proceedings of the International Workshop on Computer Aided Verification. Lecture Notes in Computer Science Series","author":"Cimatti A.","key":"e_1_2_1_12_1"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1278480.1278587"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1146909.1147077"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2005.860958"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1049\/ip-cdt:20050177"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629911.1629989"},{"volume-title":"Proceedings of the Design, Automation and Test in Europe (DATE). 961--964","author":"Galceran-Oms M.","key":"e_1_2_1_18_1"},{"key":"e_1_2_1_19_1","unstructured":"International Telecommunication Union. 2003. Recommendation ITU-T H.264: Advanced Video Coding for Generic Audiovisual Services. ITUT. International Telecommunication Union . 2003. Recommendation ITU-T H.264: Advanced Video Coding for Generic Audiovisual Services. ITUT."},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/240518.240652"},{"volume-title":"Computer Architecture: A Quantitative Approach","year":"1990","author":"Hennessy J.","key":"e_1_2_1_21_1"},{"volume-title":"Proceedings of the International Symposium on Advanced Research in Asynchronous Circuits and Systems. 3--12","author":"Jacobson H. M.","key":"e_1_2_1_22_1"},{"volume-title":"Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use","author":"Jensen K.","key":"e_1_2_1_23_1"},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-009-0079-2"},{"volume-title":"Proceedings of the International Conference on Computer-Aided Design (ICCAD). 434--441","author":"Kam T.","key":"e_1_2_1_25_1"},{"volume-title":"Concurrent Hardware: The Theory and Practice of Self-Timed Design","year":"1994","author":"Kishinevsky M.","key":"e_1_2_1_26_1"},{"volume-title":"The Architecture of Pipelined Computers","author":"Kogge P. M.","key":"e_1_2_1_27_1"},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/FMCAD.2006.32"},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01759032"},{"key":"e_1_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.5555\/996070.1009895"},{"key":"e_1_2_1_31_1","doi-asserted-by":"crossref","unstructured":"Manohar R. and Martin A. 1998. Slack elasticity in concurrent computing. In Mathematics of Program Construction. Springer 272--285. Manohar R. and Martin A. 1998. Slack elasticity in concurrent computing. In Mathematics of Program Construction . Springer 272--285.","DOI":"10.1007\/BFb0054295"},{"key":"e_1_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCSVT.2003.815173"},{"key":"e_1_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/1837274.1837356"},{"key":"e_1_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2005.844084"},{"volume-title":"Proceedings of the Design, Automation and Test in Europe (DATE). European Design and Automation Association, 1085--1090","author":"Soviani C.","key":"e_1_2_1_35_1"},{"key":"e_1_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/1278480.1278721"},{"key":"e_1_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/63526.63532"},{"key":"e_1_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.5555\/1715759.1715781"},{"key":"e_1_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF02108187"}],"container-title":["ACM Journal on Emerging Technologies in Computing Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2043643.2043648","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2043643.2043648","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T09:54:19Z","timestamp":1750240459000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2043643.2043648"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,12]]},"references-count":39,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2011,12]]}},"alternative-id":["10.1145\/2043643.2043648"],"URL":"https:\/\/doi.org\/10.1145\/2043643.2043648","relation":{},"ISSN":["1550-4832","1550-4840"],"issn-type":[{"type":"print","value":"1550-4832"},{"type":"electronic","value":"1550-4840"}],"subject":[],"published":{"date-parts":[[2011,12]]},"assertion":[{"value":"2011-07-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2011-09-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2011-12-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}