{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T23:10:01Z","timestamp":1742598601454,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540584308"},{"type":"electronic","value":"9783540487890"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58430-7_15","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T16:02:08Z","timestamp":1330272128000},"page":"160-171","source":"Crossref","is-referenced-by-count":1,"title":["Flexible program and architecture specification for massively parallel systems"],"prefix":"10.1007","author":[{"given":"Stephan","family":"Kindermann","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"Michael Barnett. The formal derivation of distributed programs from systolic arrays. In Proceedings Supercomputing, pages 363\u2013366, 1990.","key":"15_CR1","DOI":"10.1109\/SPDP.1990.143566"},{"doi-asserted-by":"crossref","unstructured":"T. Blank. The MasPar MP-1 Architecture. In Proceedings IEEE Compcon, 1990.","key":"15_CR2","DOI":"10.1109\/CMPCON.1990.63648"},{"doi-asserted-by":"crossref","unstructured":"M. Chenand, Y Choo, and J. Li. Crystal: Theory and Pragmatics of Generating efficient parallel Code, chapter 7, pages 255\u2013308. Addison Wesley, 1991.","key":"15_CR3","DOI":"10.1145\/107214.129259"},{"unstructured":"M.I. Cole. Algorithmic Skeletons: Structured Management of Parallel Computation. Pitman, 1989.","key":"15_CR4"},{"doi-asserted-by":"crossref","unstructured":"J. Darlington, A.J. Field, P.G. Harrison, P.H.J. Kelly, Q. Wu, and R.L. While. Parallel programming using skeleton functions. In PARLE93, Parallel Architectures and Languages Europe, June 1993.","key":"15_CR5","DOI":"10.1007\/3-540-56891-3_12"},{"key":"15_CR6","volume-title":"Technical report","author":"M. Geerling","year":"1992","unstructured":"Max Geerling. Two examples of parallel program derivation: Parallel prefix and matrix multiplication. Technical report, University of Nijmegen, The Netherlands, 1992."},{"doi-asserted-by":"crossref","unstructured":"P. Hudak, Jones S. Peyton, and P. Wadler. Report on the programmming language Haskell: A non strict purely functional language (version 1.2). ACM SIGPLAN notices, 27(5), 1992.","key":"15_CR7","DOI":"10.1145\/130697.130699"},{"key":"15_CR8","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1016\/0743-7315(91)90090-V","volume":"13","author":"J. Li","year":"1991","unstructured":"Jingke Li and Marina Chen. The data alignment phase in compiling programs for distributed-memory machines. Journal of Parallel and Distributed Computing, 13:213\u2013221, 1991.","journal-title":"Journal of Parallel and Distributed Computing"},{"key":"15_CR9","doi-asserted-by":"crossref","first-page":"182","DOI":"10.1016\/0743-7315(90)90027-M","volume":"10","author":"B. Lisper","year":"1990","unstructured":"Bj\u00f6rn Lisper. Synthesis of time-optimal systolic arrays with cells with inner structure. Journal of Parallel and Distributed Computing, 10:182\u2013187, 1990.","journal-title":"Journal of Parallel and Distributed Computing"},{"doi-asserted-by":"crossref","unstructured":"C. Mauras, P. Gachet, P. Quinton, and Y. Saouter. Alpha du centaur: An environment for the design of regular algorithms. In International Conference on Supercomputing, Crete, 1989.","key":"15_CR10","DOI":"10.1145\/318789.318815"},{"doi-asserted-by":"crossref","unstructured":"H. Partsch. Specification and Transformation of Programs \u2014 a Formal Approach. Springer, 1990.","key":"15_CR11","DOI":"10.1007\/978-3-642-61512-2"},{"doi-asserted-by":"crossref","unstructured":"Boleslaw K. Szymanski. EPL: Parallel Programming with Recurrent Equations, chapter 3, pages 51\u2013104. Addison Wesley, 1991.","key":"15_CR12","DOI":"10.1145\/107214.129255"},{"key":"15_CR13","doi-asserted-by":"crossref","first-page":"116","DOI":"10.1016\/0743-7315(90)90040-V","volume":"9","author":"P. Tseng","year":"1990","unstructured":"Ping-Sheng Tseng. A systolic array parallelizing compiler. Journal of Parallel and Distributed Computing, 9:116\u2013127, 1990.","journal-title":"Journal of Parallel and Distributed Computing"},{"key":"15_CR14","doi-asserted-by":"crossref","first-page":"1167","DOI":"10.1016\/0167-8191(92)90063-D","volume":"18","author":"E. Violard","year":"1992","unstructured":"E. Violard and G.-R. Perrin. PEI: A language and its refinement calculus for parallel programming. Parallel Computing, 18:1167\u20131184, 1992.","journal-title":"Parallel Computing"},{"unstructured":"Stephen Wolfram. Mathematica, A System for Doing Mathematics by Computer. Addison Wesley Publishing Company, 1991.","key":"15_CR15"},{"unstructured":"A. Yang. Design and implementation of meta-Crystal: a metalanguage for parallel program optimization. Technical report, Department of Computer Science, Yale University, 1989.","key":"15_CR16"},{"doi-asserted-by":"crossref","unstructured":"Norihiko Yoshida. A transformational approach to the derivation of hardware algorithms form recurrence equations. In Proceedings Supercomputing, pages 433\u2013440, 1988.","key":"15_CR17","DOI":"10.1109\/SUPERC.1988.44682"}],"container-title":["Lecture Notes in Computer Science","Parallel Processing: CONPAR 94 \u2014 VAPP VI"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58430-7_15.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T22:28:39Z","timestamp":1742596119000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58430-7_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540584308","9783540487890"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-58430-7_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}