Formal Synthesis of a Parallel Architectures from Recursive Equations.

Khaled M. Elleithy Magdy A. Bayoumi

Published in: ICPP (1) (1990)

Keyphrases

parallel architectures
parallel processing
massively parallel
efficient implementation
parallel computing
formal methods
high end
image processing
real time
fine grained
differential equations
hardware design
parallel computers