Concurrent Library Correctness on the TSO Memory Model.
Sebastian BurckhardtAlexey GotsmanMadanlal MusuvathiHongseok YangPublished in: ESOP (2012)
Keyphrases
- probabilistic model
- formal model
- high level
- computational model
- real time
- neural network
- hierarchical structure
- experimental data
- prior knowledge
- statistical model
- autoregressive
- database
- computational models
- mathematical model
- parameter estimation
- hidden markov models
- artificial neural networks
- reinforcement learning
- multiscale
- image segmentation
- data sets