{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:22:31Z","timestamp":1750306951910,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":4,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,6,19]],"date-time":"2013-06-19T00:00:00Z","timestamp":1371600000000},"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":[[2013,6,19]]},"DOI":"10.1145\/2463596.2486154","type":"proceedings-article","created":{"date-parts":[[2013,6,18]],"date-time":"2013-06-18T12:36:08Z","timestamp":1371558968000},"page":"90-92","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Generating hardware specific code at different abstraction levels using Averest"],"prefix":"10.1145","author":[{"given":"Omair","family":"Rafique","sequence":"first","affiliation":[{"name":"University of Kaiserslautern, Kaiserslautern, Germany"}]},{"given":"Manuel","family":"Gesell","sequence":"additional","affiliation":[{"name":"University of Kaiserslautern, Kaiserslautern, Germany"}]},{"given":"Klaus","family":"Schneider","sequence":"additional","affiliation":[{"name":"University of Kaiserslautern, Kaiserslautern, Germany"}]}],"member":"320","published-online":{"date-parts":[[2013,6,19]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Averest. http:\/\/www.averest.org.  Averest. http:\/\/www.averest.org."},{"key":"e_1_3_2_1_2_1","unstructured":"Conceptcar. http:\/\/es.cs.uni-kl.de\/research\/applications\/concept-car.  Conceptcar. http:\/\/es.cs.uni-kl.de\/research\/applications\/concept-car."},{"key":"e_1_3_2_1_3_1","first-page":"97","volume-title":"Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)","author":"Brandt J.","year":"2009","unstructured":"J. Brandt , K. Schneider , and A. Willenb\u00fccher . Using IP cores in synchronous languages . In C. Gremzow and N. Moser, editors, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV) , pages 97 -- 106 , Berlin, Germany , 2009 . Universit\u00e4tsbibliothek Berlin . J. Brandt, K. Schneider, and A. Willenb\u00fccher. Using IP cores in synchronous languages. In C. Gremzow and N. Moser, editors, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), pages 97--106, Berlin, Germany, 2009. Universit\u00e4tsbibliothek Berlin."},{"key":"e_1_3_2_1_4_1","first-page":"242","volume-title":"Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)","author":"Schneider K.","year":"2006","unstructured":"K. Schneider and T. Sch\u00fcle . A framework for verifying and implementing embedded systems . In B. Straube and M. Freibothe, editors, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV) , pages 242 -- 247 , Dresden, Germany , 2006 . Fraunhofer Institut f\u00fcr Integrierte Schaltungen . K. Schneider and T. Sch\u00fcle. A framework for verifying and implementing embedded systems. In B. Straube and M. Freibothe, editors, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), pages 242--247, Dresden, Germany, 2006. Fraunhofer Institut f\u00fcr Integrierte Schaltungen."}],"event":{"name":"M-SCOPES '13: International Workshop on Software and Compilers for Embedded Systems","sponsor":["EDAA European Design Automation Association","SIGBED ACM Special Interest Group on Embedded Systems"],"location":"St. Goar Germany","acronym":"M-SCOPES '13"},"container-title":["Proceedings of the 16th International Workshop on Software and Compilers for Embedded Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2463596.2486154","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2463596.2486154","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:39:01Z","timestamp":1750235941000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2463596.2486154"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,6,19]]},"references-count":4,"alternative-id":["10.1145\/2463596.2486154","10.1145\/2463596"],"URL":"https:\/\/doi.org\/10.1145\/2463596.2486154","relation":{},"subject":[],"published":{"date-parts":[[2013,6,19]]},"assertion":[{"value":"2013-06-19","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}