{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T15:59:26Z","timestamp":1742399966166},"reference-count":22,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2005,5,1]],"date-time":"2005-05-01T00:00:00Z","timestamp":1114905600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Supercomput"],"published-print":{"date-parts":[[2005,5]]},"DOI":"10.1007\/s11227-005-0288-x","type":"journal-article","created":{"date-parts":[[2005,3,4]],"date-time":"2005-03-04T12:30:39Z","timestamp":1109939439000},"page":"119-137","source":"Crossref","is-referenced-by-count":4,"title":["Customisable Hardware Compilation"],"prefix":"10.1007","volume":"32","author":[{"given":"Tim","family":"Todman","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jos\ufffd Gabriel de F.","family":"Coutinho","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wayne","family":"Luk","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","unstructured":"A. Abdul Gaffar et al. Unifying bit-width optimisation for fixed-point and floating-point designs. In IEEE Symp. on Field-Programmable Custom Computing Machines, IEEE Computer Society Press, 2004."},{"key":"CR2","unstructured":"A. Aho, R. Sethi, and J. Ullman. Compilers: Principles, Techniques, and Tools. Series in Computer Science, Addison-Wesley, 1986."},{"key":"CR3","unstructured":"ANTLR, http:\/\/www.antlr.org"},{"key":"CR4","doi-asserted-by":"crossref","unstructured":"M. Boekhold et al. A programmable ANSI C transformation engine. In Proc. Int. Conf. on Compiler Construction, LNCS 1575, Springer, 1999.","DOI":"10.1007\/978-3-540-49051-7_21"},{"key":"CR5","unstructured":"Celoxica, http:\/\/www.celoxica.com"},{"key":"CR6","doi-asserted-by":"crossref","unstructured":"J. G. F. Coutinho and W. Luk. Source-directed transformations for hardware compilation. In Proc. Int. Conf. on Field-Programmable Technology, IEEE, 2003.","DOI":"10.1109\/FPT.2003.1275758"},{"key":"CR7","doi-asserted-by":"crossref","unstructured":"J. G. F. Coutinho, W. Luk, and M. Weinhardt. Optimizing parallel programs for hardware implementation. In Proc. SPIE ITCom, 2002.","DOI":"10.1117\/12.455467"},{"key":"CR8","unstructured":"G. De Micheli. Synthesis and Optimization of Digital Circuits. McGraw-Hill, 1994."},{"key":"CR9","unstructured":"E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, 1995."},{"key":"CR10","doi-asserted-by":"crossref","unstructured":"M. B. Gokhale et al. Stream-oriented FPGA computing in the Streams-C high level language. In IEEE Symp. on Field-Programmable Custom Computing Machines, IEEE Computer Society Press, 2000.","DOI":"10.1109\/FPGA.2000.903392"},{"key":"CR11","doi-asserted-by":"crossref","unstructured":"S. Gupta et al. SPARK: A high-level synthesis framework for applying parallelizing compiler transformations. In Proc. Int. Conf. on VLSI Design, Jan. 2003.","DOI":"10.1109\/ICVD.2003.1183177"},{"key":"CR12","doi-asserted-by":"crossref","unstructured":"T. K. Lee et al. Compiling policy descriptions into reconfigurable firewall processors. In Proc. Symp. on Field-Programmable Custom Computing Machines, IEEE Computer Society Press, 2003.","DOI":"10.1109\/FPGA.2003.1227240"},{"key":"CR13","doi-asserted-by":"crossref","unstructured":"W. Luk and S. W. McKeever. Pebble: A language for parametrised and reconfigurable hardware design. Field-Programmable Logic and Applications, LNCS 1482, Springer, 1998.","DOI":"10.1007\/BFb0055228"},{"key":"CR14","doi-asserted-by":"crossref","unstructured":"S. W. McKeever and W. Luk. Towards provably-correct hardware compilation tools based on pass separation techniques. Correct Hardware Design and Verification Methods, LNCS 2144, Springer, 2001.","DOI":"10.1007\/3-540-44798-9_19"},{"key":"CR15","doi-asserted-by":"crossref","unstructured":"O. Mencer et al. Design space exploration with A Stream Compiler. In Proc. Int. Conf. on Field Programmable Technology, IEEE, 2003.","DOI":"10.1109\/FPT.2003.1275757"},{"key":"CR16","unstructured":"S. Meyers. Effective C++, 2nd ed. Addison-Wesley, 1998."},{"key":"CR17","unstructured":"I. Page and W. Luk. Compiling occam into FPGAs. FPGAs, Abingdon EE&CS Books, 1991."},{"key":"CR18","doi-asserted-by":"crossref","unstructured":"N. Shirazi, W. Luk, and P. Y. K. Cheung. Framework and tools for run-time reconfigurable designs. In IEE Proc.-Computing and Digital Techniques, May, 2000.","DOI":"10.1049\/ip-cdt:20000486"},{"key":"CR19","unstructured":"SUIF Compiler System, suif.stanford.edu."},{"key":"CR20","unstructured":"T. Todman. A customisable framework for hardware compilation. PhD thesis, Imperial College, 2003."},{"key":"CR21","doi-asserted-by":"crossref","unstructured":"T. Todman and W. Luk. Combining imperative and declarative hardware descriptions. In Proc. 36th Hawaii Int. Conf. on System Sciences, IEEE, 2003.","DOI":"10.1109\/HICSS.2003.1174813"},{"key":"CR22","doi-asserted-by":"crossref","unstructured":"M. Weinhardt and W. Luk. Pipeline vectorization IEEE Trans. on Computer-Aided Design, 20(2), 2001.","DOI":"10.1109\/43.908452"}],"container-title":["The Journal of Supercomputing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11227-005-0288-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11227-005-0288-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11227-005-0288-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,6]],"date-time":"2020-04-06T03:42:11Z","timestamp":1586144531000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11227-005-0288-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,5]]},"references-count":22,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2005,5]]}},"alternative-id":["288"],"URL":"https:\/\/doi.org\/10.1007\/s11227-005-0288-x","relation":{},"ISSN":["0920-8542","1573-0484"],"issn-type":[{"value":"0920-8542","type":"print"},{"value":"1573-0484","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005,5]]}}}