Systolic algorithms as programs
type: Item
instance of: scholarly article
title: Systolic algorithms as programs
zbMATH Open document ID: 0609.68024
DOI: 10.1007/BF01661171
author: K. Mani Chandy
author: Jayadev Misra
published in: Distributed Computing
publication date: 1986-01-01T00:00:00Z
review text: We represent a systolic algorithm by a program consisting of one multiple assignment statement that captures its operation and data flow. We use invariants to develop such programs systematically. We present two examples, matrix multiplication and LU-decomposition of a matrix.
Mathematics Subject Classification ID: 68N25
Mathematics Subject Classification ID: 65F30
Mathematics Subject Classification ID: 68W99
zbMATH DE Number: 3986630
zbMATH Keywords: program development
zbMATH Keywords: proofs of programs
zbMATH Keywords: multiple assignment
zbMATH Keywords: invariants
zbMATH Keywords: matrix multiplication
zbMATH Keywords: LU-decomposition
MaRDI profile type: Publication
cites work: An example of stepwise refinement of distributed programs: quiescence detection
cites work: The Design of Optimal Systolic Arrays
Recommended article: Q3826106
Recommended article: Q4003285
Recommended article: Q3675516
Recommended article: Systolic algorithms
Recommended article: A systolic algorithm for dynamic programming
Recommended article: Systolic algorithms for the dynamic programming problem
Recommended article: Q4023844
Recommended article: On the design of some systolic algorithms
Recommended article: Synthesis of systolic algorithm design
Recommended article: The derivation of systolic implementations of programs
description: scientific article; zbMATH DE number 3986630