Sciweavers

534 search results - page 1 / 107
» Markov Reward Approach to Performability and Reliability Ana...
Sort
View
MASCOTS
1994
14 years 3 days ago
Markov Reward Approach to Performability and Reliability Analysis
Kishor S. Trivedi, Manish Malhotra, Ricardo M. Fri...
VALUETOOLS
2006
ACM
164views Hardware» more  VALUETOOLS 2006»
14 years 4 months ago
Analysis of Markov reward models using zero-suppressed multi-terminal BDDs
High-level stochastic description methods such as stochastic Petri nets, stochastic UML statecharts etc., together with specifications of performance variables (PVs), enable a co...
Kai Lampka, Markus Siegle
SIGCOMM
1998
ACM
14 years 3 months ago
Accelerated Reliability Analysis for Self-Healing SONET Networks
Recently, a parametric State Reward Markov Model SRMM p has been developed for the reliability and availability analysis of self-healing SONET mesh networks 2 . In this paper, w...
Hakki C. Cankaya, V. S. S. Nair
APN
1999
Springer
14 years 3 months ago
Parallel Approaches to the Numerical Transient Analysis of Stochastic Reward Nets
Abstract. This paper presents parallel approaches to the complete transient numerical analysis of stochastic reward nets (SRNs) for both shared and distributed-memory machines. Par...
Susann C. Allmaier, David Kreische
PE
2002
Springer
132views Optimization» more  PE 2002»
13 years 10 months ago
Performance evaluation with temporal rewards
Today many formalisms exist for specifying complex Markov chains. In contrast, formalisms for specifying rewards, enabling the analysis of long-run average performance properties,...
Jeroen Voeten