Convergence Verification: From Shared Memory to Partially Synchronous Systems.

K. Mani Chandy Sayan Mitra Concetta Pilotto

Published in: FORMATS (2008)

Keyphrases

shared memory
message passing
parallel algorithm
heterogeneous platforms
multi processor
parallel programming
parallel architectures
image processing
image segmentation
high quality
search algorithm
general purpose
high end
parallel computers