752 search results - page 79 / 151 » A Markov Chain Model Checker |
CVPR
2008
IEEE
14 years 3 months ago
2008
IEEE
We propose a shape population metric that reflects the interdependencies between points observed in a set of examples. It provides a notion of topology for shape and appearance m...
VTC
2008
IEEE
14 years 3 months ago
2008
IEEE
Abstract— Multi-hop relaying has attracted considerable attention recently as a key technique for improving cell coverage and throughput in wireless communication. We modelled va...
DSN
2007
IEEE
14 years 3 months ago
2007
IEEE
In this paper, we present a variational Bayesian (VB) approach to computing the interval estimates for nonhomogeneous Poisson process (NHPP) software reliability models. This appr...
PRDC
1999
IEEE
14 years 1 months ago
1999
IEEE
In this paper we present an analytical model for estimating architecture-based software reliability, according to the reliability of each component, the operational profile, and t...
MASCOTS
2010
13 years 10 months ago
2010
In this paper, we develop a queuing theory based analytical model to evaluate the performance of transactional memory. Based on the statistical characteristics observed on actual e...