DoubleChecker: efficient sound and precise atomicity checking.

Swarnendu Biswas Jipeng Huang Aritra Sengupta Michael D. Bond

Published in: PLDI (2014)

Keyphrases

electronic commerce
data sets
case study
neural network
real world
data mining
artificial intelligence
bayesian networks
np complete
cost effective
computationally expensive
multidatabase systems