The derivation of systolic computations

M. Rem, A. Kaldewaij

Research output: Contribution to journalArticleAcademicpeer-review

2 Citations (Scopus)
1 Downloads (Pure)


A method is presented by which systolic computations can be derived from formal specifications. These derivations proceed in a calculational manner, originating from input/output relations and guided by performance considerations. The resulting program is a network of communicating cells that are expressed in a CSP-like program notation. The derivation method is illustrated by means of a nontrivial example, viz. the design of a rank order filter.
Original languageEnglish
Pages (from-to)229-242
JournalScience of Computer Programming
Issue number2-3
Publication statusPublished - 1990


Dive into the research topics of 'The derivation of systolic computations'. Together they form a unique fingerprint.

Cite this