Statically Checking Confidentiality of Shared Memory Programs with Dynamic Labels.

Published in: ARES (2008)

Keyphrases

shared memory
parallel algorithm
message passing
distributed memory
multi processor
parallel computing
address space
parallel programming
parallel architectures
image processing
parallel architecture
parallel machines
multi core systems
parallel computation
distributed systems
pairwise
search algorithm