Sign in

Fences in Weak Memory Models.

Jade AlglaveLuc MarangetSusmit SarkarPeter Sewell
Published in: CAV (2010)
Keyphrases
  • statistical models
  • probabilistic model
  • genetic algorithm
  • similarity measure
  • data model
  • neural network model
  • generative model
  • memory requirements
  • accurate models