752 search results - page 38 / 151 » A Markov Chain Model Checker |
127
click to vote
CSDA
2010
15 years 3 months ago
2010
Recently developed adaptive Markov chain Monte Carlo (MCMC) methods have been applied successfully to many problems in Bayesian statistics. Grapham is a new open source implementat...
133
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
We present a numerical approximation technique for the analysis of continuous-time Markov chains that describe networks of biochemical reactions and play an important role in the ...
118
click to vote
ICCAD
1994
IEEE
15 years 7 months ago
1994
IEEE
This work presents techniques for computing the switching activities of all circuit nodes under pseudorandom or biased input sequences and assuming a zero delay mode of operation....
120
click to vote
SYRCODIS
2008
15 years 4 months ago
2008
In this paper we offer several models of reference sequences (traces of references) using Markov chains for testing of the replacement policies in caching systems. These models en...
162
click to vote
JSAC
2008
15 years 1 months ago
2008
In this paper we design a cognitive radio that can coexist with multiple parallel WLAN channels while abiding by an interference constraint. The interaction between both systems is...