Decompositional Reasoning about the History of Parallel Processes.

Luca Aceto Arnar Birgisson Anna Ingólfsdóttir Mohammad Reza Mousavi

Published in: FSEN (2011)

Keyphrases

parallel processing
formal theory
databases
information systems
parallel implementation
data mining
computer vision
web services
image segmentation
load balancing
parallel computation
distributed memory machines