{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T08:05:09Z","timestamp":1729670709745,"version":"3.28.0"},"reference-count":17,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/fpt.2002.1188666","type":"proceedings-article","created":{"date-parts":[[2003,10,1]],"date-time":"2003-10-01T14:56:02Z","timestamp":1065020162000},"page":"68-75","source":"Crossref","is-referenced-by-count":2,"title":["Resource-aware run-time elaboration of behavioural FPGA specifications"],"prefix":"10.1109","author":[{"given":"U.","family":"Malik","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"K.","family":"So","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"O.","family":"Diessel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Formal Specification and Verification of Digital Systems","year":"1994","author":"milne","key":"ref10"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/EH.1999.785448"},{"article-title":"A Calculus of Communicating Systems, volume 92 of Lecture Notes in Computer Science","year":"1980","author":"milner","key":"ref12"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/BF00936948"},{"key":"ref14","first-page":"271","article-title":"Compiling Occam into FPGAs","author":"page","year":"1991","journal-title":"FPGAs Proceedings of the International Workshop on Field Programmable Logic and Applications (FPL '91)"},{"article-title":"Compiling abstract behaviours to Field Programmable Gate Arrays","year":"2001","author":"so","key":"ref15"},{"year":"2000","key":"ref16","article-title":"Virtex 2.5V Field Programmable Gate Arrays"},{"journal-title":"limited distribution release through Xilinx","article-title":"The JBits 2.8 SDK for Virtex","year":"2001","key":"ref17"},{"journal-title":"RC1000 Hardware Reference Manual 2001","year":"0","key":"ref4"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/FPGA.1997.624607"},{"key":"ref6","doi-asserted-by":"crossref","first-page":"152","DOI":"10.1049\/ip-cdt:20010579","article-title":"A hardware compiler realizing concurrent processes in reconfigurable logic","volume":"148","author":"diessel","year":"2001","journal-title":"IEE Proceedings Computers and Digital Techniques"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2002.1016553"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/FPGA.1998.707894"},{"article-title":"Communicating Sequential Processes","year":"1985","author":"hoare","key":"ref7"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/289423.289440"},{"key":"ref1","first-page":"175","article-title":"JHDL – an HDL for recon- figurable systems","author":"bellows","year":"1998","journal-title":"Proceedings of IEEE Workshop on FPGAs for Custom Computing Machines"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/3318.3322"}],"event":{"name":"2002 IEEE International Conference on Field-Programmable Technology (FPT)","acronym":"FPT-02","location":"Hong Kong, China"},"container-title":["2002 IEEE International Conference on Field-Programmable Technology, 2002. (FPT). Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8456\/26638\/01188666.pdf?arnumber=1188666","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T00:57:11Z","timestamp":1497574631000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1188666\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/fpt.2002.1188666","relation":{},"subject":[]}}