-
1
Portable Userspace Virtual Filesystem Switch
Published 2013-01-01Subjects: “…userspace virtual filesystem; operating systems; ptrace; FUSE…”
Get full text
Article -
2
Synchronizing Many Filesystems in Near Linear Time
Published 2023-05-01“…Based on the algebraic theory of filesystems, which incorporates non-commutative filesystem commands natively, we developed and built a proof-of-concept implementation of an algorithm suite which synchronizes an arbitrary number of replicas. …”
Get full text
Article -
3
Exploring filesystem synchronization with lightweight modeling and analysis
Published 2014Get full text
Thesis -
4
-
5
Distributing User Code with the CernVM FileSystem
Published 2020-01-01“…The CernVM FileSystem (CVMFS) is widely used in High Throughput Computing to efficiently distributed experiment code. …”
Get full text
Article -
6
Data Synchronization: A Complete Theoretical Solution for Filesystems
Published 2022-11-01Subjects: Get full text
Article -
7
Guidelines for a Standardized Filesystem Layout for Scientific Data
Published 2020-04-01Subjects: Get full text
Article -
8
Designing multicore scalable filesystems with durability and crash consistency
Published 2017Get full text
Thesis -
9
-
10
ORA and the Oxford Common Filesystem Layer (OCFL) in Fedora 6
Published 2023“…A one-page report describing ORA's plans to use the Oxford Common Filesystem Layer (OCFL) in Fedora 6 as part of its digital presentation solution. …”
Working paper -
11
A prototype for filesystem integrity checker in user-space mood
Published 2009“…One of the means to detect intruder's activity is to trace all unauthorized changes in a filesystem. Current user-space mood checkers, due to being slow detectors, suffer from the opportunity gap that occurs between filesystem checks. …”
Get full text
Thesis -
12
Formalising Filesystems in the ACL2 Theorem Prover: an Application to FAT32
Published 2018-10-01“…In this work, we present an approach towards constructing executable specifications of existing filesystems and verifying their functional properties in a theorem proving environment. …”
Get full text
Article -
13
Certifying checksum-based logging in the RapidFSCQ crash-safe filesystem
Published 2017Get full text
Thesis -
14
-
15
On network coded filesystem shim: Over-the-top multipath multi-source made easy
Published 2021“…This paper proposes an alternative approach through the use of a network coded filesystem shim (NCFSS), where coded data is generated at the filesystem level supporting any application and any network protocol. …”
Get full text
Article -
16
On network coded filesystem shim: Over-the-top multipath multi-source made easy
Published 2022“…This paper proposes an alternative approach through the use of a network coded filesystem shim (NCFSS), where coded data is generated at the filesystem level supporting any application and any network protocol. …”
Get full text
Article -
17
-
18
Digital Forensic Analysis to Improve User Privacy on Android
Published 2022-05-01Subjects: Get full text
Article -
19
Anti-Aging LFS: Self-Defragmentation With Fragmentation-Aware Cleaning
Published 2020-01-01Subjects: Get full text
Article -
20
Immutability and Decentralized Storage: An Analysis of Emerging Threats
Published 2020-01-01Subjects: Get full text
Article