Login / Signup
Computing Reachable States of Parallel Programs.
David P. Helmbold
Charles 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