Towards a Formal Account for Software Transactional Memory.

Doriana Medic Claudio Antares Mezzina Iain Phillips Nobuko Yoshida

Published in: RC (2020)

Keyphrases

hardware design
blue gene
speculative execution
software development
source code
software systems
software projects
software developers
computer systems
massively parallel
response time
formal methods
transactional memory