Proving Isolation Properties for Software Transactional Memory.

Annette Bieniusa Peter Thiemann

Published in: ESOP (2011)

Keyphrases

hardware design
source code
software development
software architecture
blue gene
software developers
transactional memory