{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T14:53:57Z","timestamp":1729608837989,"version":"3.28.0"},"reference-count":33,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,10]]},"DOI":"10.1109\/memcod.2014.6961842","type":"proceedings-article","created":{"date-parts":[[2014,11,26]],"date-time":"2014-11-26T20:57:36Z","timestamp":1417035456000},"page":"42-51","source":"Crossref","is-referenced-by-count":0,"title":["Optimized distribution of synchronous programs via a polychronous model"],"prefix":"10.1109","author":[{"given":"Ke","family":"Sun","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Loic","family":"Besnard","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thierry","family":"Gautier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/ACSD.2009.24"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2012.85"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2009.2030436"},{"key":"33","doi-asserted-by":"crossref","first-page":"547","DOI":"10.1007\/3-540-58468-4_183","article-title":"Distributed Implementation of Signal: Scheduling & Graph Clustering","volume":"863","author":"maff\ufffds","year":"1994","journal-title":"Formal Techniques in Real-Time and Fault-Tolerant Systems Ser Lecture Notes in Computer Science"},{"key":"15","first-page":"1","article-title":"Integrating system descriptions by clocked guarded actions","author":"brandt","year":"2011","journal-title":"Forum on specification and Design Languages (FDL)"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1145\/2609248.2609259"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1145\/1165780.1165786"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15234-4_17"},{"key":"11","article-title":"Distributing reactive systems","author":"caspi","year":"1994","journal-title":"7th International Conference on Parallel and Distributed Computing Systems PDCS'94"},{"key":"12","first-page":"266","article-title":"Automatic production of globally asynchronous locally synchronous systems","volume":"2491","author":"girault","year":"2002","journal-title":"International Workshop on Embedded Software EMSOFT'02 Ser LNCS"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1145\/2544375.2544387"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/PDP.2014.98"},{"key":"22","first-page":"413","article-title":"Data-flow to von Neumann: The Signal Approach","author":"le guernic","year":"1990","journal-title":"Advanced Topics in Data-Flow Computing"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1109\/5.97301"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1142\/S0218126603000763"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-35722-0_24"},{"key":"26","article-title":"Separate translation of synchronous programs to guarded actions","author":"brandt","year":"2011","journal-title":"Department of Computer Science"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1145\/177492.177726"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1109\/TPDS.2009.125"},{"key":"29","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1007\/3-540-57264-3_32","article-title":"Combining Dependability with Architectural Adaptability by means of the Signal Language","volume":"724","author":"maff\ufffds","year":"1993","journal-title":"Static Analysis Ser Lecture Notes in Computer Science"},{"key":"3","article-title":"The synchronous programming language quartz","author":"schneider","year":"2009","journal-title":"Department of Computer Science"},{"key":"2","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":"10","article-title":"Projet synchrone: les formats communs des langages synchrones","author":"paris","year":"1993","journal-title":"INRIA Rapport de Recherche RT-0157"},{"journal-title":"The Esterel v5_91 language primer","year":"2000","author":"berry","key":"1"},{"journal-title":"Transformations Syntaxiques de Programmes Signal","year":"0","author":"ch\ufffdron","key":"30"},{"key":"7","first-page":"477","volume":"13 f","author":"harel","year":"1985","journal-title":"Logics and Models of Concurrent Systems ser NATO Advanced Study Institute on Logics and Models for Verification and Specification of Concurrent Systems"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-85729-018-2_2"},{"key":"32","doi-asserted-by":"publisher","DOI":"10.1109\/HLDVT.2012.6418247"},{"key":"5","first-page":"335","article-title":"Pollux: A Lustre based Hardware Design Environment","author":"rocheteau","year":"1992","journal-title":"Proceedings of the International Workshop on Algorithms and Parallel VLSI Architectures II Amsterdam"},{"key":"31","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-6400-7_1"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805826"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008796718837"},{"key":"8","article-title":"A survey of automatic distribution method for synchronous programs","author":"girault","year":"2005","journal-title":"International Workshop on Synchronous Languages Applications and Programs SLAP'05"}],"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\/06961842.pdf?arnumber=6961842","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,23]],"date-time":"2017-06-23T01:00:51Z","timestamp":1498179651000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6961842\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,10]]},"references-count":33,"URL":"https:\/\/doi.org\/10.1109\/memcod.2014.6961842","relation":{},"subject":[],"published":{"date-parts":[[2014,10]]}}}