Login / Signup

Quarantining Weakness - Compositional Reasoning under Relaxed Memory Models (Extended Abstract).

Radha JagadeesanGustavo PetriCorin PitcherJames Riely
Published in: ESOP (2013)
Keyphrases
  • extended abstract
  • complex systems
  • statistical models
  • formal models
  • knowledge base
  • spatial reasoning
  • data sets
  • model selection
  • reasoning tasks
  • reasoning systems