{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:57:04Z","timestamp":1725663424365},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540179436"},{"type":"electronic","value":"9783540471448"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1987]]},"DOI":"10.1007\/3-540-17943-7_127","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T19:19:01Z","timestamp":1330197541000},"page":"160-177","source":"Crossref","is-referenced-by-count":3,"title":["An implemented method for incremental systolic design"],"prefix":"10.1007","author":[{"given":"Chua-Huang","family":"Huang","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":[{"unstructured":"Boyer, R. S., and Moore, J S. A Computational Logic. ACM Monograph Series, Academic Press, 1979.","key":"11_CR1"},{"doi-asserted-by":"crossref","unstructured":"Cappello, P. R., and Steiglitz, K. Unifying VLSI Array Design with Linear Transformations of Space-time. In Advances in Computing Research, Vol. 2: VLSI Theory, F. P. Preparata, Ed., JAI Press Inc., 1984, pp. 23\u201365.","key":"11_CR2","DOI":"10.1117\/12.944011"},{"doi-asserted-by":"crossref","unstructured":"Chandy, M. Concurrent Programming for the Masses. Proc. 4th Ann. ACM Symp. on Principles of Distributed Computing, 1985, pp. 1\u201312.","key":"11_CR3","DOI":"10.1145\/323596.323597"},{"issue":"3","key":"11_CR4","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1007\/BF01661171","volume":"1","author":"K. M. Chandy","year":"1986","unstructured":"Chandy, K. M., and Misra, J. \"Systolic Algorithms as Programs\". Distributed Computing 1, 3 (1986), 177\u2013183.","journal-title":"Distributed Computing"},{"unstructured":"Chen, M. C. Synthesizing Systolic Designs. YALEU\/DCS\/RR-374, Department of Computer Science, Yale University, Mar., 1985.","key":"11_CR5"},{"doi-asserted-by":"crossref","unstructured":"Chen, M. C. A Parallel Language and Its Compilation to Multiprocessor Machines or VLSI. Proc. 13th Ann. ACM Symp. on Principles of Programming Languages, 1986, pp. 131\u2013139.","key":"11_CR6","DOI":"10.1145\/512644.512656"},{"unstructured":"Delosme, J.-M., and Ipsen, I. Overview over SAGA and CONDENSE. Yale University, Jan., 1987.","key":"11_CR7"},{"issue":"3","key":"11_CR8","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1016\/0743-7315(85)90029-2","volume":"2","author":"J. A. B. Fortes","year":"1985","unstructured":"Fortes, J. A. B., and Moldovan, D.I. \"Parallelism Detection and Transformation Techniques for VLSI Algorithms\". Journal of Parallel and Distributed Computing 2, 3 (Aug. 1985), 277\u2013301.","journal-title":"Journal of Parallel and Distributed Computing"},{"doi-asserted-by":"crossref","unstructured":"Huang, C.-H., and Lengauer, C. The Derivation of Systolic Implementations of Programs. TR-86-10, Department of Computer Sciences, The University of Texas at Austin, Apr., 1986. Revised: Jan., 1987. To appear in Acta Informatica.","key":"11_CR9","DOI":"10.1007\/BF00282618"},{"unstructured":"Huang, C.-H., and Lengauer, C. An Incremental, Mechanical Development of Systolic Solutions to the Algebraic Path Problem. TR-86-28, Department of Computer Sciences, The University of Texas at Austin, Dec., 1986.","key":"11_CR10"},{"unstructured":"Kung, H. T., and Leiserson, C. E. Algorithms for VLSI Processor Arrays. In Introduction to VLSI Systems, C. Mead and L. Conway, Eds., Addison-Wesley, 1980. Sect. 8.3.","key":"11_CR11"},{"issue":"2","key":"11_CR12","doi-asserted-by":"crossref","first-page":"42","DOI":"10.1109\/MC.1985.1662798","volume":"18","author":"M. S. Lam","year":"1985","unstructured":"Lam, M. S., and Mostow, J. \"A Transformational Model of VLSI Systolic Design\". Computer 18, 2 (Feb. 1985), 42\u201352.","journal-title":"Computer"},{"issue":"1","key":"11_CR13","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0167-6423(82)90002-8","volume":"2","author":"C. Lengauer","year":"1982","unstructured":"Lengauer, C., and Hehner, E. C. R. \"A Methodology for Programming with Concurrency: An Informal Presentation\". Science of Computer Programming 2, 1 (Oct. 1982), 1\u201318.","journal-title":"Science of Computer Programming"},{"issue":"1","key":"11_CR14","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\". Science of Computer Programming 2, 1 (Oct. 1982), 19\u201352.","journal-title":"Science of Computer Programming"},{"doi-asserted-by":"crossref","unstructured":"Lengauer, C., and Huang, C.-H. A Mechanically Certified Theorem about Optimal Concurrency of Sorting Networks. Proc. 13th Ann. ACM Symp. on Principles of Programming Languages, 1986, pp. 307\u2013317.","key":"11_CR15","DOI":"10.1145\/512644.512673"},{"issue":"1","key":"11_CR16","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1109\/TC.1985.1676516","volume":"C-34","author":"G.-H. Li","year":"1985","unstructured":"Li, G.-H., and Wah, B. W. \"The Design of Optimal Systolic Arrays\". IEEE Trans. on Computers C-34, 1 (Jan. 1985), 66\u201377.","journal-title":"IEEE Trans. on Computers"},{"issue":"2","key":"11_CR17","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1007\/BF02253685","volume":"32","author":"W. L. Miranker","year":"1984","unstructured":"Miranker, W. L., and Winkler, A. \"Spacetime Representations of Computational Structures\". Computing 32, 2 (1984), 93\u2013114.","journal-title":"Computing"},{"issue":"1","key":"11_CR18","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1109\/PROC.1983.12532","volume":"71","author":"D. I. Moldovan","year":"1983","unstructured":"Moldovan, D. I. \"On the Design of Algorithms for VLSI Systolic Arrays\". Proc. IEEE 71, 1 (Jan. 1983), 113\u2013120.","journal-title":"Proc. IEEE"},{"issue":"1","key":"11_CR19","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1109\/TC.1986.1676652","volume":"C-35","author":"D. I. Moldovan","year":"1986","unstructured":"Moldovan, D. I., and Fortes, J. A. B. \"Partitioning and Mapping Algorithms into Fixed Size Systolic Arrays\". IEEE Trans. on Computers C-35, 1 (Jan. 1986), 1\u201312.","journal-title":"IEEE Trans. on Computers"},{"doi-asserted-by":"crossref","unstructured":"Quinton, P. Automatic Synthesis of Systolic Arrays from Uniform Recurrent Equations. Proc. 11th Ann. Int. Symp. on Computer Architecture, 1984, pp. 208\u2013214.","key":"11_CR20","DOI":"10.1145\/800015.808184"},{"issue":"3","key":"11_CR21","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)\". Computing 34, 3 (1985), 191\u2013219.","journal-title":"Computing"},{"unstructured":"van de Snepscheut, J. L. A. A Derivation of a Distributed Implementation of Warshall's Algorithm (JAN-113a). CS 8505, Dept. of Mathematics and Computing Science, University of Groningen, 1985.","key":"11_CR22"},{"doi-asserted-by":"crossref","unstructured":"Weiser, U., and Davis, A. A Wavefront Notation Tool for VLSI Array Design. In VLSI Systems and Computations, H. T. Kung, B. Sproull, and G. Steele, Eds., Computer Science Press, 1981, pp. 226\u2013234.","key":"11_CR23","DOI":"10.1007\/978-3-642-68402-9_25"}],"container-title":["Lecture Notes in Computer Science","PARLE Parallel Architectures and Languages Europe"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-17943-7_127.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:13:31Z","timestamp":1605644011000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-17943-7_127"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987]]},"ISBN":["9783540179436","9783540471448"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/3-540-17943-7_127","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1987]]}}}