Automatic safety proofs for asynchronous memory operations.

Matko Botincan Mike Dodds Alastair F. Donaldson Matthew J. Parkinson

Published in: PPOPP (2011)

Keyphrases

fully automatic
artificial intelligence
main memory
learning algorithm
data structure
data driven
memory usage
databases
information retrieval
e learning
website
database systems
search algorithm
high speed
memory requirements
associative memory