Specifying Synchronization in Distributed Shared Memory Programs.

Published in: ICPP Workshops (2002)

Keyphrases

distributed shared memory
message passing
stereo matching
phase locked
control program
control structures
automatic programming
intermediate level
fixpoint
data sets
distributed systems
high resolution
preprocessing
case study
knowledge base
artificial intelligence
information retrieval