Systolic algorithms as programs

DOI10.1007/BF01661171MaRDI QIDQ1087008zbMATH OpenFDO

Authors K. Mani Chandy, Jayadev Misra

Publication date 1986

Published in Distributed Computing (Search for Journal in Brave)

zbMATH Keywords

invariantsmatrix multiplicationLU-decompositionprogram developmentmultiple assignmentproofs of programs

Mathematics Subject Classification ID

Algorithms in computer science (68W99) Theory of operating systems (68N25)

Recommendations

• scientific article; zbMATH DE number 4100593
• scientific article; zbMATH DE number 53038
• scientific article; zbMATH DE number 3896291
• Systolic algorithms
• A systolic algorithm for dynamic programming
• Systolic algorithms for the dynamic programming problem
• scientific article; zbMATH DE number 108384
• On the design of some systolic algorithms
• Synthesis of systolic algorithm design
• The derivation of systolic implementations of programs

Cites work

• An example of stepwise refinement of distributed programs: quiescence detection
• The Design of Optimal Systolic Arrays

Cited in

(10)

• scientific article; zbMATH DE number 4100593 (Why is no real title available?)
• scientific article; zbMATH DE number 53038 (Why is no real title available?)
• Systolic algorithms for the dynamic programming problem
• Communication patterns and input patterns in distributed computing (invited talk)
• The projection of systolic programs
• Generic systolic arrays: A methodology for systolic design
• The derivation of systolic implementations of programs
• The formal development of a parallel program performing LU-decomposition
• A systolic algorithm for dynamic programming
• Developments in concurrent Kleene algebra

This page was built for publication: Systolic algorithms as programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1087008)