Sign in

DoubleChecker: efficient sound and precise atomicity checking.

Swarnendu BiswasJipeng HuangAritra SenguptaMichael 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