{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:01:20Z","timestamp":1725663680570},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540512851"},{"type":"electronic","value":"9783540461845"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1989]]},"DOI":"10.1007\/3-540-51285-3_45","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T20:51:36Z","timestamp":1330203096000},"page":"253-272","source":"Crossref","is-referenced-by-count":7,"title":["Towards systolizing compilation: An overview"],"prefix":"10.1007","author":[{"given":"Christian","family":"Lengauer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"17_CR1","unstructured":"Ametek Computer Research Division, \u201cSeries 2010 System, General Description\u201d, Issue 3, Ametek, Inc., Apr. 1988."},{"issue":"4","key":"17_CR2","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, \u201cA Parallel Language and Its Compilation to Multiprocessor Machines\u201d, J. Parallel and Distributed Computing 3, 4 (Dec. 1986), 461\u2013491.","journal-title":"J. Parallel and Distributed Computing"},{"key":"17_CR3","unstructured":"M. C. Chen, \u201cPlacement and Interconnection of Systolic Processing Elements: A New LU-Decomposition Algorithm\u201d, Research Report YALEU\/DCS\/RR-498, Department of Computer Science, Yale University, Oct. 1986."},{"key":"17_CR4","unstructured":"B. R. Engstrom and P. R. Cappello, \u201cThe SDEF Systolic Programming System\u201d, Proc. 1987 Int. Conf. on Parallel Processing, S. Sahni (ed.), The Pennsylvania State University Press, 1987, 645\u2013652; full paper: TRCS87-15, Department of Computer Science, UC Santa Barbara, Aug. 1987; to appear in J. Parallel and Distributed Computing (Aug. 1989)."},{"key":"17_CR5","unstructured":"T. Gross, M. Lam and J. Reinders, \u201cProgramming Warp in W2\u201d, Department of Computer Science, Carnegie-Mellon University."},{"issue":"8","key":"17_CR6","doi-asserted-by":"crossref","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"C. A. R. Hoare","year":"1978","unstructured":"C. A. R. Hoare, \u201cCommunicating Sequential Processes\u201d Comm. ACM 21, 8 (Aug. 1978), 666\u2013677.","journal-title":"Comm. ACM"},{"key":"17_CR7","unstructured":"C.-H. Huang, \u201cThe Mechanically Certified Derivation of Concurrency and its Application to Systolic Design\u201d, Ph. D. Thesis, Department of Computer Sciences, The University of Texas at Austin, Aug. 1987."},{"issue":"6","key":"17_CR8","first-page":"595","volume":"24","author":"C.-H. Huang","year":"1987","unstructured":"C.-H. Huang and C. Lengauer, \u201cThe Derivation of Systolic Implementations of Programs\u201d, Acta Informatica 24, 6 (Nov. 1987), 595\u2013632.","journal-title":"Acta Informatica"},{"key":"17_CR9","unstructured":"C.-H. Huang and C. Lengauer, \u201cMechanically Derived Systolic Solutions to the Algebraic Path Problem\u201d, in VLSI and Computers (CompEuro 87), W. E. Proebster and H. Reiner (eds.), IEEE Computer Society Press, 1987, 307\u2013310; full paper: TR-86-28, Department of Computer Sciences, The University of Texas at Austin, Dec. 1986."},{"key":"17_CR10","unstructured":"D. G. Hudson and C. Lengauer, \u201cA Systolic Program for Gauss-Jordan Elimination\u201d, Tech. Report, Department of Computer Sciences, The University of Texas at Austin, in preparation."},{"key":"17_CR11","unstructured":"INMOS, Ltd., occam Programming Manual, Prentice\/Hall Int., Series in Computer Science, 1984."},{"key":"17_CR12","unstructured":"INMOS, Ltd., Transputer Reference Manual, Prentice Hall, 1988."},{"key":"17_CR13","unstructured":"H. T. Kung and C. E. Leiserson, \u201cAlgorithms for VLSI Processor Arrays\u201d, in Introduction to VLSI Systems, C. Mead and L. Conway (eds.), Addison-Wesley, 1980, Sect. 8.3."},{"key":"17_CR14","first-page":"1523","volume":"12","author":"H. T. Kung","year":"1987","unstructured":"H. T. Kung et al., \u201cThe Warp Computer: Architecture, Implementation, and Performance\u201d, IEEE Trans. on Computers C-36, 12 (Dec. 1987), 1523\u20131538.","journal-title":"IEEE Trans. on Computers C-36"},{"key":"17_CR15","doi-asserted-by":"crossref","unstructured":"M. Lam, \u201cA Systolic Array Optimizing Compiler\u201d, Ph. D. Thesis, Department of Computer Science, Carnegie-Mellon University, May 1987.","DOI":"10.1007\/978-1-4613-1705-0"},{"key":"17_CR16","unstructured":"P. Lee, Z. Kedem, \u201cSynthesizing Linear Array Algorithms from Nested for Loop Algorithms\u201d, Tech. Report 355, Department of Computer Science, Courant Institute of Mathematical Sciences, New York University, Mar. 1988"},{"issue":"1","key":"17_CR17","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1016\/0167-6423(82)90003-X","volume":"2","author":"C. Lengauer","year":"1982","unstructured":"C. Lengauer, \u201cA Methodology for Programming with Concurrency: The Formalism\u201d, Science of Computer Programming 2, 1 (Oct. 1982), 19\u201352.","journal-title":"Science of Computer Programming"},{"key":"17_CR18","unstructured":"C. Lengauer, \u201cOn the Projection Problem in Systolic Design\u201d, Tech. Report CMU-CS-88-102, Computer Science Department, Carnegie-Mellon University, Feb. 1988."},{"key":"17_CR19","doi-asserted-by":"crossref","unstructured":"C. Lengauer and J. Sanders, \u201cThe Projection of Systolic Programs\u201d, Proc. Conference on Mathematics of Program Construction, June 1989, to appear as Springer-Verlag Lecture Notes of Computer Science.","DOI":"10.1007\/3-540-51305-1_18"},{"key":"17_CR20","unstructured":"P. J. Lieu, Personal communication, Department of Computer Science, Carnegie-Mellon University, Nov. 1987."},{"key":"17_CR21","unstructured":"J. R. McGraw et al., \u201cSISAL Language Reference Manual, Version 1.2\u201d, Manual M-146, Lawrence Livermore National Laboratory, University of California at Davis, Mar. 1985."},{"issue":"1","key":"17_CR22","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, \u201cPartitioning and Mapping Algorithms into Fixed-Size Systolic Arrays\u201d, IEEE Trans. on Computers C-35, 1 (Jan. 1986), 1\u201312.","journal-title":"IEEE Trans. on Computers"},{"issue":"1","key":"17_CR23","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1109\/TCAD.1987.1270243","volume":"CAD-6","author":"D.I. Moldovan","year":"1987","unstructured":"D.I. Moldovan, \u201cADVIS: A Software Package for the Design of Systolic Arrays\u201d, IEEE Trans. on Computer-Aided Design CAD-6, 1 (Jan. 1987), 33\u201340.","journal-title":"IEEE Trans. on Computer-Aided Design"},{"key":"17_CR24","unstructured":"P. Quinton, \u201cThe Systematic Design of Systolic Arrays\u201d, Tech. Report 193, Publication Interne IRISA, Apr. 1983; also: TR84-11, The Microelectronics Center of North Carolina, May 1984."},{"key":"17_CR25","unstructured":"P. Quinton et al., \u201cDesigning Systolic Arrays with DIASTOL\u201d, in VLSI Signal Processing II, S.-Y. Kung, R. E. Owen, and J. G. Nash (eds.), IEEE Press, 1986, 93\u2013105."},{"key":"17_CR26","unstructured":"P. Quinton et al., \u201cSynthesizing Systolic Arrays Using DIASTOL\u201d, in Systolic Arrays, W. Moore, A. McCabe, and R. Urquart (eds.), Adam Hilger, 1987, 25\u201336."},{"key":"17_CR27","unstructured":"P. Quinton, \u201cMapping Recurrences on Parallel Architectures\u201d, in Supercomputing '88 (ICS 88), Vol. III: Supercomputer Design: Hardware & Software, L. P. Kartashev and S. I. Kartashev (eds.), Int. Supercomputing Institute, Inc., 1988, 1\u20138."},{"key":"17_CR28","unstructured":"S. K. Rao, \u201cRegular Iterative Algorithms and their Implementations on Processor Arrays\u201d, Ph. D. Thesis, Department of Electrical Engineering, Stanford University, Oct. 1985."}],"container-title":["Lecture Notes in Computer Science","PARLE '89 Parallel Architectures and Languages Europe"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-51285-3_45.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T02:50:55Z","timestamp":1640919055000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-51285-3_45"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989]]},"ISBN":["9783540512851","9783540461845"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/3-540-51285-3_45","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1989]]}}}