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:
FORTE (2020)
Keyphrases
</>
hardware design
blue gene
transactional memory
software systems
software architecture
speculative execution
source code
software development
computer systems
low cost
data processing
fine grained
model checking
computing systems
parallel computing
parallel architectures