Login / Signup

Modular Verification of Order-Preserving Write-Back Caches.

Jörg PfählerGidon ErnstStefan BodenmüllerGerhard SchellhornWolfgang Reif
Published in: IFM (2017)
Keyphrases
  • order preserving
  • linear hashing
  • minimal perfect hash functions
  • hash functions
  • data sets