Formalising Flash Memory: First Steps.

Andrew Butterfield Jim Woodcock

Published in: ICECCS (2007)

Keyphrases

flash memory
solid state
garbage collection
file system
buffer management
random access
main memory
disk drives
embedded systems
secondary storage
data storage
database systems
b tree
storage devices
small size
data sets
storage management
database
memory management
index structure
low cost
case study
hand held devices