{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:39:07Z","timestamp":1750307947029,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":14,"publisher":"ACM","license":[{"start":{"date-parts":[[2007,9,30]],"date-time":"2007-09-30T00:00:00Z","timestamp":1191110400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2007,9,30]]},"DOI":"10.1145\/1289816.1289842","type":"proceedings-article","created":{"date-parts":[[2007,10,14]],"date-time":"2007-10-14T12:51:38Z","timestamp":1192366298000},"page":"99-104","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["HW\/SW co-design for Esterel processing"],"prefix":"10.1145","author":[{"given":"Sascha","family":"G\u00e4dtke","sequence":"first","affiliation":[{"name":"Christian-Albrechts-Universit\u00e4t zu Kiel, Kiel, Germany"}]},{"given":"Claus","family":"Traulsen","sequence":"additional","affiliation":[{"name":"Christian-Albrechts-Universit\u00e4t zu Kiel, Kiel, Germany"}]},{"given":"Reinhard","family":"von Hanxleden","sequence":"additional","affiliation":[{"name":"Christian-Albrechts-Universit\u00e4t zu Kiel, Kiel, Germany"}]}],"member":"320","published-online":{"date-parts":[[2007,9,30]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/271072"},{"key":"e_1_3_2_1_2_1","first-page":"64","volume-title":"R. The Synchronous Languages Twelve Years Later. In Proceedings of the IEEE, Special Issue on Embedded Systems (Jan.","volume":"91","author":"BENVENISTE A.","year":"2003","unstructured":"BENVENISTE , A. , CASPI , P. , EDWARDS , S. A. , HALBWACHS , N. , GUERNIC , P. L. , AND DE SIMONE , R. The Synchronous Languages Twelve Years Later. In Proceedings of the IEEE, Special Issue on Embedded Systems (Jan. 2003 ), vol. 91 , pp. 64 -- 83 . BENVENISTE, A., CASPI, P., EDWARDS, S. A., HALBWACHS, N., GUERNIC, P. L., AND DE SIMONE, R. The Synchronous Languages Twelve Years Later. In Proceedings of the IEEE, Special Issue on Embedded Systems (Jan. 2003), vol. 91, pp. 64--83."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1098\/rsta.1992.0027"},{"key":"e_1_3_2_1_4_1","volume-title":"Draft Book","author":"BERRY G.","year":"1999","unstructured":"BERRY , G. The Constructive Semantics of Pure Esterel . Draft Book , 1999 . ftp:\/\/ftp-sop.inria.fr\/esterel\/pub\/papers\/constructiveness3.ps. BERRY, G. The Constructive Semantics of Pure Esterel. Draft Book, 1999. ftp:\/\/ftp-sop.inria.fr\/esterel\/pub\/papers\/constructiveness3.ps."},{"key":"e_1_3_2_1_5_1","unstructured":"Estbench Esterel Benchmark Suite. http:\/\/www1.cs.columbia.edu\/~sedwards\/software\/estbench-1.0.tar.gz.  Estbench Esterel Benchmark Suite. http:\/\/www1.cs.columbia.edu\/~sedwards\/software\/estbench-1.0.tar.gz."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"crossref","unstructured":"EDWARDS S. A. CEC: The Columbia Esterel Compiler. http:\/\/www1.cs.columbia.edu\/~sedwards\/cec\/.  EDWARDS S. A. CEC: The Columbia Esterel Compiler. http:\/\/www1.cs.columbia.edu\/~sedwards\/cec\/.","DOI":"10.1155\/2007\/52651"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/762488.762489"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/513918.514002"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1168857.1168896"},{"key":"e_1_3_2_1_10_1","volume-title":"Morgan Kaufmann","author":"MICHELI G. D.","year":"2001","unstructured":"MICHELI , G. D. , ERNST , R. , AND WOLF , W. , Eds. Readings in Hardware\/Software Co-Design . Morgan Kaufmann , 2001 . MICHELI, G. D., ERNST, R., AND WOLF, W., Eds. Readings in Hardware\/Software Co-Design. Morgan Kaufmann, 2001."},{"key":"e_1_3_2_1_11_1","volume-title":"Electronic Notes in Theoretical Computer Science","author":"PANDYA P.","year":"2002","unstructured":"PANDYA , P. The saga of synchronous bus arbiter: On model checking quantitative timing properties of synchronous programs . In Electronic Notes in Theoretical Computer Science ( 2002 ), F. Maraninchi, A. Girault, and \u00c9ric Rutten, Eds., vol. 65 , Elsevier . PANDYA, P. The saga of synchronous bus arbiter: On model checking quantitative timing properties of synchronous programs. In Electronic Notes in Theoretical Computer Science (2002), F. Maraninchi, A. Girault, and \u00c9ric Rutten, Eds., vol. 65, Elsevier."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1017753.1017793"},{"key":"e_1_3_2_1_13_1","volume-title":"O. Goto and Concurrency--Introducing Safe Jumps in Esterel. In Proceedings of Synchronous Languages, Applications, and Programming (SLAP)","author":"TARDIEU","year":"2004","unstructured":"TARDIEU , O. Goto and Concurrency--Introducing Safe Jumps in Esterel. In Proceedings of Synchronous Languages, Applications, and Programming (SLAP) ( Barcelona, Spain , Mar. 2004 ). TARDIEU, O. Goto and Concurrency--Introducing Safe Jumps in Esterel. In Proceedings of Synchronous Languages, Applications, and Programming (SLAP) (Barcelona, Spain, Mar. 2004)."},{"key":"e_1_3_2_1_14_1","first-page":"28","volume":"66","author":"VON HANXLEDEN R.","year":"2006","unstructured":"VON HANXLEDEN , R. , LI , X. , ROOP , P. , SALCIC , Z. , AND YOONG , L. H. Reactive processing for reactive systems. ERCIM News 66 ( Oct. 2006 ), 28 -- 29 . http:\/\/www.ercim.org\/publication\/Ercim_News\/EN67.pdf. VON HANXLEDEN, R., LI, X., ROOP, P., SALCIC, Z., AND YOONG, L. H. Reactive processing for reactive systems. ERCIM News 66 (Oct. 2006), 28--29. http:\/\/www.ercim.org\/publication\/Ercim_News\/EN67.pdf.","journal-title":"ERCIM News"}],"event":{"name":"ESWEEK07: Third Embedded Systems Week","sponsor":["ACM Association for Computing Machinery","SIGBED ACM Special Interest Group on Embedded Systems","SIGDA ACM Special Interest Group on Design Automation","SIGMICRO ACM Special Interest Group on Microarchitectural Research and Processing"],"location":"Salzburg Austria","acronym":"ESWEEK07"},"container-title":["Proceedings of the 5th IEEE\/ACM international conference on Hardware\/software codesign and system synthesis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1289816.1289842","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1289816.1289842","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T14:52:31Z","timestamp":1750258351000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1289816.1289842"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,9,30]]},"references-count":14,"alternative-id":["10.1145\/1289816.1289842","10.1145\/1289816"],"URL":"https:\/\/doi.org\/10.1145\/1289816.1289842","relation":{},"subject":[],"published":{"date-parts":[[2007,9,30]]},"assertion":[{"value":"2007-09-30","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}