Back to Results
First PageMeta Content
Disk file systems / Flash file systems / Embedded Linux / Unix / UBIFS / LogFS / Log-structured file system / File system / Virtual file system / System software / Computing / Software


Development of a Verified Flash File System ? Gerhard Schellhorn, Gidon Ernst, J¨org Pf¨ahler, Dominik Haneberg, and Wolfgang Reif
Add to Reading List

Document Date: 2015-02-26 04:38:47

Open Document

File Size: 446,09 KB

Share Result on Facebook

Company

MySQL / /

Country

Germany / /

Event

Reorganization / /

Facility

Wolfgang Reif Institute / Systems Engineering University of Augsburg / Directories Dir store / /

IndustryTerm

concrete file systems / recovery algorithm / flash device / file systems / bad block management / web-presentation / actual hardware / block management / raw flash device / /

OperatingSystem

Microsoft Windows / POSIX / Linux / /

Organization

Wolfgang Reif Institute for Software / Software & Systems Engineering University of Augsburg / U.S. Securities and Exchange Commission / /

Person

Dominik Haneberg / Gerhard Schellhorn / /

Position

driver / /

ProgrammingLanguage

J / C / Scala / /

Technology

RAM / caching / operating system / flash memory / recovery algorithm / operating systems / Linux / Flash / /

URL

http /

SocialTag