NSMC '99
Numerical Solution of Markov Chains.
Zaragoza, Spain
Proceedings Published by
Prensas Universitarias de Zaragoza
``Numerical Solution of Markov Chains''
Edited by
B. Plateau, W.J. Stewart and M. Silva
Proceedings of the 3rd International Workshop on the
Numerical Solution of Markov Chains is a collection of
peer-reviewed articles presented at the Workshop on Numerical
Solutions of Markov Chains which was held in September 1999
in Zaragoza, Spain.
The meeting was held jointly with
- PNPM '99: 8th International Workshop on Petri Nets and
Performance Models.
- PAPM '99: Process Algebra and Performance Modelling Workshop
Publisher
Editado por Prensas Universitarias de Zaragoza
C/ Pedro Cerbuna, 12
ISBN: 84-7733-512-5
Table of Contents
-
An efficient and accurate decomposition method for open finite and infinite
buffer queueing networks.
R. Sadre, B. Haverkort, A.Ost.
-
An aggregation-based solution method for M/G/1-type processes.
G. Ciardo, A. Riska, E. Smirni.
-
A class of Markov processes on a semi-infinite strip.
I. Adan, J. Resing.
-
Distributed disk-based solution techniques for large Markov models.
W. Knottenbelt, P. Harrison.
-
Distributed steady state analysis using Kronecker algebra.
P. Buchholz, M.Fischer, P. Kemper.
-
Experimental study of parallel iterative solutions of Markov chains.
with block partitions.
V. Migallon, J. Penades, D. Szyld.
-
Cascaded deterministic and stochastic Petri nets.
R. German.
-
Computational properties of algorithm "Refund" for the
fundamental/group inverse matrix of a Markov chain.
I. Sonin, J. Thornton.
-
Projection methods for the analysis of stochastic automata networks.
P. Buchholz.
-
Performability analysis of Markov reward models with rate and impulse rewards.
S. Racz, M. Telek.
-
Multi-terminal binary decision diagrams to represent and analyse
continuous time Markov chains.
H. Hermanns, J. Kayser, M. Siegle.
-
Bounds for rewards of systems with client/server interaction.
S. Donatelli, S. Haddad, P. Moreau, M. Sene.
-
Stochastic comparison, reorderings and NCD Markov chains.
T. Dayar, N. Pekergin.
-
A new algorithm for the design of finite capacity service units.
D. Bini, S. Chakravarthy, B. Meini.
-
Analysis of a delay-loss system with a super-imposed Markovian arrival
process and state-dependant service times.
U. Krieger, V. Naumov.
-
Modelling and simulation of interference noise in electronic
integrated circuits using Markov chain models.
A. Demir, P. Feldmann.
-
Efficiency of an IPhP-3 illustrated through a model in
cellular networks.
M. Remiche.
-
A Markovian approach on analyzing the performance of parallel/distributed
simulation under general computational graphs.
J. Lui, W. Lam.
Posters
-
Stochastic automata networks: Using structural properties to
reduce the state space.
J.M. Fourneau.
-
Asynchronous iterations for the solution of Markov systems.
M. Jarraya, D. El Baz.
-
Using non-symmetric permutations to solve large Markov chains.
F. Quessette, A. Troubnikoff.
-
Reliability computation of systems that operate in multiple
phases and multiple missions.
D. Twigg, A. Ramesh, U. Sandadi, A. Anand, C. Sharma.