Login / Signup
MMFilter : A CHR-Based Solver for Generation of Executions under Weak Memory Models.
Allan Blanchard
Nikolai Kosmatov
Frédéric Loulergue
Published in:
Comput. Lang. Syst. Struct. (2018)
Keyphrases
</>
statistical models
complex systems
statistical model
real time
machine learning
model selection
memory requirements
computational models
accurate models
hidden markov models
process model
neural network model
classification models