Satisfiability Modulo Ordering Consistency Theory for SC, TSO, and PSO Memory Models.
Hongyu FanZhihang SunFei HePublished in: ACM Trans. Program. Lang. Syst. (2023)
Keyphrases
- formal models
- particle swarm optimization
- model selection
- statistical models
- mathematical framework
- pso algorithm
- computational models
- particle swarm optimization algorithm
- neural network
- learning algorithm
- database systems
- multi objective
- optimization algorithm
- complex systems
- partial order
- particle swarm optimizer