C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Verifying Local Transformations on Relaxed Memory Models.
Sebastian Burckhardt
Madanlal Musuvathi
Vasu Singh
Published in:
CC (2010)
Keyphrases
</>
information retrieval
multiscale
probabilistic model
model selection
search engine
social networks
e learning
search algorithm
artificial neural networks
machine learning algorithms
regression model
complex systems
modeling framework