{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T17:36:55Z","timestamp":1729618615432,"version":"3.28.0"},"reference-count":12,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1109\/hicss.2003.1174813","type":"proceedings-article","created":{"date-parts":[[2004,6,22]],"date-time":"2004-06-22T16:27:43Z","timestamp":1087921663000},"page":"10 pp.","source":"Crossref","is-referenced-by-count":2,"title":["Combining imperative and declarative hardware descriptions"],"prefix":"10.1109","author":[{"given":"T.","family":"Todman","sequence":"first","affiliation":[]},{"given":"W.","family":"Luk","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref4","article-title":"Parameterized hardware libraries for configurable system-on-chip technology","volume":"26","author":"luk","year":"2001","journal-title":"Canadian Journal of Electrical and Computer Engineering"},{"key":"ref3","article-title":"Pebble: a language for parametrised and reconfigurable hardware design","author":"luk","year":"1998","journal-title":"Field-Programmable Logic and Applications LNCS 1482"},{"doi-asserted-by":"publisher","key":"ref10","DOI":"10.1109\/43.908452"},{"year":"1992","author":"meyer","article-title":"Eiffel: The Language","key":"ref6"},{"year":"0","article-title":"Xilinx System Generator for DSP v2.2 Reference Guide","key":"ref11"},{"key":"ref5","article-title":"A declarative framework for developing parametrised hardware libraries","author":"mckeever","year":"2001","journal-title":"Proc IEEE Int Conf Electronics Circuits and Systems"},{"year":"0","article-title":"Introduction to the Virtex-II FPGA Family","key":"ref12"},{"key":"ref8","article-title":"A Verified Hardware Synthesis for Esterel Programs","author":"schneider","year":"2000","journal-title":"Proceedings of DIPES International IFIP Workshop on Distributed and Parallel Embedded Systems"},{"key":"ref7","article-title":"Compiling occam into FPGAs","author":"page","year":"1991","journal-title":"FPGAs Abingdon EE&CS Books"},{"year":"0","article-title":"Handel-C v3.1 Language Reference Manual","key":"ref2"},{"key":"ref9","doi-asserted-by":"crossref","DOI":"10.1049\/ip-cdt:20000486","article-title":"Framework and tools for runtime reconfigurable designs","author":"shirazi","year":"2000","journal-title":"IEE Proc -Comput Digit Tech"},{"year":"0","author":"berry","article-title":"Hardware Esterel Language Extension Proposal","key":"ref1"}],"event":{"name":"36th Annual Hawaii International Conference on System Sciences, 2003. Proceedings of the","start":{"date-parts":[[2003,1,9]]},"location":"Big Island, HI, USA","end":{"date-parts":[[2003,1,9]]}},"container-title":["36th Annual Hawaii International Conference on System Sciences, 2003. Proceedings of the"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8360\/26341\/01174813.pdf?arnumber=1174813","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T04:15:23Z","timestamp":1497586523000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1174813\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/hicss.2003.1174813","relation":{},"subject":[],"published":{"date-parts":[[2003]]}}}