Precise Detection of Atomicity Violations.

Ricardo J. Dias Vasco Pessanha João Lourenço

Published in: Haifa Verification Conference (2012)

Keyphrases

detection algorithm
detection accuracy
detection rate
automatic detection
electronic commerce
object detection
data sets
detection method
real time
video sequences
image segmentation
machine learning
databases
false alarms
transaction management
multidatabase systems
detection scheme
nested transactions