Verifying observational robustness against a c11-style memory model.
Roy MargalitOri LahavPublished in: Proc. ACM Program. Lang. (2021)
Keyphrases
- computational model
- formal model
- mathematical model
- prior knowledge
- probabilistic model
- theoretical framework
- management system
- simulation model
- theoretical analysis
- real time
- multi agent systems
- supply chain
- objective function
- parameter estimation
- web services
- knowledge base
- search engine
- statistical model
- experimental data
- information retrieval
- machine learning