{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T12:05:42Z","timestamp":1759147542646},"reference-count":19,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/async.2002.1000300","type":"proceedings-article","created":{"date-parts":[[2004,4,23]],"date-time":"2004-04-23T18:38:15Z","timestamp":1082745495000},"page":"99-108","source":"Crossref","is-referenced-by-count":3,"title":["Probabilistic timing analysis of asynchronous systems with moments of delays"],"prefix":"10.1109","author":[{"given":"S.","family":"Chakraborty","sequence":"first","affiliation":[]},{"given":"R.","family":"Angrish","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ICCD.1992.276208"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS.2000.856286"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/92.238425"},{"journal-title":"Optimization of linear max-plus systems with application to timing analysis","year":"1995","author":"walkup","key":"ref13"},{"journal-title":"Latency and throughput tradeoffs in self-timed asynchronous pipelines and rings Technical Report CSL-TR-90-431 Stanford University","year":"1990","author":"williams","key":"ref14"},{"key":"ref15","first-page":"64","article-title":"Symbolic techniques for performance analysis of timed systems based on average time separation of events","author":"xie","year":"1997","journal-title":"Proc of ASYNC"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-3143-9_13"},{"key":"ref17","first-page":"94","article-title":"Bounding average time separations of events in stochastic timed Petri nets with choice","author":"xie","year":"1999","journal-title":"Proc of ASYNC"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008680300467"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/92.736138"},{"journal-title":"Polynomial-time techniques for approximate timing analysis of asynchronous systems","year":"1998","author":"chakraborty","key":"ref4"},{"journal-title":"Performance analysis and optimization of asynchronous circuits","year":"1991","author":"burns","key":"ref3"},{"journal-title":"Coherence and satisfiability of waveform timing specifications","year":"1990","author":"gahlinger","key":"ref6"},{"key":"ref5","first-page":"77","article-title":"Approximate time separation of events in practice","author":"chakraborty","year":"1997","journal-title":"Proc of TAU worskhop"},{"key":"ref8","article-title":"An algorithm for exact bounds on time separation of events in concurrent systems, Technical report, Dept. of Computer Sc. and Engg., Univ. of Washington","author":"hulgaard","year":"1994","journal-title":"Technical Report No UW-CSE-94-02-02"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/BF00935211"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1002\/net.3230210107"},{"key":"ref1","first-page":"83","article-title":"Symbolic Time Serparation of Events","author":"amon","year":"1999","journal-title":"Proc of ASYNC"},{"journal-title":"A general approach to performance analysis and optimization of asynchronous circuits","year":"1995","author":"lee","key":"ref9"}],"event":{"name":"Eighth International Symposium on Asynchronous Circuits and Systems","acronym":"ASYNC-02","location":"Manchester, UK"},"container-title":["Proceedings Eighth International Symposium on Asynchronous Circuits and Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/7846\/21599\/01000300.pdf?arnumber=1000300","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,10]],"date-time":"2017-03-10T17:02:06Z","timestamp":1489165326000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1000300\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/async.2002.1000300","relation":{},"subject":[]}}