4520 search results - page 367 / 904 » Algebraic Techniques for Timed Systems |
167
click to vote
SIGOPSE
1990
ACM
15 years 11 months ago
1990
ACM
In the Sprite environment, tolerating faults means recovering from them quickly. Our position is that performance and availability are the desired features of the typical locally-...
216
click to vote
AMAST
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. When designing an open system, there might be no implementation available for certain components at verification time. For such systems, verification has to be based on a...
226
click to vote
DAC
2011
ACM
14 years 7 months ago
2011
ACM
We study the problem on how to maximize the throughput for a periodic real-time system under the given peak temperature constraint. We assume that different tasks in our system ma...
207
click to vote
NPC
2005
Springer
16 years 1 months ago
2005
Springer
With the rapid advances in Internet and Grid technique, an increasing number of applications will involve computing systems. These applications in turn create an increasing demand ...
169
click to vote
PCM
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. Next generation information appliances are required to handle realtime audio/video playback and in the mean time should be able to handle text based requests such as data...