{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:08:45Z","timestamp":1725664125054},"publisher-location":"Berlin, Heidelberg","reference-count":40,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540568834"},{"type":"electronic","value":"9783540477761"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-56883-2_17","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T11:47:46Z","timestamp":1330256866000},"page":"374-398","source":"Crossref","is-referenced-by-count":1,"title":["A systolizing compilation scheme for nested loops with linear bounds"],"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,5,29]]},"reference":[{"key":"17_CR1","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 Int., Dec. 1990."},{"issue":"12","key":"17_CR2","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 Transactions on Computers, C-36(12):1523\u20131538, Dec. 1987.","journal-title":"IEEE Transactions on Computers"},{"key":"17_CR3","unstructured":"M. Barnett. A Systolizing Compiler. PhD thesis, Department of Computer Sciences, The University of Texas at Austin, Mar. 1992. Technical Report TR-92-13."},{"key":"17_CR4","doi-asserted-by":"crossref","unstructured":"M. Barnett and C. Lengauer. The synthesis of systolic programs. In J.-P. Ban\u00e2tre and D. Le M\u00e9tayer, editors, Research Directions in High-Level Parallel Programming Languages, Lecture Notes in Computer Science 574, pages 309\u2013325. Springer-Verlag, 1992.","DOI":"10.1007\/3-540-55160-3_52"},{"key":"17_CR5","doi-asserted-by":"crossref","unstructured":"M. Barnett and C. Lengauer. Unimodularity considered non-essential (extended abstract). In M. Cosnard, editor, CONPAR 92, Lecture Notes in Computer Science. Springer-Verlag, 1992. To appear.","DOI":"10.1007\/3-540-55895-0_467"},{"key":"17_CR6","doi-asserted-by":"crossref","unstructured":"B. Baxter, G. Cox, T. Gross, H. T. Kung, D. O'Hallaron, C. Peterson, J. Webb, and P. Wiley. Building blocks for a new generation of application-specific computing systems. In S. Y. Kung and E. E. Swartzlander, editors, Application Specific Array Processors, pages 190\u2013201. IEEE Computer Society Press, 1990.","DOI":"10.1109\/ASAP.1990.145456"},{"issue":"1","key":"17_CR7","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1016\/0167-8191(90)90044-A","volume":"15","author":"A. Benaini","year":"1990","unstructured":"A. Benaini and Y. Robert. Spacetime-minimal systolic architectures for Gaussian elimination and the algebraic path problem. Parallel Computing, 15(1):211\u2013226, 1990.","journal-title":"Parallel Computing"},{"key":"17_CR8","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 IEEE Int. Conf. on Acoustics, Speech, and Signal Processing (ICASSP 88), volume IV: VLSI; Spectral Estimation, pages 2025\u20132028. IEEE Press, 1988.","DOI":"10.1109\/ICASSP.1988.197025"},{"key":"17_CR9","doi-asserted-by":"crossref","unstructured":"Ph. Clauss, C. Mongenet, and G. R. Perrin. Calculus of space-optimal mappings of systolic algorithms on processor arrays. In S. Y. Kung and E. E. Swartzlander, editors, Application Specific Array Processors, pages 4\u201318. IEEE Computer Society, 1990.","DOI":"10.1109\/ASAP.1990.145438"},{"key":"17_CR10","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":"17_CR11","doi-asserted-by":"crossref","unstructured":"B. R. Engstrom and P. R. Cappello. The SDEF programming system. Journal of Parallel and Distributed Computing, pages 201\u2013231, 1989.","DOI":"10.1016\/0743-7315(89)90018-X"},{"key":"17_CR12","unstructured":"H. A. Fencl and C. H. Huang. On the synthesis of programs for various parallel architectures. In Proc. 1991 Int. Conf. on Parallel Processing, Vol. II, pages 202\u2013206. Pennsylvania State University Press, 1991."},{"key":"17_CR13","unstructured":"A. Fern\u00e1ndez, J. M. Llaber\u00eda, and J. J. Navarro. On the use of systolic algorithms for programming distributed memory multiprocessors. In J. McCanny, J. McWhirter, and E. Swartzlander Jr., editors, Systolic Array Processors, pages 631\u2013640. Prentice-Hall Inc., 1989."},{"key":"17_CR14","unstructured":"G. Hadley. Linear Algebra. Series in Industrial Management. Addison-Wesley, 1961."},{"issue":"6","key":"17_CR15","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":"17_CR16","unstructured":"INMOS Ltd. occam Programming Manual. Series in Computer Science. Prentice-Hall Inc., 1984."},{"key":"17_CR17","unstructured":"INMOS Ltd. occam 2 Reference Manual. Series in Computer Science. Prentice-Hall Inc., 1988."},{"key":"17_CR18","unstructured":"INMOS Ltd. transputer Reference Manual Prentice-Hall Inc., 1988."},{"key":"17_CR19","unstructured":"INMOS Ltd. The T9000 transputer \u00b7 Products Overview \u00b7 Manual. SGS-Thompson Microelectronics Group, first edition, 1991."},{"issue":"9","key":"17_CR20","doi-asserted-by":"crossref","first-page":"1304","DOI":"10.1109\/PROC.1987.13882","volume":"75","author":"H. V. Jagadish","year":"1987","unstructured":"H. V. Jagadish, S. K. Rao, and T. Kailath. Array architectures for iterative algorithms. Proc. IEEE, 75(9):1304\u20131320, Sept. 1987.","journal-title":"Proc. IEEE"},{"issue":"3","key":"17_CR21","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. Journal of the Association for Computing Machinery, 14(3):563\u2013590, July 1967.","journal-title":"Journal of the Association for Computing Machinery"},{"key":"17_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. Addison-Wesley, 1980."},{"key":"17_CR23","unstructured":"S.-Y. Kung. VLSI Array Processors. Prentice-Hall Inc., 1988."},{"key":"17_CR24","unstructured":"S. Lay. Convex Sets and Their Applications. Series in Pure and Applied Mathematics. John Wiley & Sons, 1982."},{"key":"17_CR25","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1007\/BF00925828","volume":"3","author":"H. Verge Le","year":"1991","unstructured":"H. Le Verge, C. Mauras, and P. Quinton. The ALPHA language and its use for the design of systolic arrays. Journal of VLSI Signal Processing, 3:173\u2013182, 1991.","journal-title":"Journal of VLSI Signal Processing"},{"key":"17_CR26","doi-asserted-by":"crossref","unstructured":"H. Le Verge and P. Quinton. The palindrome systolic array revisited. In J.-P. Ban\u00e2tre and D. Le M\u00e9tayer, editors, Research Directions in High-Level Parallel Programming Languages, Lecture Notes in Computer Science 574, pages 298\u2013308. Springer-Verlag, 1992.","DOI":"10.1007\/3-540-55160-3_51"},{"issue":"12","key":"17_CR27","first-page":"1578","volume":"TC-37","author":"P. Lee","year":"1988","unstructured":"P. Lee and Z. Kedem. Synthesizing linear array algorithms from nested for loop algorithms. IEEE Transactions on Computers, TC-37(12):1578\u20131598, Dec. 1988.","journal-title":"IEEE Transactions on Computers"},{"issue":"1","key":"17_CR28","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"},{"key":"17_CR29","unstructured":"L.-C. Lu and M. Chen. New loop transformation techniques for massive parallelism. Technical Report YALEU\/DCS\/TR-833, Yale University, Oct. 1990."},{"key":"17_CR30","unstructured":"D. D. Prest. Translation of abstract distributed programs to occam 2. 4th-Year Report, Department of Computer Science, University of Edinburgh, May 1992."},{"key":"17_CR31","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":"17_CR32","unstructured":"S. K. Rao. Regular Iterative Algorithms and their Implementations on Processor Arrays. PhD thesis, Stanford University, Oct. 1985."},{"issue":"2","key":"17_CR33","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(2):259\u2013282, Mar. 1988.","journal-title":"Proc. IEEE"},{"key":"17_CR34","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."},{"key":"17_CR35","unstructured":"C. E. Seitz. Multicomputers. In C. A. R. Hoare, editor, Developments in Concurrency and Communication, chapter 5, pages 131\u2013200. Addison-Wesley, 1990."},{"issue":"3","key":"17_CR36","doi-asserted-by":"crossref","first-page":"356","DOI":"10.1109\/71.80162","volume":"1","author":"Z. Shen","year":"1990","unstructured":"Z. Shen, Z. Li, and P.-C. Yew. An empirical study of FORTRAN programs for parallelizing compilers. IEEE Transactions on Parallel and Distributed Systems, 1(3):356\u2013364, July 1990.","journal-title":"IEEE Transactions on Parallel and Distributed Systems"},{"key":"17_CR37","doi-asserted-by":"crossref","unstructured":"T. Shimizu, T. Horie, and H. Ishihata. Low-latency message passing communication support for the AP1000. In Proc. 19th Ann. Int. Symp. on Computer Architecture, pages 288\u2013297. ACM Press, 1992.","DOI":"10.1145\/146628.140385"},{"key":"17_CR38","unstructured":"Thinking Machines Corporation. The Connection Machine CM-5, Technical Summary, Oct. 1991."},{"issue":"4","key":"17_CR39","doi-asserted-by":"crossref","first-page":"452","DOI":"10.1109\/71.97902","volume":"2","author":"M. Wolf","year":"1991","unstructured":"M. Wolf and M. Lam. A loop transformation theory and an algorithm to maximize parallelism. IEEE Transactions on Parallel and Distributed Systems, 2(4):452\u2013471, Oct. 1991.","journal-title":"IEEE Transactions on Parallel and Distributed Systems"},{"key":"17_CR40","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","Functional Programming, Concurrency, Simulation and Automated Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56883-2_17.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:06:39Z","timestamp":1605647199000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56883-2_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540568834","9783540477761"],"references-count":40,"URL":"https:\/\/doi.org\/10.1007\/3-540-56883-2_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}