Sciweavers

40 search results - page 3 / 8
» Algebraic Multigrid for Markov Chains
Sort
View
MCSS
2008
Springer
13 years 6 months ago
Maximal solution to algebraic Riccati equations linked to infinite Markov jump linear systems
In this paper we deal with a perturbed algebraic Riccati equation in an infinite dimensional Banach space. Besides the interest in its own right, this class of equations appears, ...
Jack Baczynski, Marcelo D. Fragoso
SCP
2000
119views more  SCP 2000»
13 years 6 months ago
Automated compositional Markov chain generation for a plain-old telephone system
Obtaining performance models, like Markov chains and queueing networks, for systems of significant complexity and magnitude is a difficult task that is usually tackled using human...
Holger Hermanns, Joost-Pieter Katoen
EPEW
2008
Springer
13 years 8 months ago
State-Aware Performance Analysis with eXtended Stochastic Probes
We define a mechanism for specifying performance queries which combine instantaneous observations of model states and finite sequences of observations of model activities. We reali...
Allan Clark, Stephen Gilmore
FORTE
2004
13 years 8 months ago
Symbolic Performance and Dependability Evaluation with the Tool CASPA
This paper describes the tool CASPA, a new performance evaluation tool which is based on a Markovian stochastic process algebra. CASPA uses multi-terminal binary decision diagrams ...
Matthias Kuntz, Markus Siegle, Edith Werner
ICCS
2007
Springer
14 years 1 months ago
Monte Carlo Numerical Treatment of Large Linear Algebra Problems
In this paper we deal with performance analysis of Monte Carlo algorithm for large linear algebra problems. We consider applicability and efficiency of the Markov chain Monte Carlo...
Ivan Dimov, Vassil N. Alexandrov, Rumyana Papanche...