{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T04:27:16Z","timestamp":1729657636198,"version":"3.28.0"},"reference-count":39,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,10]]},"DOI":"10.1109\/memcod.2014.6961841","type":"proceedings-article","created":{"date-parts":[[2014,11,26]],"date-time":"2014-11-26T15:57:36Z","timestamp":1417017456000},"page":"32-41","source":"Crossref","is-referenced-by-count":4,"title":["From clock-driven to data-driven models"],"prefix":"10.1109","author":[{"given":"Yu","family":"Bai","sequence":"first","affiliation":[]},{"given":"Klaus","family":"Schneider","sequence":"additional","affiliation":[]},{"given":"Nikita","family":"Bhardwaj","sequence":"additional","affiliation":[]},{"given":"Badarinath","family":"Katti","sequence":"additional","affiliation":[]},{"given":"Tania","family":"Shazadi","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2005.860958"},{"key":"35","first-page":"21","article-title":"A new multi-threaded code synthesis methodology and tool for correct-byconstruction synthesis from polychronous specifications","author":"nanjundappa","year":"2013","journal-title":"Application of Concurrency to System Design (ACSD)"},{"key":"17","first-page":"131","article-title":"Correct-by-construction asynchronous implementation of modular synchronous specifications","volume":"78","author":"potop-butucaru","year":"2007","journal-title":"Fun damenta Informaticae"},{"key":"36","doi-asserted-by":"publisher","DOI":"10.1007\/s10617-012-9087-9"},{"key":"18","first-page":"1","article-title":"From concurrent multi-clock programs to deterministic asynchronous implementations","volume":"107","author":"potop-butucaru","year":"2011","journal-title":"Fundamenta Informaticae"},{"journal-title":"The Constructive Semantics of Pure Esterel","year":"1999","author":"berry","key":"33"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-006-7844-8"},{"key":"34","article-title":"The synchronous programming language Quartz","author":"schneider","year":"2009","journal-title":"Department of Computer Science"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1145\/1289927.1289950"},{"journal-title":"Formal Structures for Computation and Deduction","year":"1986","author":"huet","key":"39"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/CSD.2004.1309117"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/CSD.2004.1309117"},{"year":"0","key":"37"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1006\/inco.2000.9999"},{"year":"0","key":"38"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1142\/S0218126603000763"},{"key":"21","first-page":"471","article-title":"The semantics of a simple language for parallel programming","author":"kahn","year":"1974","journal-title":"Information Processing"},{"key":"20","first-page":"1","article-title":"A survey of automatic distribution method for synchronous programs","author":"girault","year":"2005","journal-title":"Synchronous Languages Applications and Programming (SLAP)"},{"key":"22","first-page":"993","article-title":"Coroutines and networks of parallel processes","author":"kahn","year":"1977","journal-title":"Information Processing"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1109\/71.89067"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1109\/5.381846"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.7873\/DATE.2014.168"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2009.2030436"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2004.1269025"},{"key":"28","first-page":"15","article-title":"Execution of distributed reactive systems","volume":"966","author":"caspi","year":"1995","journal-title":"European Conference on Parallel Processing (EuroPar) Ser LNCS"},{"key":"29","doi-asserted-by":"publisher","DOI":"10.1007\/BF00128175"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/FMCAD.2006.32"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805826"},{"key":"10","article-title":"From synchrony to asynchrony","volume":"3641","author":"benveniste","year":"1999","journal-title":"Institut National de Recherche en Informatique et en Automatique (INRIA)"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-2231-4"},{"key":"30","doi-asserted-by":"publisher","DOI":"10.1145\/1165780.1165786"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/43.945302"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2010.5558639"},{"key":"32","doi-asserted-by":"crossref","first-page":"1305","DOI":"10.1109\/5.97300","article-title":"The synchronous dataflow programming language LUSTRE","volume":"79","author":"halbwachs","year":"1991","journal-title":"Proceedings of the IEEE"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-89287-8_13"},{"key":"31","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2010.06.006"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.2006.229277"},{"key":"9","doi-asserted-by":"crossref","first-page":"162","DOI":"10.1007\/3-540-48320-9_13","article-title":"From synchrony to asynchrony","volume":"1664","author":"benveniste","year":"1999","journal-title":"Concurrency Theory (CONCUR) Ser LNCS"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/MM.2002.1044297"}],"event":{"name":"2014 Twelfth ACM\/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2014)","start":{"date-parts":[[2014,10,19]]},"location":"Lausanne, Switzerland","end":{"date-parts":[[2014,10,21]]}},"container-title":["2014 Twelfth ACM\/IEEE Conference on Formal Methods and Models for Codesign (MEMOCODE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6950639\/6961832\/06961841.pdf?arnumber=6961841","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,22]],"date-time":"2017-06-22T21:00:51Z","timestamp":1498165251000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6961841\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,10]]},"references-count":39,"URL":"https:\/\/doi.org\/10.1109\/memcod.2014.6961841","relation":{},"subject":[],"published":{"date-parts":[[2014,10]]}}}