Towards formally specifying and verifying transactional memory.

Simon Doherty Lindsay Groves Victor Luchangco Mark Moir

Published in: Formal Aspects Comput. (2013)

Keyphrases

transactional memory
speculative execution
model checking
parallel computing
massively parallel
blue gene
parallel architectures
distributed databases
field programmable gate array
hardware design
parallel execution
address space