2167 search results - page 289 / 434 » Stochastic Process Algebras |
180
click to vote
ARCS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. In order to support the dependability analysis of a system under design in an early phase of the design process, so-called fault tolerance libraries can be created that c...
169
click to vote
DSD
2006
IEEE
15 years 10 months ago
2006
IEEE
We present a flexible method for bus and network on chip performance analysis, which is based on the adaptation of workload models to resemble various applications. Our analysis m...
151
click to vote
ICALP
2000
Springer
15 years 10 months ago
2000
Springer
This report presents a formal approach to reducing sequences in PEPA components. Performing the described amalgamation procedure we may remove, from the underlying Markov chain, t...
156
click to vote
PRDC
2000
IEEE
15 years 10 months ago
2000
IEEE
In this paper, we extend the classical result by Huang, Kintala, Kolettis and Fulton (1995), and in addition propose a modified stochastic model to determine the software rejuvena...
158
click to vote
WSC
2007
15 years 8 months ago
2007
The Logistics Composite Model (LCOM) is a stochastic, discrete-event simulation that relies on probabilities and random number generators to model scenarios in a maintenance unit ...