{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:02:34Z","timestamp":1725663754925},"publisher-location":"Berlin, Heidelberg","reference-count":42,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540551607"},{"type":"electronic","value":"9783540467625"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/3-540-55160-3_52","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T09:50:06Z","timestamp":1330249806000},"page":"309-325","source":"Crossref","is-referenced-by-count":1,"title":["The synthesis of systolic programs"],"prefix":"10.1007","author":[{"given":"Michael","family":"Barnett","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christian","family":"Lengauer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"issue":"12","key":"24_CR1","doi-asserted-by":"crossref","first-page":"1523","DOI":"10.1109\/TC.1987.5009502","volume":"C-36","author":"M. Annaratone","year":"1987","unstructured":"M. Annaratone, E. Arnould, T. Gross, H. T. Kung, M. Lam, O. Menzilcioglu, and J. A. Webb. The Warp computer: Architecture, implementation, and performance. IEEE Trans, on Computers, C-36(12):1523\u20131538, Dec. 1987.","journal-title":"IEEE Trans, on Computers"},{"key":"24_CR2","unstructured":"H. Aida, S. Leinwand, and J. Meseguer. Architectural design of the rewrite rule ensemble. In J. Delgado-Frias and W. R. Moore, editors, Proc. Int. Workshop on VLSI for Artificial Intelligence and Neural Networks, 1990. Also: Technical Report SRI-CSL-90-17, SRI International, Dec. 1990."},{"key":"24_CR3","unstructured":"Altera Corporation. Data Book. Altera Corporation, 1990."},{"issue":"2","key":"24_CR4","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1016\/0167-739X(88)90012-X","volume":"4","author":"J.-P. Ban\u00e2tre","year":"1988","unstructured":"J.-P. Ban\u00e2tre, A. Coutant, and D. Le M\u00e9tayer. A parallel machine for multiset transformation and its programming style. Future Generation Computer Systems, 4(2):133\u2013144, Sept. 1988.","journal-title":"Future Generation Computer Systems"},{"key":"24_CR5","doi-asserted-by":"crossref","unstructured":"J. Bu and E. F. Deprettere. Converting sequential iterative algorithms to recurrent equations for automatic design of systolic arrays. In Proc. IEEE Int. Conf. on Acoustics, Speech and Signal Processing (ICASSP 88), Vol. IV: VLSI; Spectral Estimation, pages 2025\u20132028. IEEE Press, 1988.","DOI":"10.1109\/ICASSP.1988.197025"},{"key":"24_CR6","doi-asserted-by":"crossref","unstructured":"J. Bu, E. F. Deprettere, and P. Dewilde. A design methodology for fixed-size systolic arrays. In S. Y. Kung and E. E. Swartzlander, editors, Application Specific Array Processors, pages 591\u2013602. IEEE Computer Society Press, 1990.","DOI":"10.1109\/ASAP.1990.145495"},{"key":"24_CR7","unstructured":"M. Barnett and C. Lengauer. A systolizing compilation scheme. Technical Report ECS-LFCS-91-134, Department of Computer Science, University of Edinburgh, Jan. 1991. Abstract: Proc. 1991 Int. Conf. on Parallel Processing, Vol. II, Pennsylvania State University Press, 1991, 305\u2013306."},{"issue":"1","key":"24_CR8","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1016\/0167-6423(90)90044-E","volume":"15","author":"J.-P. Ban\u00e2tre","year":"1990","unstructured":"J.-P. Ban\u00e2tre and D. Le M\u00e9tayer. The Gamma model and its discipline of programming. Science of Computer Programming, 15(1):55\u201377, Nov. 1990.","journal-title":"Science of Computer Programming"},{"key":"24_CR9","unstructured":"R. Bragodia. UNITY to UC: Case studies in parallel program construction. In this proceedings, 1991."},{"issue":"4","key":"24_CR10","doi-asserted-by":"crossref","first-page":"461","DOI":"10.1016\/0743-7315(86)90010-9","volume":"3","author":"M. C. Chen","year":"1986","unstructured":"M. C. Chen. A design methodology for synthesizing parallel algorithms and architectures. J. Parallel and Distributed Computing, 3(4):461\u2013491, 1986.","journal-title":"J. Parallel and Distributed Computing"},{"key":"24_CR11","doi-asserted-by":"crossref","unstructured":"K. M. Chandy and J. Misra. Parallel Program Design. Addison-Wesley, 1988.","DOI":"10.1007\/978-1-4613-9668-0_6"},{"key":"24_CR12","doi-asserted-by":"crossref","unstructured":"E. W. Dijkstra and C. S. Scholten. Predicate Calculus and Program Semantics. Texts and Monographs in Computer Science. Springer-Verlag, 1990.","DOI":"10.1007\/978-1-4612-3228-5"},{"key":"24_CR13","doi-asserted-by":"crossref","unstructured":"B. R. Engstrom and P. R. Cappello. The SDEF systolic programming system. In S. K. Tewksbury B. W. Dickinson and S. C. Schwartz, editors, Concurrent Computations, chapter 15. Plenum Press, 1987.","DOI":"10.1007\/978-1-4684-5511-3_15"},{"key":"24_CR14","unstructured":"J. P. Gray and T. A. Kean. Configurable hardware: A new paradigm for computation. In C. L. Seitz, editor, Advanced Research in VLSI. MIT Press, 1989."},{"key":"24_CR15","unstructured":"I. Graham and T. King. The Transputer Handbook. Prentice-Hall, 1990."},{"issue":"6","key":"24_CR16","first-page":"595","volume":"24","author":"C.-H. Huang","year":"1987","unstructured":"C.-H. Huang and C. Lengauer. The derivation of systolic implementations of programs. Acta Informatica, 24(6):595\u2013632, Nov. 1987.","journal-title":"Acta Informatica"},{"key":"24_CR17","doi-asserted-by":"crossref","unstructured":"H. P. Hofstee, J. J. Lukkien, and J. L. van de Snepscheut. A distributed implementation of a task pool. In this proceedings, 1991.","DOI":"10.1007\/3-540-55160-3_54"},{"key":"24_CR18","unstructured":"INMOS Ltd. occam Programming Manual. Series in Computer Science. Prentice-Hall Int., 1984."},{"key":"24_CR19","unstructured":"INMOS Ltd. occam 2 Reference Manual. Series in Computer Science. Prentice-Hall Int., 1988."},{"key":"24_CR20","unstructured":"INMOS Ltd. The T9000 transputer \u2022 Products Overview \u2022 Manual. SGS-Thompson Microelectronics Group, first edition, 1991."},{"issue":"1","key":"24_CR21","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1007\/BF00931032","volume":"2","author":"T. A. Kean","year":"1990","unstructured":"T. A. Kean and J. P. Gray. Configurable hardware: Two case studies of micro-grain computation. J. VLSI Signal Processing, 2(1):9\u201316, Sept. 1990.","journal-title":"J. VLSI Signal Processing"},{"key":"24_CR22","unstructured":"H. T. Kung and C. E. Leiserson. Algorithms for VLSI processor arrays. In C. Mead and L. Conway, editors, Introduction to VLSI Systems, chapter 8.3. Addison-Wesley, 1980."},{"issue":"3","key":"24_CR23","doi-asserted-by":"crossref","first-page":"563","DOI":"10.1145\/321406.321418","volume":"14","author":"R. M. Karp","year":"1967","unstructured":"R. M. Karp, R. E. Miller, and S. Winograd. The organization of computations for uniform recurrence equations. J. ACM, 14(3):563\u2013590, July 1967.","journal-title":"J. ACM"},{"key":"24_CR24","unstructured":"S.-Y. Kung. VLSI Processor Arrays. Prentice-Hall Int., 1988."},{"issue":"1","key":"24_CR25","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1007\/BF02311229","volume":"5","author":"C. Lengauer","year":"1991","unstructured":"C. Lengauer, M. Barnett, and D. G. Hudson. Towards systolizing compilation. Distributed Computing, 5(1):7\u201324, 1991.","journal-title":"Distributed Computing"},{"issue":"12","key":"24_CR26","first-page":"1578","volume":"C-37","author":"P. Lee","year":"1988","unstructured":"P. Lee and Z. Kedem. Synthesizing linear-array algorithms from nested for loop algorithms. IEEE Trans. on Computers, C-37(12):1578\u20131598, Dec. 1988.","journal-title":"IEEE Trans. on Computers"},{"key":"24_CR27","unstructured":"H. Leverge, C. Mauras, and P. Quinton. A language-oriented approach to the design of systolic chips. In E. F. Deprettere and A.-J. van der Veen, editors, International Workshop on Algorithms and Parallel VLSI Architectures, Vol. A: Tutorials, pages 309\u2013327. Elsevier (North-Holland), 1990. To appear in J. VLSI Signal Processing."},{"key":"24_CR28","unstructured":"H. Leverge and P. Quinton. Derivation of parallel algorithms with the Alpha language. In this proceedings, 1991."},{"key":"24_CR29","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1007\/BF01888228","volume":"2","author":"C. Lengauer","year":"1990","unstructured":"C. Lengauer and J. W. Sanders. The projection of systolic programs. Formal Aspects of Computing, 2:273\u2013293, 1990.","journal-title":"Formal Aspects of Computing"},{"key":"24_CR30","unstructured":"C. Lengauer and J. Xue. Recent developments in systolic design. Technical Report ECS-LFCS-91-176, Department of Computer Science, University of Edinburgh, Sept. 1991."},{"issue":"3","key":"24_CR31","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1007\/BF00925834","volume":"3","author":"C. Lengauer","year":"1991","unstructured":"C. Lengauer and J. Xue. A systolic array for pyramidal algorithms. J. VLSI Signal Processing, 3(3):239\u2013259, 1991.","journal-title":"J. VLSI Signal Processing"},{"key":"24_CR32","unstructured":"J. Meseguer. Personal communication, Aug. 1991."},{"issue":"1","key":"24_CR33","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1109\/TC.1986.1676652","volume":"C-35","author":"D. I. Moldovan","year":"1986","unstructured":"D. I. Moldovan and J. A. B. Fortes. Partitioning and mapping algorithms into fixed-size systolic arrays. IEEE Trans. on Computers, C-35(1):1\u201312, Jan. 1986.","journal-title":"IEEE Trans. on Computers"},{"key":"24_CR34","doi-asserted-by":"crossref","unstructured":"A. Pizzarello. Industrial experience in the use of UNITY. In this proceedings, 1991.","DOI":"10.1007\/3-540-55160-3_32"},{"key":"24_CR35","doi-asserted-by":"crossref","unstructured":"P. Quinton. Automatic synthesis of systolic arrays from uniform recurrent equations. In Proc. 11th Ann. Int. Symp. on Computer Architecture, pages 208\u2013214. IEEE Computer Society Press, 1984.","DOI":"10.1145\/800015.808184"},{"key":"24_CR36","unstructured":"S. V. Rajopadhye. Algebraic transformations in systolic array synthesis: A case study. In L. J. M. Claesen, editor, Formal VLSI Specification and Synthesis (VLSI Design Methods-I), pages 361\u2013370. North-Holland, 1990."},{"key":"24_CR37","unstructured":"H. B. Ribas. Automatic Generation of Systolic Programs from Nested Loops. PhD thesis, Department of Computer Science, Carnegie-Mellon University, June 1990. Technical Report CMU-CS-90-143."},{"issue":"3","key":"24_CR38","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1109\/5.4402","volume":"76","author":"S. K. Rao","year":"1988","unstructured":"S. K. Rao and T. Kailath. Regular iterative algorithms and their implementations on processor arrays. Proc. IEEE, 76(3):259\u2013282, Mar. 1988.","journal-title":"Proc. IEEE"},{"key":"24_CR39","doi-asserted-by":"crossref","unstructured":"J. Ramanujam and P. Sadayappan. A methodology for parallelizing programs for multicomputers and complex memory multiprocessors. In Supercomputing '89, pages 637\u2013646. ACM Press, 1989.","DOI":"10.1145\/76263.76335"},{"key":"24_CR40","unstructured":"C. E. Seitz. Multicomputers. In C. A. R. Hoare, editor, Developments in Concurrency and Communication, chapter 5, pages 131\u2013200. Addison-Wesley, 1990."},{"key":"24_CR41","unstructured":"Xilinx, Inc. The Programmable Gate Array Data Book. Xilinx, Inc., 1991."},{"key":"24_CR42","unstructured":"J. Xue and C. Lengauer. On one-dimensional systolic arrays. In Proc. ACM Int. Workshop on Formal Methods in VLSI Design. Springer-Verlag, Jan. 1991. To appear."}],"container-title":["Lecture Notes in Computer Science","Reasearch Directions in High-Level Parallel Programming Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-55160-3_52.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:57:51Z","timestamp":1605646671000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-55160-3_52"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540551607","9783540467625"],"references-count":42,"URL":"https:\/\/doi.org\/10.1007\/3-540-55160-3_52","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]}}}