PE
2000
Springer
13 years 4 months ago
2000
Springer
PE
2000
Springer
13 years 4 months ago
2000
Springer
Conventional methods for state space exploration are limited to the analysis of small systems because they suffer from excessive memory and computational requirements. We have dev...
PE
2000
Springer
13 years 4 months ago
2000
Springer
In this paper we study the convergence properties of the power series algorithm, which is a general method to determine (functions of) stationary distributions of Markov chains. W...
PE
2000
Springer
13 years 4 months ago
2000
Springer
Stochastic process algebras have been proposed as compositional specification formalisms for performance models. In this paper, we describe a tool which aims at realising all bene...
PE
2000
Springer
13 years 4 months ago
2000
Springer
Previous work in the stability analysis of polling models concentrated mainly on stability of the whole system. This system stability analysis, however, fails to model many real-w...
PE
2000
Springer
13 years 4 months ago
2000
Springer
Spatial and temporal variations in network bandwidth constraints constitute serious challenges to the multicast distribution of real-time video content. This paper presents a vide...