Sign in

Parallel Reachability and Escape Analyses.

Marcus EdvinssonJonas LundbergWelf 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