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