Detecting concurrency anomalies in transactional memory programs.

João Lourenço Diogo Sousa Bruno C. Teixeira Ricardo J. Dias

Published in: Comput. Sci. Inf. Syst. (2011)

Keyphrases

concurrency control
transactional memory
anomaly detection
speculative execution
programs written
database systems
general purpose
parallel computing
computing systems
massively parallel