405 search results - page 56 / 81 » Stochastic analysis of file-swarming systems |
SIGMETRICS
2008
ACM
13 years 8 months ago
2008
ACM
Probabilistic model checking is a formal verification framework for systems which exhibit stochastic behaviour. It has been successfully applied to a wide range of domains, includ...
QEST
2006
IEEE
14 years 2 months ago
2006
IEEE
Abstract— This paper reports on our efforts to link an industrial state-of-the-art modelling tool to academic state-of-the-art analysis algorithms. In a nutshell, we enable timed...
EDCC
1999
Springer
14 years 27 days ago
1999
Springer
Abstract. In this paper we present a new modelling approach for dependability evaluation and sensitivity analysis of Scheduled Maintenance Systems, based on a Deterministic and Sto...
ALMOB
2006
13 years 8 months ago
2006
Background: Bifurcation analysis has proven to be a powerful method for understanding the qualitative behavior of gene regulatory networks. In addition to the more traditional for...
ISPA
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Current solutions for fault-tolerance in HPC systems focus on dealing with the result of a failure. However, most are unable to handle runtime system configuration change...