Verifying Synchronization for Atomicity Violation Fixing.

Qingkai Shi Jeff Huang Zhenyu Chen Baowen Xu

Published in: IEEE Trans. Software Eng. (2016)

Keyphrases

electronic commerce
model checking
multidatabase systems
nested transactions
acid properties
information retrieval
transaction management
chaotic systems
genetic algorithm
multimedia
decision trees
database systems
temporal logic
music score