79 search results - page 2 / 16 » A hybrid Markov chain model for workload on parallel compute... |
ACMSE
1992
ACM
13 years 9 months ago
1992
ACM
A scheme for disk subsystem performance enhancement that is based on (virtual) cylinder remapping is proposed. A natural workload on a real system is measured, and statistical tes...
ICPP
2007
IEEE
13 years 11 months ago
2007
IEEE
We present two parallel algorithms and their Unified Parallel C implementations for Bayesian indoor positioning systems. Our approaches are founded on Markov Chain Monte Carlo si...
CCGRID
2009
IEEE
13 years 11 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...
CONCUR
2009
Springer
13 years 11 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 ...
CORR
2010
Springer
13 years 5 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 ...