{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T10:22:20Z","timestamp":1725790940917},"reference-count":11,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,7]]},"DOI":"10.1109\/memcod.2011.5970505","type":"proceedings-article","created":{"date-parts":[[2011,8,3]],"date-time":"2011-08-03T22:16:29Z","timestamp":1312409789000},"page":"1-9","source":"Crossref","is-referenced-by-count":1,"title":["Distributing C# methods and threads over Ethernet-connected FPGAs using Kiwi"],"prefix":"10.1109","author":[{"given":"David","family":"Greaves","sequence":"first","affiliation":[]},{"given":"Satnam","family":"Singh","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/FPT.2009.5377655"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2010.5558627"},{"key":"ref10","first-page":"76","article-title":"Liquid metal: Object-oriented programming across the hard-ware\/software boundary","author":"huang","year":"2008","journal-title":"ECOOP '08 Proceedings of the 22nd European Conference on Object-Oriented Programming"},{"article-title":"Handel-C language overview","year":"2004","author":"inc","key":"ref6"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/1950413.1950421"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2003.1253670"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/FPT.2006.270338"},{"key":"ref7","article-title":"Bluespec System Verilog: Efficient, correct RTL from high-level specifications","author":"nikhil","year":"2004","journal-title":"Formal Methods and Models for Co-Design (MEMO CODE)"},{"key":"ref2","article-title":"MoldUDP-64 specification","author":"note","year":"2006","journal-title":"Docstore\/Nasdaq"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/FPL.2007.4380705"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/FCCM.2011.35"}],"event":{"name":"2011 9th IEEE\/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2011)","start":{"date-parts":[[2011,7,11]]},"location":"Cambridge, United Kingdom","end":{"date-parts":[[2011,7,13]]}},"container-title":["Ninth ACM\/IEEE International Conference on Formal Methods and Models for Codesign (MEMPCODE2011)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5959846\/5970502\/05970505.pdf?arnumber=5970505","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,21]],"date-time":"2017-03-21T04:01:59Z","timestamp":1490068919000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5970505\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,7]]},"references-count":11,"URL":"https:\/\/doi.org\/10.1109\/memcod.2011.5970505","relation":{},"subject":[],"published":{"date-parts":[[2011,7]]}}}