A Study of Shared-Memory Mutual Exclusion Protocols Using CADP.

Radu Mateescu Wendelin Serwe

Published in: FMICS (2010)

Keyphrases

shared memory
mutual exclusion
parallel algorithm
message passing
long distance
parallel programming
parallel computing
image sequences
high quality
domain specific
belief propagation
parallel architectures
address space