{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,26]],"date-time":"2025-09-26T13:23:52Z","timestamp":1758893032574,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":18,"publisher":"ACM","license":[{"start":{"date-parts":[[2010,10,24]],"date-time":"2010-10-24T00:00:00Z","timestamp":1287878400000},"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":[[2010,10,24]]},"DOI":"10.1145\/1879021.1879032","type":"proceedings-article","created":{"date-parts":[[2010,11,9]],"date-time":"2010-11-09T15:01:31Z","timestamp":1289314891000},"page":"79-88","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":33,"title":["PinaVM"],"prefix":"10.1145","author":[{"given":"Kevin","family":"Marquet","sequence":"first","affiliation":[{"name":"Verimag, Univ. Joseph Fourier, Grenoble, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthieu","family":"Moy","sequence":"additional","affiliation":[{"name":"Verimag, Grenoble INP, Grenoble, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2010,10,24]]},"reference":[{"unstructured":"IEEE std 1666 - 2005 IEEE standard SystemC language reference manual. IEEE Std 1666-2005.  IEEE std 1666 - 2005 IEEE standard SystemC language reference manual. IEEE Std 1666-2005.","key":"e_1_3_2_1_1_1"},{"unstructured":"KaSCPar - Karlsruhe SystemC parser suite. http:\/\/www.fzi.de\/index.php\/de\/component\/content\/article\/238-ispe-sim\/4350-sim-tools-kascpar-examples.  KaSCPar - Karlsruhe SystemC parser suite. http:\/\/www.fzi.de\/index.php\/de\/component\/content\/article\/238-ispe-sim\/4350-sim-tools-kascpar-examples.","key":"e_1_3_2_1_2_1"},{"unstructured":"Pinavm. http:\/\/gitorious.org\/pinavm.  Pinavm. http:\/\/gitorious.org\/pinavm.","key":"e_1_3_2_1_3_1"},{"unstructured":"DragonEgg - using LLVM as a GCC backend 2010. http:\/\/dragonegg.llvm.org\/.  DragonEgg - using LLVM as a GCC backend 2010. http:\/\/dragonegg.llvm.org\/.","key":"e_1_3_2_1_4_1"},{"key":"e_1_3_2_1_5_1","volume-title":"Ninth International Workshop on Automated Verification of Critical Systems (AVOCS'09)","author":"Besnard L.","year":"2009","unstructured":"L. Besnard , T. Gautier , M. Moy , J.-P. Talpin , K. Johnson , and F. Maraninchi . Automatic translation of C\/C++ parallel code into synchronous formalism using an SSA intermediate form . In Ninth International Workshop on Automated Verification of Critical Systems (AVOCS'09) . Electronic Communications of the EASST , September 2009 . L. Besnard, T. Gautier, M. Moy, J.-P. Talpin, K. Johnson, and F. Maraninchi. Automatic translation of C\/C++ parallel code into synchronous formalism using an SSA intermediate form. In Ninth International Workshop on Automated Verification of Critical Systems (AVOCS'09). Electronic Communications of the EASST, September 2009."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_6_1","DOI":"10.5555\/1792734.1792781"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_7_1","DOI":"10.1145\/1629335.1629349"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_8_1","DOI":"10.1145\/115372.115320"},{"key":"e_1_3_2_1_9_1","volume-title":"DATE","author":"Genz C.","year":"2009","unstructured":"C. Genz and R. Drechsler . Overcoming limitations of the SystemC data introspection . In DATE , 2009 . C. Genz and R. Drechsler. Overcoming limitations of the SystemC data introspection. In DATE, 2009."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_10_1","DOI":"10.1007\/s10703-009-0075-z"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_11_1","DOI":"10.1109\/SEFM.2009.29"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_12_1","DOI":"10.1109\/ECBS.2006.27"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_13_1","DOI":"10.5555\/977395.977673"},{"unstructured":"K. Marquet and M. Moy. http:\/\/greensocs.sourceforge.net\/pinapa\/download \/files\/frontends-testcases.tar.gz.  K. Marquet and M. Moy. http:\/\/greensocs.sourceforge.net\/pinapa\/download \/files\/frontends-testcases.tar.gz.","key":"e_1_3_2_1_14_1"},{"key":"e_1_3_2_1_17_1","volume-title":"Nov. 06","author":"McMillan K. L.","year":"1992","unstructured":"K. L. McMillan . The SMV system , Nov. 06 1992 . K. L. McMillan. The SMV system, Nov. 06 1992."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_18_1","DOI":"10.1109\/ACSD.2005.23"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_19_1","DOI":"10.1145\/1086228.1086286"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_20_1","DOI":"10.1145\/1347375.1347389"}],"event":{"sponsor":["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","CEDA","IEEE CAS","IEEE CS"],"acronym":"ESWeek '10","name":"ESWeek '10: Sixth Embedded Systems Week","location":"Scottsdale Arizona USA"},"container-title":["Proceedings of the tenth ACM international conference on Embedded software"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1879021.1879032","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1879021.1879032","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:09:05Z","timestamp":1750248545000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1879021.1879032"}},"subtitle":["a systemC front-end based on an executable intermediate representation"],"short-title":[],"issued":{"date-parts":[[2010,10,24]]},"references-count":18,"alternative-id":["10.1145\/1879021.1879032","10.1145\/1879021"],"URL":"https:\/\/doi.org\/10.1145\/1879021.1879032","relation":{},"subject":[],"published":{"date-parts":[[2010,10,24]]},"assertion":[{"value":"2010-10-24","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}