Using Metaprogramming to Parallelize Functional Specifications.

Christoph A. Herrmann Christian Lengauer

Published in: Parallel Process. Lett. (2002)

Keyphrases

parallel algorithm
parallel processing
functional analysis
formal specification
social networks
image processing
high level
evolutionary algorithm
medical images
functional properties
delay insensitive
attribute grammars
parallel hardware