Sciweavers

VOSS
2004
Springer
125views Mathematics» more  VOSS 2004»
14 years 4 months ago
Probabilistic Automata: System Types, Parallel Composition and Comparison
We survey various notions of probabilistic automata and probabilistic bisimulation, accumulating in an expressiveness hierarchy of probabilistic system types. The aim of this paper...
Ana Sokolova, Erik P. de Vink
VOSS
2004
Springer
135views Mathematics» more  VOSS 2004»
14 years 4 months ago
Analysing Randomized Distributed Algorithms
Abstract. Randomization is of paramount importance in practical applications and randomized algorithms are used widely, for example in co-ordinating distributed computer networks, ...
Gethin Norman
VOSS
2004
Springer
152views Mathematics» more  VOSS 2004»
14 years 4 months ago
Symbolic Representations and Analysis of Large Probabilistic Systems
Abstract. This paper describes symbolic techniques for the construction, representation and analysis of large, probabilistic systems. Symbolic approaches derive their efficiency by...
Andrew S. Miner, David Parker
VOSS
2004
Springer
118views Mathematics» more  VOSS 2004»
14 years 4 months ago
Serial Disk-based Analysis of Large Stochastic Models
Abstract. The paper presents a survey of out-of-core methods available for the analysis of large Markov chains on single workstations. First, we discuss the main sparse matrix stor...
Rashid Mehmood