{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,9,1]],"date-time":"2022-09-01T12:26:12Z","timestamp":1662035172617},"reference-count":16,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1989,1,1]],"date-time":"1989-01-01T00:00:00Z","timestamp":599616000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Acta Informatica"],"published-print":{"date-parts":[[1989]]},"DOI":"10.1007\/bf00265150","type":"journal-article","created":{"date-parts":[[2004,10,3]],"date-time":"2004-10-03T05:48:10Z","timestamp":1096782490000},"page":"97-124","source":"Crossref","is-referenced-by-count":7,"title":["An incremental mechanical development of systolic solutions to the Algebraic Path Problem"],"prefix":"10.1007","volume":"27","author":[{"given":"Chua-Huang","family":"Huang","sequence":"first","affiliation":[]},{"given":"Christian","family":"Lengauer","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"CR1","volume-title":"A computational logic. ACM Monograph Series","author":"R.S. Boyer","year":"1979","unstructured":"Boyer, R.S., Moore, J.S.: A computational logic. ACM Monograph Series. New York: Academic Press 1979"},{"key":"CR2","unstructured":"Frison, P., Gachet, P., Quinton, P.: Designing systolic arrays with DIASTOL. In: Kung, S.-Y., Owen, R.E., Nash, J.G. (eds.) VLSI signal processing II, pp. 93?105. IEEE Press 1986"},{"key":"CR3","unstructured":"Huang, C.-H., Lengauer, C.: An incremental mechanical development of systolic solutions to the algebraic path problem. Technical Report TR-86-28, Department of Computer Sciences, The University of Texas at Austin, 1986"},{"key":"CR4","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, 595?632 (1987)","journal-title":"Acta Inf."},{"key":"CR5","doi-asserted-by":"crossref","first-page":"563","DOI":"10.1145\/321406.321418","volume":"14","author":"R.M. Karp","year":"1967","unstructured":"Karp, R.M., Miller, R.E., Winograd, S.: The organization of computations for uniform recurrence equations. JACM 14, 563?590 (1967)","journal-title":"JACM"},{"key":"CR6","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., Hehner, E.C.R.: A methodology for programming with concurrency: an informal presentation. Sci. Comp. Program. 2, 1?18 (1982)","journal-title":"Sci. Comp. Program."},{"key":"CR7","doi-asserted-by":"crossref","unstructured":"Lengauer, C., Huang, C.-H.: A mechanically certified theorem about optimal concurrency of sorting networks. In: Proc. 13th Ann. ACM Symp. on Principles of Programming Languages, pp. 307?317 (1986)","DOI":"10.1145\/512644.512673"},{"key":"CR8","unstructured":"Lewis, P.S., Kung, S.Y.: Dependence graph based design of systolic arrays for the algebraic path problem. In: Etter, D.M. (ed.) Conference Record of 20th Asilomar Conference on Signals, Systems and Computers, pp. 13?18 (1986)"},{"key":"CR9","unstructured":"Quinton, P.: The systematic design of systolic arrays. Technical Report 193, Publication Interne IRISA 1983. Also: TR 84-11, The Microelectronics Center of North Carolina 1984"},{"key":"CR10","unstructured":"Quinton, P.: Mapping recurrences on parallel architectures. In: Supercomputing '88 (ICS 88) Vol. III: Supercomputing Design: Hardware and Software, pp. 1?8 (1988)"},{"key":"CR11","series-title":"Lect. Notes Comput. Sci.","first-page":"68","volume-title":"Automata Networks","author":"Y. Robert","year":"1986","unstructured":"Robert, Y.: Systolic algorithms for path-finding problems. In: Choffrut, C. (ed.) Automata Networks, pp. 68?81. Lect. Notes Comput. Sci. 316. Heidelberg New York Berlin: Springer 1986"},{"key":"CR12","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, 187?199 (1987)","journal-title":"Computing"},{"key":"CR13","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, 191?219 (1985)","journal-title":"Computing"},{"key":"CR14","series-title":"Lect. Notes Comput. Sci.","doi-asserted-by":"crossref","first-page":"70","DOI":"10.1007\/3-540-16766-8_7","volume-title":"VLSI Algorithms and Architectures","author":"G. Rote","year":"1986","unstructured":"Rote, G.: On the connection between hexagonal and unidirectional rectangular systolic arrays. In: VLSI Algorithms and Architectures, pp. 70?83. Lect. Notes Comput. Sci. 227. Heidelberg Berlin New York: Springer 1986"},{"key":"CR15","volume-title":"Workshop on Hardware Specification, Verification and Synthesis: Mathematical Aspects. Lect. Notes Comput. Sci.","author":"B. Sabata","year":"1989","unstructured":"Sabata, B., Arman, F., Lengauer, C: A mechanically derived systolic implementation of pyramidal algorithms. In: Workshop on Hardware Specification, Verification and Synthesis: Mathematical Aspects. Lect. Notes Comput. Sci. Heidelberg Berlin New York: Springer 1989 (to appear)"},{"key":"CR16","volume-title":"Linear and combinatorial optimization in ordered algebraic structure. Annals of Discrete Mathematics 10","author":"U. Zimmermann","year":"1981","unstructured":"Zimmermann, U.: Linear and combinatorial optimization in ordered algebraic structure. Annals of Discrete Mathematics 10. Amsterdam: North-Holland 1981"}],"container-title":["Acta Informatica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00265150.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00265150\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00265150","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,3]],"date-time":"2019-04-03T17:15:06Z","timestamp":1554311706000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00265150"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989]]},"references-count":16,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1989]]}},"alternative-id":["BF00265150"],"URL":"https:\/\/doi.org\/10.1007\/bf00265150","relation":{},"ISSN":["0001-5903","1432-0525"],"issn-type":[{"value":"0001-5903","type":"print"},{"value":"1432-0525","type":"electronic"}],"subject":[],"published":{"date-parts":[[1989]]}}}