Login / Signup
Portability Analysis for Axiomatic Memory Models. PORTHOS: One Tool for all Models.
Hernán Ponce de León
Florian Furbach
Keijo Heljanko
Roland Meyer
Published in:
CoRR (2017)
Keyphrases
</>
parameter estimation
real world
probabilistic model
computational models
real time
statistical analysis
complex systems
statistical methods