Toggle navigation
PDFSEARCH.IO
Document Search Engine - browse more than 18 million documents
Sign up
Sign in
Back to Results
First Page
Meta Content
View Document Preview and Link
Flashix: Development of a Verified Flash File System G. Schellhorn G. Ernst, J. Pfähler, D. Haneberg, W. Reif Overview • Introduction: Flash Hardware and File Systems • Project Flashix: Approach & Tool Support:KIV
Add to Reading List
Document Date: 2014-12-01 09:23:11
Open Document
File Size: 2,82 MB
Share Result on Facebook
Company
Intel /
Samsung /
/
IndustryTerm
file systems /
energy /
/
OperatingSystem
POSIX /
/
Person
Gerard Holzmann /
Rajeev Joshi /
/
Position
etc etc block1 page0 page3 Flash driver /
/
Technology
RAM /
Flash /
Simulation /
Flash Memory /
/
SocialTag
Computing
Non-volatile memory
Flash memory
Solid-state drive
Wear leveling
Page
Write amplification
TRIM
Computer hardware
Computer memory