2746 search results - page 133 / 550 » Case Study in Survivable Network System Analysis |
TACAS
1998
Springer
15 years 2 months ago
1998
Springer
In this paper, we report on an application of the validation and veri cation tool kit Uppaal in the design and analysis of a prototype gear controller, carried out in a joint proje...
CDC
2008
IEEE
15 years 4 months ago
2008
IEEE
— This paper studies the problem of stability analysis for neural networks (NNs) with a time-varying delay. The activation functions are assumed to be neither monotonic, nor diff...
ISOLA
2004
Springer
15 years 3 months ago
2004
Springer
Methods for Worst-Case Execution Time (WCET) analysis have been known for some time, and recently commercial tools have emerged. However, the technique has so far not been much use...
PDP
2003
IEEE
15 years 3 months ago
2003
IEEE
Over the last decade, a dramatic increase has been observed in the need for generating and organising data in the course of large parameter studies, performance analysis, and soft...
CORR
2010
Springer
14 years 10 months ago
2010
Springer
We present a numerical approximation technique for the analysis of continuous-time Markov chains that describe networks of biochemical reactions and play an important role in the ...