On the correctness of transactional memory.

Rachid Guerraoui Michal Kapalka

Published in: PPOPP (2008)

Keyphrases

transactional memory
speculative execution
parallel architectures
massively parallel
parallel programming
parallel execution
computing systems
database
high level
end to end
parallel computing
field programmable gate array
hardware design
blue gene