A Concrete Memory Model for CompCert.

Frédéric Besson Sandrine Blazy Pierre Wilke

Published in: ITP (2015)

Keyphrases

high level
probability distribution
network model
formal model
statistical model
theoretical framework
face recognition
multi agent systems
cost function
probabilistic model
real time
graphical models
theoretical analysis
multi agent
sensitivity analysis
machine learning
prediction model
data mining