{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,1]],"date-time":"2025-06-01T04:17:03Z","timestamp":1748751423222},"reference-count":26,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2013,9,16]],"date-time":"2013-09-16T00:00:00Z","timestamp":1379289600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Front. Comput. Sci."],"published-print":{"date-parts":[[2013,10]]},"DOI":"10.1007\/s11704-013-3906-4","type":"journal-article","created":{"date-parts":[[2013,9,16]],"date-time":"2013-09-16T13:47:57Z","timestamp":1379339277000},"page":"617-626","source":"Crossref","is-referenced-by-count":13,"title":["Multi-threaded code generation from Signal program to OpenMP"],"prefix":"10.1007","volume":"7","author":[{"given":"Kai","family":"Hu","sequence":"first","affiliation":[]},{"given":"Teng","family":"Zhang","sequence":"additional","affiliation":[]},{"given":"Zhibin","family":"Yang","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2013,9,16]]},"reference":[{"key":"3906_CR1","unstructured":"IEEE POSIX standardization authority. http:\/\/standards.ieee.org\/regauth\/posix\/"},{"key":"3906_CR2","unstructured":"Microsoft windows threads. http:\/\/msdn.microsoft.com\/"},{"key":"3906_CR3","unstructured":"MPI: A message-passing interface standard version 3.0. http:\/\/www.mpi-forum.org\/docs\/mpi-3.0\/mpi30-report.pdf"},{"key":"3906_CR4","unstructured":"The OpenMP API specification for parallel programming. http:\/\/openmp.org\/wp\/"},{"key":"3906_CR5","unstructured":"Intel thread building blocks. http:\/\/www.threadingbuildingblocks.org\/"},{"issue":"5","key":"3906_CR6","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1109\/MC.2006.180","volume":"39","author":"E A Lee","year":"2006","unstructured":"Lee E A. The problem with threads. Computer, 2006, 39(5): 33\u201342","journal-title":"Computer"},{"issue":"9","key":"3906_CR7","doi-asserted-by":"crossref","first-page":"1270","DOI":"10.1109\/5.97297","volume":"79","author":"A Benveniste","year":"1991","unstructured":"Benveniste A, Berry G. The synchronous approach to reactive and realtime systems. Proceedings of the IEEE, 1991, 79(9): 1270\u20131282","journal-title":"Proceedings of the IEEE"},{"issue":"1","key":"3906_CR8","doi-asserted-by":"crossref","first-page":"64","DOI":"10.1109\/JPROC.2002.805826","volume":"91","author":"A Benveniste","year":"2003","unstructured":"Benveniste A, Caspi P, Edwards S A, Halbwachs N, Le Guernic P, De Simone R. The synchronous languages 12 years later. Proceedings of the IEEE, 2003, 91(1): 64\u201383","journal-title":"Proceedings of the IEEE"},{"issue":"2","key":"3906_CR9","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1016\/0167-6423(92)90005-V","volume":"19","author":"G Berry","year":"1992","unstructured":"Berry G, Gonthier G. The esterel synchronous programming language: design, semantics, implementation. Science of Computer Programming, 1992, 19(2): 87\u2013152","journal-title":"Science of Computer Programming"},{"issue":"9","key":"3906_CR10","doi-asserted-by":"crossref","first-page":"1305","DOI":"10.1109\/5.97300","volume":"79","author":"N Halbwachs","year":"1991","unstructured":"Halbwachs N, Caspi P, Raymond P, Pilaud D. The synchronous data flow programming language lustre. Proceedings of the IEEE, 1991, 79(9): 1305\u20131320","journal-title":"Proceedings of the IEEE"},{"issue":"9","key":"3906_CR11","doi-asserted-by":"crossref","first-page":"1321","DOI":"10.1109\/5.97301","volume":"79","author":"P Guernic Le","year":"1991","unstructured":"Le Guernic P, Gautier T, Le Borgne M, Le Maire C. Programming realtime applications with signal. Proceedings of the IEEE, 1991, 79(9): 1321\u20131336","journal-title":"Proceedings of the IEEE"},{"issue":"3","key":"3906_CR12","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1142\/S0218126603000763","volume":"12","author":"P Guernic Le","year":"2003","unstructured":"Le Guernic P, Talpin J P, Le Lann J C. Polychrony for system design. Journal of Circuits, Systems, and Computers, 2003, 12(3): 261\u2013303","journal-title":"Journal of Circuits, Systems, and Computers"},{"issue":"2","key":"3906_CR13","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1007\/s10703-006-7844-8","volume":"28","author":"D Potop-Butucaru","year":"2006","unstructured":"Potop-Butucaru D, Caillaud B, Benveniste A. Concurrency in synchronous systems. Formal Methods in System Design, 2006, 28(2): 111\u2013130","journal-title":"Formal Methods in System Design"},{"key":"3906_CR14","unstructured":"Besnard L, Gautier T, Talpin J P. Code generation strategies in the polychrony environment. http:\/\/hal.inria.fr\/docs\/00\/37\/24\/12\/PDF\/RR-6894.pdf"},{"key":"3906_CR15","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/978-1-4419-6400-7_1","volume-title":"Synthesis of Embedded Software","author":"L Besnard","year":"2010","unstructured":"Besnard L, Gautier T, Le Guernic P, Talpin J P. Compilation of polychronous data flow equations. In: Synthesis of Embedded Software, 1\u201340. Springer, 2010"},{"issue":"2","key":"3906_CR16","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1016\/j.scico.2010.06.006","volume":"77","author":"J P Talpin","year":"2012","unstructured":"Talpin J P, Ouy J, Gautier T, Besnard L, Le Guernic P. Compositional design of isochronous systems. Science of Computer Programming, 2012, 77(2): 113\u2013128","journal-title":"Science of Computer Programming"},{"issue":"1","key":"3906_CR17","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1006\/inco.2000.9999","volume":"163","author":"A Benveniste","year":"2000","unstructured":"Benveniste A, Caillaud B, Le Guernic P. Compositionality in dataflow synchronous languages: specification and distributed code generation. Information and Computation, 2000, 163(1): 125\u2013171","journal-title":"Information and Computation"},{"key":"3906_CR18","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1109\/MEMCOD.2008.4547700","volume-title":"Proceedings of the 6th ACM\/IEEE International Conference on Formal Methods and Models for Co-Design","author":"B A Jose","year":"2008","unstructured":"Jose B A, Shukla S K, Patel H D, Talpin J P. On the deterministic multithreaded software synthesis from polychronous specifications. In: Proceedings of the 6th ACM\/IEEE International Conference on Formal Methods and Models for Co-Design. 2008, 129\u2013138"},{"key":"3906_CR19","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1007\/3-540-57264-3_32","volume-title":"Static Analysis","author":"O Maffe\u00efs","year":"1993","unstructured":"Maffe\u00efs O, Le Guernic P. Combining dependability with architectural adaptability by means of the signal language. In: Static Analysis, 99\u2013110. Springer, 1993"},{"issue":"1","key":"3906_CR20","doi-asserted-by":"crossref","first-page":"91","DOI":"10.3233\/FI-2011-415","volume":"108","author":"D Potop-Butucaru","year":"2011","unstructured":"Potop-Butucaru D, Sorel Y, Simone d R, Talpin J P. From concurrent multi-clock programs to deterministic asynchronous implementations. Fundamenta Informaticae, 2011, 108(1): 91\u2013118","journal-title":"Fundamenta Informaticae"},{"key":"3906_CR21","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1109\/ESLsyn.2011.5952287","volume-title":"Proceedings of the 2011 Electronic System Level Synthesis Conference","author":"V Papailiopoulou","year":"2011","unstructured":"Papailiopoulou V, Potop-Butucaru D, Sorel Y, Simoned R, Besnard L, Talpin J. From design-time concurrency to effective implementation parallelism: The multi-clock reactive case. In: Proceedings of the 2011 Electronic System Level Synthesis Conference. 2011, 1\u20136"},{"key":"3906_CR22","doi-asserted-by":"crossref","first-page":"949","DOI":"10.1109\/DATE.2010.5456915","volume-title":"Proceedings of the 2010 Conference on Design, Automation, and Test in Europe","author":"D Baudisch","year":"2010","unstructured":"Baudisch D, Brandt J, Schneider K. Multithreaded code from synchronous programs: extracting independent threads for openmp. In: Proceedings of the 2010 Conference on Design, Automation, and Test in Europe. 2010, 949\u2013952"},{"key":"3906_CR23","volume-title":"Signal v4-Inria version: reference manual","author":"L Besnard","year":"2008","unstructured":"Besnard L, Gautier T, Le Guernic P. Signal v4-Inria version: reference manual, 2008"},{"key":"3906_CR24","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4419-0941-1","volume-title":"Designing embedded systems with the signal programming language","author":"A Gamatie","year":"2010","unstructured":"Gamatie A. Designing embedded systems with the signal programming language. Springer, 2010"},{"key":"3906_CR25","unstructured":"RT-builder, geensys. http:\/\/www.geensys.com\/"},{"key":"3906_CR26","unstructured":"Polychrony. http:\/\/www.irisa.fr\/espresso\/Polychrony\/"}],"container-title":["Frontiers of Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11704-013-3906-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11704-013-3906-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11704-013-3906-4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,4]],"date-time":"2020-08-04T03:41:03Z","timestamp":1596512463000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11704-013-3906-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,9,16]]},"references-count":26,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2013,10]]}},"alternative-id":["3906"],"URL":"https:\/\/doi.org\/10.1007\/s11704-013-3906-4","relation":{},"ISSN":["2095-2228","2095-2236"],"issn-type":[{"value":"2095-2228","type":"print"},{"value":"2095-2236","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,9,16]]}}}