-
1
-
2
Dynamic verification of operating system decisions
Veröffentlicht in Communications of the ACM
VolltextMagazinearticle -
3
A unifying approach to scheduling
Veröffentlicht in Communications of the ACM
VolltextMagazinearticle -
4
The case for capability based computers (Extended Abstract)
Veröffentlicht in Operating systems review
VolltextArtikel -
5
-
6
MIN—an optimal variable-space page replacement algorithm
Veröffentlicht in Communications of the ACM
VolltextMagazinearticle -
7
-
8
-
9
-
10
-
11
-
12
-
13
-
14
-
15
-
16
-
17
-
18
-
19
Acute Cerebrovascular Disease in the Young: The Stroke in Young Fabry Patients Study
Veröffentlicht in Stroke (1970)
VolltextArtikel -
20