C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
AVIO: detecting atomicity violations via access interleaving invariants.
Shan Lu
Joseph Tucek
Feng Qin
Yuanyuan Zhou
Published in:
ASPLOS (2006)
Keyphrases
</>
access control
multidatabase systems
electronic commerce
random access
remote access
data mining
distributed database systems
quasi invariant