The derivation of systolic computations

M. Rem; A. Kaldewaij

doi:10.1016/0167-6423(90)90021-5

The derivation of systolic computations

M. Rem, A. Kaldewaij

Mathematics and Computer Science

Research output: Contribution to journal › Article › Academic › peer-review

2 Citations (Scopus)

1 Downloads (Pure)

Abstract

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 language	English
Pages (from-to)	229-242
Journal	Science of Computer Programming
Volume	14
Issue number	2-3
DOIs	https://doi.org/10.1016/0167-6423(90)90021-5
Publication status	Published - 1990

Access to Document

10.1016/0167-6423(90)90021-5

Cite this

@article{f7c0c000f6684d2791a8aaa8fd2e6fef,

title = "The derivation of systolic computations",

abstract = "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.",

author = "M. Rem and A. Kaldewaij",

year = "1990",

doi = "10.1016/0167-6423(90)90021-5",

language = "English",

volume = "14",

pages = "229--242",

journal = "Science of Computer Programming",

issn = "0167-6423",

publisher = "Elsevier",

number = "2-3",

}

TY - JOUR

T1 - The derivation of systolic computations

AU - Rem, M.

AU - Kaldewaij, A.

PY - 1990

Y1 - 1990

N2 - 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.

AB - 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.

U2 - 10.1016/0167-6423(90)90021-5

DO - 10.1016/0167-6423(90)90021-5

M3 - Article

SN - 0167-6423

VL - 14

SP - 229

EP - 242

JO - Science of Computer Programming

JF - Science of Computer Programming

IS - 2-3

ER -

The derivation of systolic computations

Abstract

Access to Document

Fingerprint

Cite this