660 search results - page 2 / 132 » Parallel Computer Workload Modeling with Markov Chains |
104
Voted
CCGRID
2009
IEEE
15 years 7 months ago
2009
IEEE
—In order to meet the increasing demands of present and upcoming data-intensive computer applications, there has been a major shift in the disk subsystem, which now consists of m...
107
Voted
CONCUR
2009
Springer
15 years 7 months ago
2009
Springer
We propose how to present and compute a counterexample in probabilistic LTL model checking for discrete-time Markov chains. In qualitative probabilistic model checking, we present ...
103
Voted
IPPS
2002
IEEE
15 years 6 months ago
2002
IEEE
A bulk synchronous computation proceeds in phases that are separated by barrier synchronization. For dynamic bulk synchronous computations that exhibit varying phase-wise computat...
BMVC
2000
15 years 2 months ago
2000
We tackle the problem of object recognition using a Bayesian approach. A marked point process [1] is used as a prior model for the (unknown number of) objects. A sample is generat...
128
click to vote
CONCUR
1999
Springer
15 years 5 months ago
1999
Springer
d abstract) Christel Baiera, Joost-Pieter Katoenb;c and Holger Hermannsc aLehrstuhl fur Praktische Informatik II, University of Mannheim 68131 Mannheim, Germany bLehrstuhl fur Info...