Login / Signup
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