The Reads-From Equivalence for the TSO and PSO Memory Models.

Truc Lam Bui Krishnendu Chatterjee Tushar Gautam Andreas Pavlogiannis Viktor Toman

Published in: CoRR (2020)

Keyphrases

multi objective
probabilistic model
complex systems
real time
neural network
optimization algorithm
particle swarm optimization pso
parameter estimation
experimental data
statistical models
classification models