752 search results - page 34 / 151 » A Markov Chain Model Checker |
ENTCS
2008
13 years 8 months ago
2008
This paper considers QLtl, a quantitative analagon of Ltl and presents algorithms for model checking QLtl over quantitative versions of Kripke structures and Markov chains.
DSN
2005
IEEE
13 years 10 months ago
2005
IEEE
In general, decision support is one of the main purposes of model-based analysis of systems. Response surface methodology (RSM) is an optimization technique that has been applied ...
STOC
2009
ACM
14 years 9 months ago
2009
ACM
We analyze the mixing time of a natural local Markov chain (the Glauber dynamics) on configurations of the solid-onsolid model of statistical physics. This model has been proposed...
ICIP
2008
IEEE
14 years 3 months ago
2008
IEEE
We propose a new image and blur prior model, based on nonstationary autoregressive (AR) models, and use these to blindly deconvolve blurred photographic images, using the Gibbs sa...
IPPS
2007
IEEE
14 years 3 months ago
2007
IEEE
We propose several models based on discrete-time Markov chains for the analysis of Distributed Hash Tables (DHTs). Specifically, we examine the Pastry routing protocol, as well a...