C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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