{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,9,13]],"date-time":"2023-09-13T17:04:04Z","timestamp":1694624644556},"reference-count":17,"publisher":"Association for Computing Machinery (ACM)","issue":"1","license":[{"start":{"date-parts":[[1990,3,1]],"date-time":"1990-03-01T00:00:00Z","timestamp":636249600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Form. Asp. Comput."],"published-print":{"date-parts":[[1990,3]]},"abstract":"<jats:title>Abstract<\/jats:title>\n          <jats:p>A scheme is presented which transforms systolic programs with a two-dimensional structure to one dimension. The elementary steps of the transformation are justified by theorems in the theory of communicating sequential processes and the scheme is demonstrated with an example in occam: matrix composition\/decomposition.<\/jats:p>","DOI":"10.1007\/bf01888228","type":"journal-article","created":{"date-parts":[[2005,7,4]],"date-time":"2005-07-04T21:23:27Z","timestamp":1120512207000},"page":"273-293","source":"Crossref","is-referenced-by-count":3,"title":["The projection of systolic programs"],"prefix":"10.1145","volume":"2","author":[{"given":"C.","family":"Lengauer","sequence":"first","affiliation":[{"name":"Programming Research Group, Oxford University Computing Laboratory, 8-11 Keble Road, OX1 3QD, Oxford, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J. W.","family":"Sanders","sequence":"additional","affiliation":[{"name":"Programming Research Group, Oxford University Computing Laboratory, 8-11 Keble Road, OX1 3QD, Oxford, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","reference":[{"key":"e_1_2_1_2_1_2","doi-asserted-by":"crossref","unstructured":"Gross T. and Sussman A.: Mapping a Single-Assignment Language onto the Warp Systolic Array Proc. Functional Programming Languages and Computer Architecture G. Kahn (ed.) Lecture Notes in Computer Science 274 pp. 347\u2013363 Springer-Verlag 1987.","DOI":"10.1007\/3-540-18317-5_19"},{"key":"e_1_2_1_2_2_2","unstructured":"Hoare C. A. R.: Communicating Sequential Processes Series in Computer Science Prentice-Hall International 1985."},{"key":"e_1_2_1_2_3_2","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(87)90224-9"},{"key":"e_1_2_1_2_4_2","doi-asserted-by":"publisher","DOI":"10.5555\/35590.35591"},{"key":"e_1_2_1_2_5_2","unstructured":"INMOS Ltd.: Occam Programming Manual Series in Computer Science Prentice-Hall International; 1984."},{"key":"e_1_2_1_2_6_2","unstructured":"INMOS Ltd.: occam 2 Reference Manual Series in Computer Science Prentice-Hall International 1988."},{"key":"e_1_2_1_2_7_2","unstructured":"Jacob J. L.: On Shared Systems. D. Phil. Thesis Programming Research Group Oxford University Computing Laboratory 1987."},{"key":"e_1_2_1_2_8_2","unstructured":"Kung H. T. and Leiserson C. E.: Algorithms for VLSI Processor Arrays\u201d. In: Introduction to VLSI Systems C. Mead and L. Conway (eds) Sect. 8.3. Addison-Wesley 1980."},{"key":"e_1_2_1_2_9_2","unstructured":"Lam M.: A Systolic Array Optimizing Compiler. Tech. Rep. CMU-CS-87-187 Department of Computer Science Carnegie-Mellon University May 1987."},{"key":"e_1_2_1_2_10_2","doi-asserted-by":"crossref","first-page":"1578","DOI":"10.1109\/12.9735","article-title":"Synthesizing Linear Array Algorithms from Nested for Loop Algorithms","volume":"37","author":"Lee P.","year":"1988","journal-title":"IEEE Trans. on Computers"},{"key":"e_1_2_1_2_11_2","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380200304"},{"key":"e_1_2_1_2_12_2","doi-asserted-by":"crossref","unstructured":"Lengauer C. Barnett M. and Hudson D. G.: Towards Systolizing Compilation. Distributed Computing (to appear). Preliminary version: Proc. Parallel Architectures and Languages Europe (PARLE '89) Vol II: Parallel Languages E. Odijk M. Rem and J.-C. Syre (eds) Lecture Notes in Computer Science 366 pp. 253\u2013272 Springer-Verlag 1989.","DOI":"10.1007\/3-540-51285-3_45"},{"key":"e_1_2_1_2_13_2","doi-asserted-by":"crossref","unstructured":"Lengauer C. Sabata B. and Arman F.: A Mechanically Derived Systolic Implementation of Pyramid Initialization. Proc. Hardware Specification Verification and Synthesis: Mathematical Aspects G. Brown and M. Leeser (eds) Lecture Notes in Computer Science 408 pp. 90\u2013105 Springer-Verlag 1990.","DOI":"10.1007\/0-387-97226-9_25"},{"key":"e_1_2_1_2_14_2","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1986.1676652"},{"key":"e_1_2_1_2_15_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF00263649"},{"key":"e_1_2_1_2_16_2","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1986.1676744"},{"key":"e_1_2_1_2_17_2","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(88)90049-7"}],"container-title":["Formal Aspects of Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01888228.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01888228\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1007\/BF01888228","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,6]],"date-time":"2022-01-06T15:21:28Z","timestamp":1641482488000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1007\/BF01888228"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990,3]]},"references-count":17,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1990,3]]}},"alternative-id":["10.1007\/BF01888228"],"URL":"https:\/\/doi.org\/10.1007\/bf01888228","relation":{},"ISSN":["0934-5043","1433-299X"],"issn-type":[{"value":"0934-5043","type":"print"},{"value":"1433-299X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1990,3]]}}}