15644 search results - page 2524 / 3129 » Brittle System Analysis |
216
click to vote
PLDI
1998
ACM
15 years 11 months ago
1998
ACM
The fth release of the multithreaded language Cilk uses a provably good \work-stealing" scheduling algorithm similar to the rst system, but the language has been completely r...
209
click to vote
SIGMETRICS
1996
ACM
15 years 11 months ago
1996
ACM
In this paper we describe our experiments on digital video applications, concentrating on the static and dynamic tradeo s involved in video playback. Our results were extracted fr...
240
click to vote
ZUM
1997
Springer
15 years 11 months ago
1997
Springer
We present a new formal OO method, called FOX, which is a synergetic combination of the semi-formal Fusion method and the formal specification language Object-Z. To manage complex...
193
click to vote
SIGGRAPH
1993
ACM
15 years 11 months ago
1993
ACM
This paper presents a method for designing the illumination in an environment using optimization techniques applied to a radiosity based image synthesis system. An optimization of...
199
click to vote
EMSOFT
2007
Springer
15 years 11 months ago
2007
Springer
The soundness of device drivers generally cannot be verified in isolation, but has to take into account the reactions of the hardware devices. In critical embedded systems, interf...