4520 search results - page 223 / 904 » Algebraic Techniques for Timed Systems |
190
click to vote
PADS
2005
ACM
16 years 23 days ago
2005
ACM
Efficient computer simulation of complex physical phenomena has long been challenging due to their multiphysics and multi-scale nature. In contrast to traditional time-stepped exe...
186
click to vote
CN
2004
15 years 7 months ago
2004
This paper presents a probabilistic event-driven fault localization technique, which uses a probabilistic symptomfault map as a fault propagation model. The technique isolates the...
228
click to vote
DAC
2011
ACM
14 years 7 months ago
2011
ACM
DVFS remains an important energy management technique for embedded systems. However, its negative impact on transient fault rates has been recently shown. In this paper, we propos...
207
click to vote
JSS
2008
15 years 5 months ago
2008
This report presents a model-driven, stress test methodology aimed at increasing chances of discovering faults related to network traffic in Distributed Real-Time Systems (DRTS). T...
200
click to vote
INFOVIS
2005
IEEE
16 years 24 days ago
2005
IEEE
Time series are an important type of data with applications in virtually every aspect of the real world. Often a large number of time series have to be monitored and analyzed in p...