Confluence without Termination via Parallel Critical Pairs.

Bernhard Gramlich

Published in: CAAP (1996)

Keyphrases

rewrite systems
parallel processing
neural network
data structure
pairwise
parallel execution
parallel programming
parallel implementation
data sets
real time
similarity measure
image segmentation
parallel computing
massively parallel
case study
image processing
term rewriting