On Bounded Reachability Analysis of Shared Memory Systems.

Mohamed Faouzi Atig Ahmed Bouajjani K. Narayan Kumar Prakash Saivasan

Published in: FSTTCS (2014)

Keyphrases

shared memory
reachability analysis
multi processor
computer systems
post processing
parallel machines
heterogeneous platforms
parallel algorithm
distributed memory
parallel programming
parallel computers