Login / Signup
NDSeq: runtime checking for nondeterministic sequential specifications of parallel correctness.
Jacob Burnim
Tayfun Elmas
George C. Necula
Koushik Sen
Published in:
PLDI (2011)
Keyphrases
</>
parallel version
parallel implementation
parallel algorithm
parallel processing
delay insensitive
high level
parallel computing
data sets
data mining
case study
hidden markov models
general purpose
shared memory
finite state
consistency checking