{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,3]],"date-time":"2024-09-03T16:46:30Z","timestamp":1725381990800},"reference-count":21,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,11]]},"DOI":"10.1109\/iccad.2010.5653886","type":"proceedings-article","created":{"date-parts":[[2010,12,11]],"date-time":"2010-12-11T03:29:13Z","timestamp":1292038153000},"page":"778-785","source":"Crossref","is-referenced-by-count":0,"title":["Symbolic performance analysis of elastic systems"],"prefix":"10.1109","author":[{"given":"Marc","family":"Galceran-Oms","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jordi","family":"Cortadella","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mike","family":"Kishinevsky","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","first-page":"164","article-title":"Using unfoldings to avoid the state explosion problem in the verification of asynchronous circuits","author":"mcmillan","year":"1992","journal-title":"Computer Aided Verification"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1016\/0012-365X(78)90078-X"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1145\/378239.379043"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/ASYNC.2002.1000291"},{"key":"16","article-title":"Performance analysis of concurrent systems with early evaluation","author":"ju?lvez","year":"2006","journal-title":"Proc International Conf Computer-Aided Design"},{"journal-title":"Unfoldings A Partial-Order Approach to Model Checking","year":"2008","author":"esparza","key":"13"},{"key":"14","article-title":"Timing analysis of digital circuits and the theory of minmax functions","author":"gunawardena","year":"1993","journal-title":"TAU 93 ACM Workshop on Timing Issues in the Specification and Synthesis of Digital Syst"},{"key":"11","doi-asserted-by":"crossref","first-page":"416","DOI":"10.1145\/1278480.1278587","article-title":"synchronous elastic circuits with early evaluation and token counterflow","author":"cortadella","year":"2007","journal-title":"2007 44th ACM\/IEEE Design Automation Conference DAC"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.2006.229277"},{"key":"21","doi-asserted-by":"crossref","first-page":"70","DOI":"10.1145\/196244.196281","article-title":"performance analysis based on timing simulation","author":"nielsen","year":"1994","journal-title":"31st Design Automation Conference"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1007\/10720246_8"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1201\/9781420010572.ch25"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.2003.1219022"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2010.5558639"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/32.67593"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1995.480018"},{"journal-title":"Early output logic and anti-tokens","year":"2005","author":"brej","key":"5"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/43.700720"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2009.07.027"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/43.945302"}],"event":{"name":"2010 IEEE\/ACM International Conference on Computer-Aided Design (ICCAD)","start":{"date-parts":[[2010,11,7]]},"location":"San Jose, CA, USA","end":{"date-parts":[[2010,11,11]]}},"container-title":["2010 IEEE\/ACM International Conference on Computer-Aided Design (ICCAD)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5638200\/5648785\/05653886.pdf?arnumber=5653886","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,19]],"date-time":"2017-06-19T17:08:13Z","timestamp":1497892093000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5653886\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,11]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/iccad.2010.5653886","relation":{},"subject":[],"published":{"date-parts":[[2010,11]]}}}