{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T20:15:52Z","timestamp":1729628152829,"version":"3.28.0"},"reference-count":21,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,10]]},"DOI":"10.1109\/fdl.2014.7119363","type":"proceedings-article","created":{"date-parts":[[2015,6,12]],"date-time":"2015-06-12T11:03:47Z","timestamp":1434107027000},"page":"1-8","source":"Crossref","is-referenced-by-count":2,"title":["Synthesizing code for GPGPUs from abstract formal models"],"prefix":"10.1109","author":[{"given":"Gabriel Hjort","family":"Blindell","sequence":"first","affiliation":[]},{"given":"Christian","family":"Menne","sequence":"additional","affiliation":[]},{"given":"Ingo","family":"Sander","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/1839676.1839694"},{"key":"ref11","doi-asserted-by":"crossref","first-page":"1305","DOI":"10.1109\/5.97300","article-title":"The Synchronous Dataflow Programming Language LUSTR E","author":"halbwachs","year":"1991","journal-title":"Proceedings of the IEEE"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TPDS.2010.62"},{"article-title":"Synthesizing Software from a For SyDe Model Targeting GPGPUs","year":"2012","author":"blindell","key":"ref13"},{"journal-title":"Programming Massively Parallel Processors","year":"2010","author":"kirk","key":"ref14"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/43.736561"},{"key":"ref16","first-page":"101","article-title":"OpenMP-to-GPGPU: A Compiler Framework for Automatic Translation and Optimization","volume":"44","author":"lee","year":"2009","journal-title":"Proceedings of the 14th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP'09)"},{"key":"ref17","article-title":"Nvidia Tesla: A Unified Graphics and Computing Architecture","author":"lindholm","year":"2010","journal-title":"Micro IEEE 30 39–55"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/MM.2010.41"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2003.819898"},{"key":"ref4","doi-asserted-by":"crossref","first-page":"389","DOI":"10.1007\/3-540-15670-4_19","article-title":"The ESTEREL Synchronous Programming Language and Its Mathematical Semantics","author":"berry","year":"1985","journal-title":"Seminar on Concurrency"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/5.97297"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/1926354.1926358"},{"journal-title":"GraphML Primer","year":"2004","author":"brandes","key":"ref5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/5.558710"},{"key":"ref7","article-title":"Flexible Runtime Support for Efficient Skeleton Programming on Hybrid Systems","author":"dastgeer","year":"2011","journal-title":"Proceedings of the International Conference on Parallel Programming (ParCo' 11)"},{"key":"ref2","first-page":"356","article-title":"Thrust: A Productivity-Oriented Library for cuda","author":"bell","year":"2011","journal-title":"GPU Computing Gems"},{"key":"ref1","first-page":"160","article-title":"Formal heterogeneous system modeling with SystemC","author":"attarzadeh niaki","year":"2012","journal-title":"Proceeding of the 2012 Forum on Specification and Design Languages FDL"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/MM.2008.57"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/j.procs.2010.04.231"},{"key":"ref21","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1007\/3-540-45937-5_14","article-title":"StreamIt: A Language for Streaming Applications","author":"thies","year":"2002","journal-title":"Proceedings of the 11th International Conference on Compiler Construction CC '02"}],"event":{"name":"2014 Forum on Specification and Design Languages (FDL)","start":{"date-parts":[[2014,10,14]]},"location":"Munich, Germany","end":{"date-parts":[[2014,10,16]]}},"container-title":["Proceedings of the 2014 Forum on Specification and Design Languages (FDL)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7113213\/7119333\/07119363.pdf?arnumber=7119363","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,26]],"date-time":"2019-08-26T16:35:35Z","timestamp":1566837335000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7119363\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,10]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/fdl.2014.7119363","relation":{},"subject":[],"published":{"date-parts":[[2014,10]]}}}