• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Parallel Assertions for Architectures with Weak Memory Models.

Daniel Schwartz-NarbonneGeorg WeissenbacherSharad Malik
Published in: ATVA (2012)
Keyphrases
  • database
  • data sets
  • knowledge base
  • probabilistic model
  • memory requirements
  • parallel processing
  • computational models
  • information retrieval
  • artificial neural networks
  • autoregressive