-
1
Non-preemptive scheduling to maximize the minimum global inter-completion time
Veröffentlicht in Automatica (Oxford)
VolltextArtikel -
2
Fighting Complexity in Computer Systems
Veröffentlicht in Computer (Long Beach, Calif.)
VolltextArtikel -
3
-
4
-
5
Statically safe speculative execution for real-time systems
Veröffentlicht in IEEE transactions on software engineering
VolltextArtikel -
6
Formal verification of compiler transformations for speculative real-time execution
Veröffentlicht in Automatica (Oxford)
VolltextArtikel -
7
-
8
-
9
-
10
-
11
-
12
-
13
-
14
-
15
-
16
-
17
-
18
-
19
-
20