Software Transactional Memory on Relaxed Memory Models.

Rachid Guerraoui Thomas A. Henzinger Vasu Singh

Published in: CAV (2009)

Keyphrases

software development
high level
query processing
computer systems
floating point
speculative execution