Operational Reasoning for Concurrent Caml Programs and Weak Memory Models.

Published in: TPHOLs (2007)

Keyphrases

statistical models
information systems
neural network
complex systems
statistical model
experimental data
memory usage
database
decision making
knowledge base
data model
logic programs
parameter estimation
memory requirements
classification models
formal models