{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T16:48:44Z","timestamp":1725641324641},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540532132"},{"type":"electronic","value":"9783642761195"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1990]]},"DOI":"10.1007\/978-3-642-76119-5_56","type":"book-chapter","created":{"date-parts":[[2011,12,7]],"date-time":"2011-12-07T20:49:44Z","timestamp":1323290984000},"page":"527-536","source":"Crossref","is-referenced-by-count":0,"title":["Wie kann man imperative Programme auf eine Systolisierung vorbereiten?"],"prefix":"10.1007","author":[{"given":"Christian","family":"Lengauer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"56_CR1","series-title":"Series in Computer Science","volume-title":"Program Construction and Verification","author":"RC Backhouse","year":"1986","unstructured":"R. C. Backhouse, Program Construction and Verification, Series in Computer Science, Prentice-Hall Int., 1986."},{"issue":"2","key":"56_CR2","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1016\/0167-739X(88)90012-X","volume":"4","author":"J-P Banatre","year":"1988","unstructured":"J.-P. Banatre, A. Coutant and D. Le Metayer, \u201cA Parallel Machine for Multiset Transformation and Its Programming Style\u201d, Future Generation Computer Systems 4, 2 (Sept. 1988), 133\u2013144.","journal-title":"Future Generation Computer Systems"},{"key":"56_CR3","volume-title":"Parallel Program Design","author":"KM Chandy","year":"1988","unstructured":"K. M. Chandy and J. Misra, Parallel Program Design, Addison-Wesley, 1988."},{"key":"56_CR4","series-title":"Series in Automatic Computation","volume-title":"A Discipline of Programming","author":"EW Dijkstra","year":"1976","unstructured":"E. W. Dijkstra, A Discipline of Programming, Series in Automatic Computation, Prentice-Hall, 1976."},{"key":"56_CR5","doi-asserted-by":"crossref","first-page":"473","DOI":"10.1109\/ARRAYS.1988.18084","volume-title":"Proc. Int. Conf. on Systolic Arrays","author":"V Dongen van","year":"1988","unstructured":"V. van Dongen and P. Quinton, \u201cUniformization of Linear Recurrence Equations: A Step Towards the Automatic Synthesis of Systolic Arrays\u201d, Proc. Int. Conf. on Systolic Arrays, K. Bromley, S.-Y. Kung and E. Swartzlander (eds.), IEEE Computer Society, 1988, 473\u2013482."},{"issue":"2","key":"56_CR6","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1016\/0743-7315(89)90018-X","volume":"7","author":"BR Engstrom","year":"1989","unstructured":"B. R. Engstrom and P. R. Cappello, \u201cThe SDEF Systolic Programming System\u201d, J. Parallel and Distributed Computing 7, 2 (Oct. 1989), 201\u2013231.","journal-title":"J. Parallel and Distributed Computing"},{"key":"56_CR7","volume-title":"Computer Architecture \u2014 Concepts and Systems","author":"JAB Fortes","year":"1988","unstructured":"J. A. B. Fortes, K.-S. Fu and B. W. Wah, \u201cSystematic Design Approaches for Algorithmically Specified Systolic Arrays\u201d, in Computer Architecture \u2014 Concepts and Systems, V. M. Milutinovic (ed.), North-HoUand, 1988, Chap. 11."},{"key":"56_CR8","first-page":"93","volume-title":"VLSI Signal Processing II","author":"P Frison","year":"1986","unstructured":"P. Frison, P. Gachet and P. Quinton, \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":"56_CR9","series-title":"Texts and Monographs in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-5983-1","volume-title":"The Science of Programming","author":"D Gries","year":"1981","unstructured":"D. Gries, The Science of Programming, Texts and Monographs in Computer Science, Springer-Verlag, 1981."},{"key":"56_CR10","series-title":"Series in Computer Science","volume-title":"The Logic of Programming","author":"ECR Hehner","year":"1984","unstructured":"E. C. R. Hehner, The Logic of Programming, Series in Computer Science, Prentice-Hall Int., 1984."},{"key":"56_CR11","volume-title":"Ph. D. Thesis","author":"C-H Huang","year":"1987","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":"56_CR12","doi-asserted-by":"publisher","first-page":"595","DOI":"10.1007\/BF00282618","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"},{"issue":"2","key":"56_CR13","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/BF00265150","volume":"21","author":"C-H Huang","year":"1989","unstructured":"C.-H. Huang and C. Lengauer, \u201cAn Incremental Mechanical Development of Systolic Solutions to the Algebraic Path Problem\u201d, Acta Informatica 21, 2 (Nov. 1989), 97\u2013124.","journal-title":"Acta Informatica"},{"key":"56_CR14","volume-title":"Introduction to VLSI Systems","author":"HT Kung","year":"1980","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":"56_CR15","first-page":"1578","volume":"12","author":"P Lee","year":"1988","unstructured":"P. Lee, Z. Kedem, \u201cSynthesizing Linear Array Algorithms from Nested for Loop Algorithms\u201d, IEEE Trans. on Computers TC-37, 12 (Dec. 1988), 1578\u20131598.","journal-title":"IEEE Trans. on Computers TC-37"},{"key":"56_CR16","series-title":"Vol. II: Parallel Languages, Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1007\/3-540-51285-3_45","volume-title":"Proc. Parallel Architectures and Languages Europe (PARLE \u201889)","author":"C Lengauer","year":"1989","unstructured":"C. Lengauer, \u201cTowards Systolizing Compilation: An Overview\u201d, Proc. Parallel Architectures and Languages Europe (PARLE \u201889), E. Odijk, M. Rem and J.-C. Syre (eds.), Vol. II: Parallel Languages, Lecture Notes in Computer Science 366, Springer-Verlag, 1989, 253\u2013272."},{"issue":"3","key":"56_CR17","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1002\/spe.4380200304","volume":"20","author":"C Lengauer","year":"1990","unstructured":"C. Lengauer, \u201cCode Generation for a Systolic Computer\u201d, Software\u2014Practice & Experience 20, 3 (Mar. 1990), 261\u2013282.","journal-title":"Software\u2014Practice & Experience"},{"key":"56_CR18","series-title":"Texts and Monographs in Computer Science","volume-title":"Beauty is our Business","author":"C Lengauer","year":"1990","unstructured":"C. Lengauer and D. G. Hudson, \u201cA Systolic Program for Gauss-Jordan Elimination\u201d, in Beauty is our Business, W. H. J. Feijen, A. J. M. van Gasteren, D. Gries and J. Misra (eds.), Texts and Monographs in Computer Science, Springer-Verlag, 1990, Chap. 6."},{"key":"56_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"90","DOI":"10.1007\/0-387-97226-9_25","volume-title":"Proc. Workshop on Hardware Specification, Verification and Synthesis: Mathematical Aspects","author":"C Lengauer","year":"1990","unstructured":"C. Lengauer, B. Sabata and F. Arman, \u201cA Mechanically Derived Systolic Implementation of Pyramid Initialization\u201d, Proc. Workshop on Hardware Specification, Verification and Synthesis: Mathematical Aspects, G. Brown and M. Leeser (eds.), Lecture Notes in Computer Science 406, Springer-Verlag, 1990, 90\u2013105."},{"key":"56_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"307","DOI":"10.1007\/3-540-51305-1_18","volume-title":"Proc. Mathematics of Program Construction","author":"C Lengauer","year":"1989","unstructured":"C. Lengauer and J. W. Sanders, \u201cThe Projection of Systolic Programs\u201d, Proc. Mathematics of Program Construction, J. L. A. van de Snepscheut (ed.), Lecture Notes in Computer Science 375, Springer-Verlag, 1989, 307\u2013324."},{"key":"56_CR21","series-title":"Tech. Report ECS-LFCS-90-114","volume-title":"A Systolic Array for Pyramidal Algorithms","author":"C Lengauer","year":"1990","unstructured":"C. Lengauer and J. Xue, \u201cA Systolic Array for Pyramidal Algorithms\u201d, Tech. Report ECS-LFCS-90-114, Department of Computer Science, University of Edinburgh, May 1990."},{"issue":"2","key":"56_CR22","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1007\/BF02477176","volume":"1","author":"P Quinton","year":"1989","unstructured":"P. Quinton and V. van Dongen, \u201cThe Mapping of Linear Recurrence Equations on Regular Arrays\u201d, J. VLSI Signal Processing 1, 2 (Oct. 1989), 95\u2013113.","journal-title":"J. VLSI Signal Processing"},{"key":"56_CR23","volume-title":"Ph. D. Thesis","author":"SK Rao","year":"1985","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."},{"issue":"3","key":"56_CR24","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1007\/BF02309554","volume":"39","author":"Y Robert","year":"1987","unstructured":"Y. Robert and D. Trystram, \u201cAn Orthogonal Systolic Array for the Algebraic Path Problem\u201d, Computing 39, 3 (1987), 187\u2013199.","journal-title":"Computing"},{"issue":"3","key":"56_CR25","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/BF02253318","volume":"34","author":"G Rote","year":"1985","unstructured":"G. Rote, \u201cA Systolic Array Algorithm for the Algebraic Path Problem (Shortest Paths; Matrix Inversion)\u201d, J. Computing 34, 3 (1985), 191\u2013219.","journal-title":"J. Computing"}],"container-title":["Informatik-Fachberichte","GI \u2014 20. Jahrestagung II"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-76119-5_56.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T21:36:34Z","timestamp":1606253794000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-76119-5_56"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990]]},"ISBN":["9783540532132","9783642761195"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-76119-5_56","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1990]]}}}