-
1
-
2
-
3
Oasis: An active storage framework for object storage platform
Veröffentlicht in Future generation computer systems
VolltextArtikel -
4
Data Management and Layout for Shingled Magnetic Recording
Veröffentlicht in IEEE transactions on magnetics
VolltextArtikel -
5
An improved algorithm for the evaluation of fixpoint expressions
Veröffentlicht in Theoretical computer science
VolltextArtikel -
6
Compactly encoding unstructured inputs with differential compression
Veröffentlicht in Journal of the ACM
VolltextArtikel -
7
Model checking and abstraction
Veröffentlicht in ACM transactions on programming languages and systems
VolltextArtikel -
8
-
9
-
10
-
11
Model checking and modular verification
Veröffentlicht in ACM transactions on programming languages and systems
VolltextArtikel -
12
-
13
-
14
Classifying Data to Reduce Long-Term Data Movement in Shingled Write Disks
Veröffentlicht in ACM transactions on storage
VolltextArtikel -
15
-
16
PRESIDIO: A Framework for Efficient Archival Data Storage
Veröffentlicht in ACM transactions on storage
VolltextArtikel -
17
-
18
-
19
-
20