Login / Signup
Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory.
Eleni Bila
Simon Doherty
Brijesh Dongol
John Derrick
Gerhard Schellhorn
Heike Wehrheim
Published in:
CoRR (2020)
Keyphrases
</>
hardware design
blue gene
software development
computer systems
transactional memory
image processing
source code
software systems
model checking
real time
data model
massively parallel
speculative execution