Login / Signup

AVIO: detecting atomicity violations via access interleaving invariants.

Shan LuJoseph TucekFeng QinYuanyuan Zhou
Published in: ASPLOS (2006)
Keyphrases
  • access control
  • multidatabase systems
  • electronic commerce
  • random access
  • remote access
  • data mining
  • distributed database systems
  • quasi invariant