752 search results - page 93 / 151 » A Markov Chain Model Checker |
129
click to vote
ARTS
1999
Springer
15 years 7 months ago
1999
Springer
Published results show that various models may be obtained by combining parallel composition with probability and with or without non-determinism. In this paper we treat this probl...
120
Voted
ISLPED
1998
ACM
15 years 7 months ago
1998
ACM
- The objective of this paper is to provide lower and upper bounds for the switching activity on the state lines in Finite State Machines (FSMs). Using a Markov chain model for the...
103
click to vote
DAC
1997
ACM
15 years 7 months ago
1997
ACM
- This paper presents an effective technique for compacting a large sequence of input vectors into a much smaller one such that when the two sequences are applied to any circuit, t...
140
click to vote
CCS
2009
ACM
15 years 7 months ago
2009
ACM
This work casts the traffic analysis of anonymity systems, and in particular mix networks, in the context of Bayesian inference. A generative probabilistic model of mix network ar...
101
Voted
WSC
2007
15 years 5 months ago
2007
A new approach for overcoming broken ergodicity in Markov Chain Monte Carlo (MCMC) simulations of complex systems is described. The problem of broken ergodicity is often present i...