{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,29]],"date-time":"2022-03-29T23:10:28Z","timestamp":1648595428836},"reference-count":19,"publisher":"Elsevier BV","issue":"1-5","license":[{"start":{"date-parts":[[1992,9,1]],"date-time":"1992-09-01T00:00:00Z","timestamp":715305600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Microprocessing and Microprogramming"],"published-print":{"date-parts":[[1992,9]]},"DOI":"10.1016\/0165-6074(92)90371-d","type":"journal-article","created":{"date-parts":[[2003,8,8]],"date-time":"2003-08-08T04:56:10Z","timestamp":1060318570000},"page":"579-586","source":"Crossref","is-referenced-by-count":2,"title":["Systematic synthesis of parallel VLSI architectures from FP specifications and its application to scene matching"],"prefix":"10.1016","volume":"35","author":[{"given":"Panayotis","family":"Tsanakas","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"George","family":"Papakonstantinou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nikolaos","family":"Bilalis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"issue":"8","key":"10.1016\/0165-6074(92)90371-D_BIB1","doi-asserted-by":"crossref","first-page":"613","DOI":"10.1145\/359576.359579","article-title":"Can Programming Be Liberated from the Von Neumann Style? A Functional Style and its Algebra of Programs","volume":"21","author":"Backus","year":"1978","journal-title":"Comm. ACM"},{"issue":"2","key":"10.1016\/0165-6074(92)90371-D_BIB2","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1109\/43.21835","article-title":"Synthesizing Circuits from Behavioral Descriptions","volume":"CAD-8","author":"Camposano","year":"1989","journal-title":"IEEE Trans. Computer-Aided Design"},{"issue":"3","key":"10.1016\/0165-6074(92)90371-D_BIB3","doi-asserted-by":"crossref","first-page":"306","DOI":"10.1109\/TPAMI.1985.4767659","article-title":"Space-Time Domain Expansion Approach to VLSI and its Application to Hierarchical Scene Matching","volume":"7","author":"Cheng","year":"1985","journal-title":"IEEE Trans. PAMI, PAMI"},{"key":"10.1016\/0165-6074(92)90371-D_BIB4","doi-asserted-by":"crossref","first-page":"634","DOI":"10.1109\/TCS.1981.1085036","article-title":"A Design Methodology and Computer Aids for Digital VLSI Systems","volume":"CAS-28","author":"Director","year":"1981","journal-title":"IEEE Trans. Circuits Syst."},{"key":"10.1016\/0165-6074(92)90371-D_BIB5","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1016\/0165-6074(91)90345-T","article-title":"Data Path Synthesis from a Microcontroller Instruction Set Specification in MicroSyn","volume":"32","author":"Haeck","year":"1991","journal-title":"Microprocessing and Microprogramming"},{"key":"10.1016\/0165-6074(92)90371-D_BIB6","series-title":"Synthesis of Digital Designs from Recursion Equations","author":"Johnson","year":"1983"},{"key":"10.1016\/0165-6074(92)90371-D_BIB7","series-title":"Proc. of the 19th IEEE Design Automation Conference","article-title":"An Interactive Logic Synthesis System based upon AI Techniques","author":"Kawato","year":"1982"},{"key":"10.1016\/0165-6074(92)90371-D_BIB8","series-title":"Proc. of the 20th IEEE Design Automation Conference","article-title":"The VLSI Design Automation Assistant: Prototype System","author":"Kowalsky","year":"1983"},{"key":"10.1016\/0165-6074(92)90371-D_BIB9","series-title":"Formal Methods for VLSI Design","article-title":"Behavior FSMs for High-level Synthesis and Verification","author":"Leaser","year":"1991"},{"key":"10.1016\/0165-6074(92)90371-D_BIB10","first-page":"301","article-title":"The high-level Synthesis of Digital Systems","volume":"78","author":"McFarlant","year":"1990"},{"issue":"7","key":"10.1016\/0165-6074(92)90371-D_BIB11","doi-asserted-by":"crossref","first-page":"621","DOI":"10.1109\/TC.1983.1676294","article-title":"An Abstract Model of Behavior for Hardware Descriptions","volume":"C-32","author":"McFarlant","year":"1983","journal-title":"IEEE Trans. Computers"},{"key":"10.1016\/0165-6074(92)90371-D_BIB12","series-title":"Int. Conf. on Functional Languages and Computer Architecture","article-title":"nuFP: An Environment for the Multilevel specification, Analysis, and Synthesis of Hardware Algorithms","author":"Patel","year":"1985"},{"key":"10.1016\/0165-6074(92)90371-D_BIB13","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1016\/0165-6074(91)90344-S","article-title":"A Hardware Allocator Guided by Cost Functions","volume":"32","author":"Septien","year":"1991","journal-title":"Microprocessing and Microprogramming"},{"key":"10.1016\/0165-6074(92)90371-D_BIB14","first-page":"76","article-title":"Automatic Hardware Synthesis","volume":"71","author":"Shiva","year":"1983"},{"issue":"2","key":"10.1016\/0165-6074(92)90371-D_BIB15","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1109\/TCAD.1987.1270270","article-title":"Flame: A High-level Hardware Compiler","volume":"CAD-6","author":"Trickey","year":"1987","journal-title":"IEEE Trans. on Computer-Aided Design"},{"key":"10.1016\/0165-6074(92)90371-D_BIB16","doi-asserted-by":"crossref","first-page":"307","DOI":"10.1016\/0165-6074(91)90363-X","article-title":"A Prolog-based Design Environment for the High-level Synthesis of Application-specific Architectures","volume":"32","author":"Tsanakas","year":"1991","journal-title":"Microprocessing and Microprogramming"},{"issue":"5","key":"10.1016\/0165-6074(92)90371-D_BIB17","doi-asserted-by":"crossref","first-page":"453","DOI":"10.1093\/comjnl\/32.5.453","article-title":"An FP-based Design Methodology for Problem-oriented Architectures","volume":"32","author":"Tsanakas","year":"1989","journal-title":"The Computer Journal"},{"issue":"10","key":"10.1016\/0165-6074(92)90371-D_BIB18","doi-asserted-by":"crossref","first-page":"733","DOI":"10.1145\/69622.357193","article-title":"On the Development of the Algebra of Functinal Programs","volume":"4","author":"Williams","year":"1982","journal-title":"ACM Trans. Progr. Lang. and Systems"},{"key":"10.1016\/0165-6074(92)90371-D_BIB19","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1109\/TC.1978.1675108","article-title":"Sequential Hierarchical Scene Matching","volume":"C-27","author":"Wong","year":"1978","journal-title":"IEEE Trans. on Comp."}],"container-title":["Microprocessing and Microprogramming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:016560749290371D?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:016560749290371D?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,3,15]],"date-time":"2019-03-15T01:52:06Z","timestamp":1552614726000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/016560749290371D"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992,9]]},"references-count":19,"journal-issue":{"issue":"1-5","published-print":{"date-parts":[[1992,9]]}},"alternative-id":["016560749290371D"],"URL":"https:\/\/doi.org\/10.1016\/0165-6074(92)90371-d","relation":{},"ISSN":["0165-6074"],"issn-type":[{"value":"0165-6074","type":"print"}],"subject":[],"published":{"date-parts":[[1992,9]]}}}