Systolic algorithms as programs

DOI10.1007/BF01661171zbMath0609.68024MaRDI QIDQ1087008

K. Mani Chandy, Jayadev Misra

Publication date: 1986

Published in: Distributed Computing (Search for Journal in Brave)

zbMATH Keywords

invariantsLU-decompositionmatrix multiplicationprogram developmentmultiple assignmentproofs of programs

Mathematics Subject Classification ID

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

Related Items (4)

Generic systolic arrays: A methodology for systolic design ⋮ Developments in concurrent Kleene algebra ⋮ The formal development of a parallel program performing LU-decomposition ⋮ Communication Patterns and Input Patterns in Distributed Computing

Cites Work

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

This page was built for publication: Systolic algorithms as programs