{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T08:51:06Z","timestamp":1725612666606},"reference-count":21,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,6]]},"DOI":"10.1109\/recosoc.2016.7533911","type":"proceedings-article","created":{"date-parts":[[2016,8,8]],"date-time":"2016-08-08T16:28:55Z","timestamp":1470673735000},"page":"1-8","source":"Crossref","is-referenced-by-count":0,"title":["A programming model for reconfigurable computing based in functional concurrency"],"prefix":"10.1109","author":[{"given":"William L.","family":"Harrison","sequence":"first","affiliation":[]},{"given":"Ian","family":"Graves","sequence":"additional","affiliation":[]},{"given":"Adam","family":"Procter","sequence":"additional","affiliation":[]},{"given":"Michela","family":"Becchi","sequence":"additional","affiliation":[]},{"given":"Gerard","family":"Allwein","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/2514740"},{"year":"0","key":"ref11","article-title":"Vivado high-level synthesis"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPSW.2012.62"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/FPGA.2000.903392"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/FCCM.2010.28"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/MDT.2006.134"},{"key":"ref16","article-title":"Kiwi: Synthesis of FPGA circuits from parallel programs","author":"greaves","year":"2008","journal-title":"IEEE Symposium on FPGAs for Custom Computing Machines (FCCM)"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/FPT.2013.6718365"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22941-1_8"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/j.cose.2008.05.002"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/2016036.2020861"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/2228360.2228584"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/FPT.2015.7393143"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/2670529.2754970"},{"journal-title":"The DLX Instruction Set Architecture Handbook","year":"1996","author":"sailer","key":"ref8"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-16214-0_4"},{"key":"ref2","article-title":"Will the future success of reconfigurable computing require a paradigm shift in our research community's thinking?","author":"andrews","year":"2015","journal-title":"Keynote ARC"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/2436256.2436271"},{"journal-title":"Haskell 98 Language and Libraries The Revised Report","year":"2003","author":"jones","key":"ref9"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1147\/rd.62.0200"},{"year":"0","key":"ref21","article-title":"The Coq Proof Assistant"}],"event":{"name":"2016 11th International Symposium on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC)","start":{"date-parts":[[2016,6,27]]},"location":"Tallinn, Estonia","end":{"date-parts":[[2016,6,29]]}},"container-title":["2016 11th International Symposium on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7527135\/7533889\/07533911.pdf?arnumber=7533911","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2016,9,29]],"date-time":"2016-09-29T09:16:03Z","timestamp":1475140563000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7533911\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,6]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/recosoc.2016.7533911","relation":{},"subject":[],"published":{"date-parts":[[2016,6]]}}}