Modular Integration of Crashsafe Caching into a Verified Virtual File System Switch.
Stefan BodenmüllerGerhard SchellhornWolfgang ReifPublished in: IFM (2020)
Keyphrases
- file system
- access patterns
- data transfer
- augmented reality
- high speed
- application specific
- continuous media
- multi tiered
- data integration
- storage systems
- storage devices
- search tools
- naming conventions
- flash memory
- information integration
- data replication
- virtual reality
- virtual environment
- general purpose
- cloud storage
- data structure