Sign in
Designing and Analyzing a Flash File System with Alloy.
Eunsuk Kang
Daniel Jackson
Published in:
Int. J. Softw. Informatics (2009)
Keyphrases
</>
file system
flash memory
access patterns
data transfer
disk drives
continuous media
search tools
storage devices
metadata management
naming conventions
multi tiered
application specific
data management
solid state
storage systems
mechanical properties
data storage
document repository
databases