C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Parallel Assertions for Architectures with Weak Memory Models.
Daniel Schwartz-Narbonne
Georg Weissenbacher
Sharad 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