Derivation of Systolic Programs.

Ladan Kazerouni Basant Rajan R. K. Shyamasundar

Published in: ICPP (3) (1994)

Keyphrases

special case
computer programs
real time
databases
genetic algorithm
information systems
metadata
information technology
fixpoint
provably correct