{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,8]],"date-time":"2025-01-08T05:42:11Z","timestamp":1736314931291,"version":"3.32.0"},"reference-count":44,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1991,6,1]],"date-time":"1991-06-01T00:00:00Z","timestamp":675734400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Distrib Comput"],"published-print":{"date-parts":[[1991,6]]},"DOI":"10.1007\/bf02311229","type":"journal-article","created":{"date-parts":[[2006,2,15]],"date-time":"2006-02-15T12:48:44Z","timestamp":1140007724000},"page":"7-24","source":"Crossref","is-referenced-by-count":13,"title":["Towards systolizing compilation"],"prefix":"10.1007","volume":"5","author":[{"given":"Christian","family":"Lengauer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Barnett","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Duncan G.","family":"Hudson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"12","key":"BF02311229_CR1","doi-asserted-by":"crossref","first-page":"1523","DOI":"10.1109\/TC.1987.5009502","volume":"36","author":"M Annaratone","year":"1987","unstructured":"Annaratone M, Arnould E, Gross T, Kung HT, Lam M, Menzilcioglu O, Webb JA: The Warp computer: Architecture, implementation, and performance. IEEE Trans Comput C-36 (12):1523\u20131538 (1987).","journal-title":"IEEE Trans Comput C"},{"key":"BF02311229_CR2","doi-asserted-by":"crossref","unstructured":"Barnett M: The formal derivation of distributed programs from systolic arrays. Proc 2nd IEEE Symp on Parallel and Distributed Processing. IEEE Computer Society Press 1990, pp 363\u2013366","DOI":"10.1109\/SPDP.1990.143566"},{"key":"BF02311229_CR3","doi-asserted-by":"crossref","unstructured":"Bu J, Deprettere EF: Converting sequential interative algorithms to recurrent equations for automatic design of systolic arrays. Proc IEEE Int Conf on Acoustics, Speech and Signal Processing (ICASSP 88), vol IV: VLSI; Spectral Estimation. IEEE Press 1988, pp 2025\u20132028","DOI":"10.1109\/ICASSP.1988.197025"},{"key":"BF02311229_CR4","unstructured":"Chen MC: Placement and interconnection of systolic processing elements: a new LU-decomposition algorithm. Res Rep YALEU\/DCS\/RR-498, Department of Computer Science, Yale University, October 1986"},{"key":"BF02311229_CR5","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1007\/BF00128176","volume":"2","author":"MC Chen","year":"1988","unstructured":"Chen MC, Choo Y, Li J: Compiling parallel programs by optimizing performance. J Supercomput 2:171\u2013207 (1988)","journal-title":"J Supercomput"},{"key":"BF02311229_CR6","unstructured":"van Dongen V: Quasi-regular arrays: definition and design methodology. In: Proc Int Conf on Systolic Array Processors. Prentice-Hall 1989, pp 126\u2013135"},{"key":"BF02311229_CR7","series-title":"VLSI Design Methods","first-page":"341","volume-title":"Formal VLSI specification and synthesis","author":"V Dongen van","year":"1990","unstructured":"van Dongen V, Petit M: PRESAGE: a tool for the parallelization of nested loop programs. In: Claesen LJM (ed), Formal VLSI specification and synthesis (VLSI Design Methods-I). North-Holland, Amsterdam 1990, pp 341\u2013359"},{"key":"BF02311229_CR8","doi-asserted-by":"crossref","unstructured":"Engstrom BR, Cappello PR: The SDEF systolic programming system. In: Tewksbury SK, Dickinson BW, Schwartz SC (eds) Concurrent computations. Plenum Press, 1987, Chap 15","DOI":"10.1007\/978-1-4684-5511-3_15"},{"key":"BF02311229_CR9","unstructured":"Gachet P, Joinnault B, Quinton P.: Synthesizing sytolic arrays using DIASTOL. In: Moore W, McCabe A, Urquart R (eds), Systolic arrays. Hilger 1987, pp 25\u201336"},{"key":"BF02311229_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"347","DOI":"10.1007\/3-540-18317-5_19","volume-title":"Functional Programming Languages and Computer Architecture","author":"T Gross","year":"1987","unstructured":"Gross T, Sussman A: Mapping a single-assignment language onto the Warp systolic array. In: Kahn G (ed), Functional Programming Languages and Computer Architecture. Lect Notes Comput Sci, vol 274. Springer Berlin Heidelberg New York 1987, pp 347\u2013363"},{"key":"BF02311229_CR11","unstructured":"Hoare CAR: Communicating sequential processes. Series in Computer Science, Prentice-Hall 1985"},{"key":"BF02311229_CR12","unstructured":"Huang C-H: The mechanically certified derivation of concurrency and its application to systolic design. Ph D Thesis, Department of Computer Sciences, The University of Texas at Austin, August 1987"},{"issue":"6","key":"BF02311229_CR13","first-page":"595","volume":"24","author":"C-H Huang","year":"1987","unstructured":"Huang C-H, Lengauer C: The derivation of systolic implementations of programs. Acta Inf 24 (6):595\u2013632 (1987)","journal-title":"Acta Inf"},{"issue":"2","key":"BF02311229_CR14","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1007\/BF00265150","volume":"27","author":"C-H Huang","year":"1989","unstructured":"Huang C-H, Lengauer C: An incremental mechanical development of systolic solutions to the algebraic path problem. Acta Inf 27(2):97\u2013124 (1989)","journal-title":"Acta Inf"},{"key":"BF02311229_CR15","series-title":"Series in Computer Science","volume-title":"occam Programming Manual","author":"INMOS Ltd","year":"1984","unstructured":"INMOS Ltd: occam Programming Manual. Series in Computer Science, Prentice-Hall, Englewood Cliffs, New Jersey 1984"},{"key":"BF02311229_CR16","series-title":"Series in Computer Science","volume-title":"occam 2 Reference Manual","author":"INMOS Ltd","year":"1988","unstructured":"INMOS Ltd: occam 2 Reference Manual. Series in Computer Science. Prentice-Hall, Englewood Cliffs, New Jersey 1988"},{"key":"BF02311229_CR17","volume-title":"transputer Reference Manual","author":"INMOS Ltd","year":"1988","unstructured":"INMOS Ltd: transputer Reference Manual. Prentice-Hall Englewood Cliffs, New Jersey 1988"},{"issue":"9","key":"BF02311229_CR18","doi-asserted-by":"crossref","first-page":"1304","DOI":"10.1109\/PROC.1987.13882","volume":"75","author":"HV Jagadish","year":"1987","unstructured":"Jagadish HV, Rao SK, Kailath T: Array architecture for iterative algorithms. Proc IEEE 75(9):1304\u20131320 (1987)","journal-title":"Proc IEEE"},{"issue":"3","key":"BF02311229_CR19","doi-asserted-by":"crossref","first-page":"441","DOI":"10.1016\/0743-7315(89)90030-0","volume":"7","author":"VK Prasanna Kumar","year":"1989","unstructured":"Prasanna Kumar VK, Tasi, Y-C: Designing linear systolic arrays. J Parallel Distrib Comput 7(3):441\u2013463 (1989)","journal-title":"J Parallel Distrib Comput"},{"key":"BF02311229_CR20","unstructured":"Kung HT, Leiserson CE: Algorithms for VLSI processor arrays. In: Mead C, Conway L (eds), Introduction to VLSI Systems. Addison-Wesley 1980, Sect 8.3"},{"issue":"5","key":"BF02311229_CR21","doi-asserted-by":"crossref","first-page":"603","DOI":"10.1109\/TC.1987.1676945","volume":"36","author":"S-Y Kung","year":"1987","unstructured":"Kung S-Y, Lo S-C, Lewis PS: Optimal systolic design for the transitive closure and shortest path problems. IEEE Trans Comput C-36(5):603\u2013614 (1987)","journal-title":"IEEE Trans Comput C"},{"key":"BF02311229_CR22","doi-asserted-by":"crossref","unstructured":"Lam M: A systolic array optimizing compiler. Tech Rep CMUCS-87-187, Department of Computer Science, Carnegie-Mellon University, May 1987","DOI":"10.1007\/978-1-4613-1705-0"},{"issue":"12","key":"BF02311229_CR23","doi-asserted-by":"crossref","first-page":"1578","DOI":"10.1109\/12.9735","volume":"37","author":"P Lee","year":"1988","unstructured":"Lee P, Kedem Z: Synthesizing linear array algorithms from nested for loop algorithms. IEEE Trans Comput TC-37(12):1578\u20131598 (1988)","journal-title":"IEEE Trans Comput TC"},{"issue":"1","key":"BF02311229_CR24","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1016\/0167-6423(82)90003-X","volume":"2","author":"C Lengauer","year":"1982","unstructured":"Lengauer C: A methodology for programming with concurrency: the formalism. Sci Comput Program 2(1):19\u201352 (1982)","journal-title":"Sci Comput Program"},{"issue":"3","key":"BF02311229_CR25","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1002\/spe.4380200304","volume":"20","author":"C Lengauer","year":"1990","unstructured":"Lengauer C: Code generation for a systolic computer. Software Pract Exper 20(3):261\u2013282 (1990)","journal-title":"Software Pract Exper"},{"key":"BF02311229_CR26","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1007\/BF01888228","volume":"2","author":"C Lengauer","year":"1990","unstructured":"Lengauer C, Sanders JW: The projection of systolic programs. Form Aspec Comput 2:273\u2013293 (1990)","journal-title":"Form Aspec Comput"},{"key":"BF02311229_CR27","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"90","DOI":"10.1007\/0-387-97226-9_25","volume-title":"Proc Hardware Specification, Verification and Synthesis: Mathematical Aspects","author":"C Lengauer","year":"1990","unstructured":"Lengauer C, Sabata B, Arman F: A mechanically derived systolic implementation of pyramid initialization. In: Brown G, Leeser M (eds), Proc Hardware Specification, Verification and Synthesis: Mathematical Aspects. Lect Notes Comput Sci, vol 408. Springer, Berlin Heidelberg New York 1990, pp 90\u2013105"},{"key":"BF02311229_CR28","unstructured":"Lieu PJ: Personal communication, November 1987"},{"key":"BF02311229_CR29","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"321","DOI":"10.1007\/3-540-51285-3_49","volume-title":"Proc Parallel Architectures and Languages Europe (PARLE '89), vol II: Parallel Languages","author":"B Lisper","year":"1989","unstructured":"Lisper B: Single-assignment semantics for imperative programs. In: Odijk E, Rem M, Syre J-C (eds), Proc Parallel Architectures and Languages Europe (PARLE '89), vol II: Parallel Languages. Lect Notes Comput Sci, vol 366. Springer, Berlin Heidelberg New York 1989, pp 321\u2013334"},{"key":"BF02311229_CR30","unstructured":"McGraw JR: SISAL language reference manual, version 1.2. Manual M-146, Lawrence Livermore National Laboratory, University of California at Davis, March 1985"},{"issue":"1","key":"BF02311229_CR31","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1109\/TC.1986.1676652","volume":"35","author":"DI Moldovan","year":"1986","unstructured":"Moldovan DI, Fortes JAB: Partitioning and mapping algorithms into fixed-size systolic arrays. IEEE Trans Comput C-35(1):1\u201312 (1986)","journal-title":"IEEE Trans Comput C"},{"issue":"1","key":"BF02311229_CR32","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1109\/TCAD.1987.1270243","volume":"6","author":"DI Moldovan","year":"1987","unstructured":"Moldovan DI: ADVIS: a software package for the design of systolic arrays. IEEE Trans Comput-Aided Design CAD-6(1):33\u201340 (1987)","journal-title":"IEEE Trans Comput-Aided Design CAD"},{"key":"BF02311229_CR33","doi-asserted-by":"crossref","unstructured":"Quinton P: Automatic synthesis of systolic arrays from uniform recurrent equations. Proc 11th Ann Int Symp on Computer Architecture. IEEE Computer Society Press 1984, pp 208\u2013214","DOI":"10.1145\/800015.808184"},{"issue":"2","key":"BF02311229_CR34","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1007\/BF02477176","volume":"1","author":"P Quinton","year":"1989","unstructured":"Quinton P, van Dongen V: The mapping of linear recurrence equations on regular arrays. J VLSI Signal Processing 1(2):95\u2013113 (1989)","journal-title":"J VLSI Signal Processing"},{"key":"BF02311229_CR35","doi-asserted-by":"crossref","first-page":"88","DOI":"10.1007\/BF01558666","volume":"3","author":"SV Rajopadhye","year":"1989","unstructured":"Rajopadhye SV: Synthesizing systolic arrays with control signals from recurrence equations. Distrib Comput 3:88\u2013105 (1989)","journal-title":"Distrib Comput"},{"issue":"2","key":"BF02311229_CR36","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1016\/0167-8191(90)90105-I","volume":"14","author":"SV Rajopadhye","year":"1990","unstructured":"Rajopadhye SV, Fujimoto RM: Synthesizing systolic arrays from recurrence equations. Parallel Comput 14(2):163\u2013189 (1990)","journal-title":"Parallel Comput"},{"key":"BF02311229_CR37","unstructured":"Rao SK: Regular iterative algorithms and their implementations on processor arrays. Ph D Thesis, Department of Electrical Engineering, Stanford University, October 1985"},{"issue":"2","key":"BF02311229_CR38","first-page":"259","volume":"76","author":"SK Rao","year":"1988","unstructured":"Rao SK, Kailath T: Regular iterative algorithms and their implementations on processor arrays. Proc IEEE 76(2):259\u2013282 (1988)","journal-title":"Proc IEEE"},{"issue":"3","key":"BF02311229_CR39","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1007\/BF02309554","volume":"39","author":"Y Robert","year":"1987","unstructured":"Robert Y, Trystram D: An orthogonal systolic array for the algebraic path problem. Computing 39(3):187\u2013199 (1987)","journal-title":"Computing"},{"issue":"3","key":"BF02311229_CR40","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1007\/BF02253318","volume":"34","author":"G Rote","year":"1985","unstructured":"Rote G: A systolic array algorithm for the algebraic path problem (shortest paths; matrix inversion). J Comput 34(3):191\u2013219 (1985)","journal-title":"J Comput"},{"key":"BF02311229_CR41","doi-asserted-by":"crossref","unstructured":"Wong Y, Delosme J-M: Broadcast removal in systolic algorithms. In: Proc Int Conf on Systolic Arrays. IEEE Computer Society Press 1988, pp 403\u2013412","DOI":"10.1109\/ARRAYS.1988.18080"},{"key":"BF02311229_CR42","unstructured":"Wong Y, Delosme JM: Optimal systolic implementations of N-dimensional recurrences. Proc IEEE Int Conf on Computer Design (ICCD 85), IEEE Press 1985, pp 618\u2013621. Also: Tech Rep 8810, Department of Computer Science, Yale University, April 1988"},{"key":"BF02311229_CR43","unstructured":"Xue J, Lengauer C: On one-dimensional systolic arrays. Proc Int Workshop on Formal Methods in VLSI Design, Miami, Florida, January 1991 (to appear) Full paper: Tech Rep ECS-LFCS-90-116, Department of Computer Science, University of Edinburgh, July 1990"},{"key":"BF02311229_CR44","series-title":"Annals of Discrete Mathematics","volume-title":"Linear and combinatorial optimization in ordered algebraic structures","author":"U Zimmermann","year":"1981","unstructured":"Zimmermann U: Linear and combinatorial optimization in ordered algebraic structures. Annals of Discrete Mathematics 10, North-Holland, Amsterdam 1981, Chap. 8"}],"container-title":["Distributed Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02311229.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02311229\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02311229","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,7]],"date-time":"2025-01-07T19:37:57Z","timestamp":1736278677000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02311229"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991,6]]},"references-count":44,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1991,6]]}},"alternative-id":["BF02311229"],"URL":"https:\/\/doi.org\/10.1007\/bf02311229","relation":{},"ISSN":["0178-2770","1432-0452"],"issn-type":[{"type":"print","value":"0178-2770"},{"type":"electronic","value":"1432-0452"}],"subject":[],"published":{"date-parts":[[1991,6]]}}}