Non-interference and local correctness in transactional memory.

Petr Kuznetsov Sathya Peri

Published in: Theor. Comput. Sci. (2017)

Keyphrases

transactional memory
speculative execution
parallel computing
blue gene
data model
low cost
massively parallel
hardware design
parallel architectures