File system

Results: 14992



#Item
1Flashix: 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

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

Source URL: www.isse.uni-augsburg.de

Language: English - Date: 2017-01-11 10:48:03
2Specifying and Checking File System Crash-Consistency Models James Bornholt Antoine Kaufmann Jialin Li

Specifying and Checking File System Crash-Consistency Models James Bornholt Antoine Kaufmann Jialin Li

Add to Reading List

Source URL: unsat.cs.washington.edu

Language: English - Date: 2018-08-25 00:49:18
3Specifying and Checking File System Crash-Consistency Models James Bornholt Antoine Kaufmann  Jialin Li

Specifying and Checking File System Crash-Consistency Models James Bornholt Antoine Kaufmann Jialin Li

Add to Reading List

Source URL: unsat.cs.washington.edu

Language: English - Date: 2018-08-21 17:45:05
4BlackPearl® Network Attached Storage Easily and affordably manage data while planning for the future with BlackPearl Network Attached Storage (NAS) traditional file system (CIFS/NFS). The multi-functional BlackPearl NAS

BlackPearl® Network Attached Storage Easily and affordably manage data while planning for the future with BlackPearl Network Attached Storage (NAS) traditional file system (CIFS/NFS). The multi-functional BlackPearl NAS

Add to Reading List

Source URL: www.teradactyl.com

Language: English
5Inside a Verified Flash File System: Transactions & Garbage Collection ? ?? Gidon Ernst, J¨ org Pf¨ ahler, Gerhard Schellhorn, and Wolfgang Reif Institute for Software and Systems Engineering

Inside a Verified Flash File System: Transactions & Garbage Collection ? ?? Gidon Ernst, J¨ org Pf¨ ahler, Gerhard Schellhorn, and Wolfgang Reif Institute for Software and Systems Engineering

Add to Reading List

Source URL: www.isse.uni-augsburg.de

Language: English - Date: 2017-01-11 10:48:58
6Development of a Verified Flash File System  ? Gerhard Schellhorn, Gidon Ernst, J¨org Pf¨ahler, Dominik Haneberg, and Wolfgang Reif

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

Add to Reading List

Source URL: www.isse.uni-augsburg.de

Language: English - Date: 2017-01-11 10:47:24
7Considerations when Choosing a Backup System for AFS® By Kristen J. Webb President and CTO Teradactyl LLC. October 21, 2005 The Andrew File System® has a proven track record as a scalable and secure network file system

Considerations when Choosing a Backup System for AFS® By Kristen J. Webb President and CTO Teradactyl LLC. October 21, 2005 The Andrew File System® has a proven track record as a scalable and secure network file system

Add to Reading List

Source URL: www.teradactyl.com

Language: English
8Key Management in an Encrypting File System Matt Blaze AT&T Bell Laboratories Abstract As distributed computing systems grow in size,

Key Management in an Encrypting File System Matt Blaze AT&T Bell Laboratories Abstract As distributed computing systems grow in size,

Add to Reading List

Source URL: www.mattblaze.org

Language: English - Date: 1999-11-26 23:55:04
9CprFS: A User-level File System to Support Consistent File States for Checkpointing and Restart

CprFS: A User-level File System to Support Consistent File States for Checkpointing and Restart

Add to Reading List

Source URL: hpc.cs.tsinghua.edu.cn

Language: English
    10Secure Untrusted Data Repository (SUNDR) Jinyuan Li, Maxwell Krohn∗, David Mazi`eres, and Dennis Shasha NYU Department of Computer Science Abstract SUNDR is a network file system designed to store data

    Secure Untrusted Data Repository (SUNDR) Jinyuan Li, Maxwell Krohn∗, David Mazi`eres, and Dennis Shasha NYU Department of Computer Science Abstract SUNDR is a network file system designed to store data

    Add to Reading List

    Source URL: cs.nyu.edu

    Language: English - Date: 2006-10-10 04:45:29