{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,7]],"date-time":"2025-01-07T21:40:13Z","timestamp":1736286013909,"version":"3.32.0"},"publisher-location":"Boston, MA","reference-count":10,"publisher":"Springer US","isbn-type":[{"type":"print","value":"9781402081484"},{"type":"electronic","value":"9781402081491"}],"license":[{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/1-4020-8149-9_20","type":"book-chapter","created":{"date-parts":[[2006,2,22]],"date-time":"2006-02-22T14:53:33Z","timestamp":1140620013000},"page":"197-206","source":"Crossref","is-referenced-by-count":2,"title":["Hardware Synthesis of A Parallel JPEG Decoder from Its Functional Specification"],"prefix":"10.1007","author":[{"given":"John","family":"Hawkins","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ali E.","family":"Abdallah","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"20_CR1","doi-asserted-by":"crossref","unstructured":"A.E. Abdallah, Derivation of Parallel Algorithms from Functional Specifications to CSP Processes, in Bernhard M\u00f6ller, ed., Mathematics of Program Construction, LNCS 947, (Springer Verlag, 1995) 67\u201396","DOI":"10.1007\/3-540-60117-1_6"},{"key":"20_CR2","doi-asserted-by":"crossref","unstructured":"A. E. Abdallah, Functional Process Modelling, in K Hammond and G. Michealson (eds), Research Directions in Parallel Functional Programming, (Springer Verlag, October 1999). pp339\u2013360.","DOI":"10.1007\/978-1-4471-0841-2_16"},{"key":"20_CR3","doi-asserted-by":"crossref","unstructured":"A. E. Abdallah and J. Hawkins, Calculational Design of Special Purpose Parallel Algorithms, in Proceedings of 7th IEEE International Conference on Electronics, Circuits and Systems (ICECS 2000), Lebanon, (IEEE, December 2000). pp261\u2013267.","DOI":"10.1109\/ICECS.2000.911533"},{"key":"20_CR4","unstructured":"R. S. Bird and P. Wadler, Introduction to Functional Programming. (Prentice-Hall, 1988)."},{"key":"20_CR5","unstructured":"R. S. Bird Introduction to Functional Programming Using Haskell, (Prentice-Hall, 1998)."},{"key":"20_CR6","unstructured":"M. I. Cole, Algorithmic Skeletons: Structured Management of Parallel Computation, in Research Monographs in Parallel and Distributed Computing, (Pitman 1989)."},{"key":"20_CR7","first-page":"102","volume-title":"Functional Specification of the JPEG algorithm, and an Implementation for Free","author":"J. Fokker","year":"1995","unstructured":"J. Fokker, Functional Specification of the JPEG algorithm, and an Implementation for Free, in R.C. Veltkamp and E.H. Blake, (eds), Programming Paradigms in Graphics, Proceedings of the Eurographics workshop in Maastricht, The Netherlands, September 1995. (Wien, Springer 1995). pp. 102\u2013120."},{"key":"20_CR8","unstructured":"C. A. R. Hoare, Communicating Sequential Processes. (Prentice-Hall, 1985)."},{"key":"20_CR9","unstructured":"International Standards Organisation, Digital Compression and Coding of Continuous Still Tone Images. Draft International Standard DIS 10918-1."},{"key":"20_CR10","unstructured":"G. Wallace, The JPEG Still Picture Compression Standard, in Communications of the ACM, 43, 4, 1991. Draft International Standard DIS 10918-1."}],"container-title":["IFIP International Federation for Information Processing","Design Methods and Applications for Distributed Embedded Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/1-4020-8149-9_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,7]],"date-time":"2025-01-07T21:07:20Z","timestamp":1736284040000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/1-4020-8149-9_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9781402081484","9781402081491"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/1-4020-8149-9_20","relation":{},"ISSN":["1571-5736"],"issn-type":[{"type":"print","value":"1571-5736"}],"subject":[],"published":{"date-parts":[[2004]]}}}