Login / Signup

Fine-Grained Caching of Verification Results.

K. Rustan M. LeinoValentin Wüstholz
Published in: CAV (1) (2015)
Keyphrases
  • fine grained
  • coarse grained
  • access control
  • model checking
  • tightly coupled
  • data access
  • massively parallel
  • concurrency control
  • query processing
  • information retrieval systems
  • information extraction
  • co occurrence