-
1
-
2
Formalizing Memory Accesses and Interrupts
Veröffentlicht in Electronic proceedings in theoretical computer science
VolltextArtikel -
3
-
4
-
5
-
6
Explaining outputs in modern data analytics
Veröffentlicht in Proceedings of the VLDB Endowment
VolltextArtikel -
7
-
8
Deployment of query plans on multicores
Veröffentlicht in Proceedings of the VLDB Endowment
VolltextArtikel -
9
Arrakis: The Operating System Is the Control Plane
Veröffentlicht in ACM transactions on computer systems
VolltextArtikel -
10
Declarative Power Sequencing
Veröffentlicht in ACM transactions on embedded computing systems
VolltextArtikel -
11
Rack-Scale Capabilities: Fine-Grained Protection for Large-Scale Memories
Veröffentlicht in Computer (Long Beach, Calif.)
VolltextArtikel -
12
-
13
-
14
-
15
SpaceJMP: Programming with Multiple Virtual Address Spaces
Veröffentlicht in Operating systems review
VolltextArtikel -
16
-
17
-
18
-
19
A Declarative Language Approach to Device Configuration
Veröffentlicht in ACM transactions on computer systems
VolltextArtikel -
20