Login / Signup
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