{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:29:55Z","timestamp":1725488995626},"reference-count":18,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,7]]},"DOI":"10.1109\/samos.2015.7363666","type":"proceedings-article","created":{"date-parts":[[2015,12,28]],"date-time":"2015-12-28T16:37:08Z","timestamp":1451320628000},"page":"113-122","source":"Crossref","is-referenced-by-count":1,"title":["Efficient distribution of Triggered Synchronous Block Diagrams on asynchronous platforms"],"prefix":"10.1109","author":[{"given":"Yang","family":"Yang","sequence":"first","affiliation":[]},{"given":"Stavros","family":"Tripakis","sequence":"additional","affiliation":[]},{"given":"Alberto","family":"Sangiovanni-Vincentelli","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805821"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2008.12"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysarc.2014.01.003"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TVLSI.2004.831467"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/1017753.1017786"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2003.814926"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-585-35223-7_2"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2008.81"},{"key":"ref18","doi-asserted-by":"crossref","DOI":"10.21236\/ADA551401","author":"yang","year":"2011","journal-title":"Efficient distribution of triggered synchronous block diagrams"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/780732.780754"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2009.2030436"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6423(02)00096-5"},{"key":"ref5","article-title":"Lustre: a declarative language for programming synchronous systems","author":"caspi","year":"1987","journal-title":"POPL"},{"key":"ref8","article-title":"The semantics of a simple language for parallel programming","author":"kahn","year":"1974","journal-title":"IFIP Congress"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-0823-8_9"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/43.945302"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805826"},{"journal-title":"Switching and Finite Automata Theory","year":"1978","author":"kohavi","key":"ref9"}],"event":{"name":"2015 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS)","start":{"date-parts":[[2015,7,19]]},"location":"Samos, Greece","end":{"date-parts":[[2015,7,23]]}},"container-title":["2015 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7358369\/7363643\/07363666.pdf?arnumber=7363666","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,14]],"date-time":"2020-10-14T10:19:55Z","timestamp":1602670795000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/7363666"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,7]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/samos.2015.7363666","relation":{},"subject":[],"published":{"date-parts":[[2015,7]]}}}