Verifying C11-Style Weak Memory Libraries.

Sadegh Dalvandi Brijesh Dongol

Published in: CoRR (2020)

Keyphrases

memory size
memory space
digital libraries
memory usage
memory requirements
multimedia
computing power
memory capacity
artificial intelligence
computer vision
hidden markov models
random access
computational power
model checking
main memory
database
mobile robot
search engine
information retrieval
real time