An Automatic Generalization Method for the Inductive Proof of Replicated and Parallel Architectures.

Laurence Pierre

Published in: TPCD (1994)

Keyphrases

parallel architectures
pairwise
real time
dynamic programming
general purpose
graphical models
efficient implementation
numerical methods