Nemos: A Framework for Axiomatic and Executable Specifications of Memory Consistency Models.
Yue YangGanesh GopalakrishnanGary LindstromKonrad SlindPublished in: IPDPS (2004)
Keyphrases
- probabilistic model
- complex systems
- statistical models
- modeling framework
- machine learning
- experimental data
- main contribution
- process model
- software architecture
- bayesian framework
- finite state machines
- formal specification
- database
- mathematical framework
- attribute grammars
- model selection
- statistical model
- image segmentation
- case study
- classification models
- decision theory