Parallel Reachability and Escape Analyses.

Marcus Edvinsson Jonas Lundberg Welf Löwe

Published in: SCAM (2010)

Keyphrases

parallel processing
parallel implementation
computer architecture
parallel execution
data sets
search engine
learning environment
query processing
state space
parallel computation
distributed processing