Exploiting parallelism in the ME calculus.

Tianyi Liang Cesare Tinelli

Published in: PAAR@IJCAR (2012)

Keyphrases

parallel processing
parallel execution
computer vision
computational power
data sets
multiscale
shared memory
massively parallel
real numbers
parallel architectures