Co-ordinating Parallel Computation through Equational Constraints.

Manuel M. T. Chakravarty Yike Guo Martin Köhler Hendrik C. R. Lock

Published in: WLP (1995)

Keyphrases

parallel computation
parallel algorithm
parallel implementation
parallel processing
parallel computing
integral image
fine grain
parallel programming
map reduce
real time
bayesian networks
theorem proving
shared memory