Stability in Weak Memory Models.

Jade Alglave Luc Maranget

Published in: CAV (2011)

Keyphrases

artificial intelligence
experimental data
stability analysis
neural network
real world
artificial neural networks
prior knowledge
complex systems
process model
statistical models
neural network model