Trace Semantics and Algebraic Laws for Total Store Order Memory Model.
Li-Li XiaoHuibiao ZhuQi-Wen XuPublished in: J. Comput. Sci. Technol. (2021)
Keyphrases
- computational model
- prediction model
- formal model
- probabilistic model
- mathematical model
- theoretical framework
- learning algorithm
- conceptual model
- hierarchical structure
- logic programming
- experimental data
- management system
- high level
- sensitivity analysis
- decision making
- genetic algorithm
- associative memory
- metamodel