NDetermin: inferring nondeterministic sequential specifications for parallelism correctness.
Jacob BurnimTayfun ElmasGeorge C. NeculaKoushik SenPublished in: PPOPP (2012)
Keyphrases
- delay insensitive
- parallel processing
- finite state
- finite automata
- specification language
- graphical models
- computational power
- written in natural language
- neural network
- parallel execution
- parallel computation
- functional requirements
- sequential data
- parallel computing
- markov chain
- hidden markov models
- query processing
- social networks
- machine learning