Computing Reachable States of Parallel Programs.

David P. HelmboldCharles E. McDowell
Published in: Workshop on Parallel and Distributed Debugging (1991)
Keyphrases
  • initial state
  • multicore processors
  • parallel processing
  • state variables
  • high level programming language
  • decision trees
  • search algorithm
  • computer architecture