Detection of Transactional Memory anomalies using static analysis.

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

Published in: PDATAD (2010)

Keyphrases

static analysis
dynamic analysis
anomaly detection
source code
regular expressions
database systems
wireless sensor networks
low cost
data integration
reverse engineering
massively parallel
transactional memory