What is decidable under the TSO memory model?

Mohamed Faouzi Atig

Published in: ACM SIGLOG News (2020)

Keyphrases

computational model
statistical model
neural network
high level
probabilistic model
mathematical model
multiscale
reinforcement learning
probability distribution
input data
theoretical framework
experimental data
sensitivity analysis