799 search results - page 28 / 160 » Bound Performance Models of Heterogeneous Parallel Processin... |
117
click to vote
ICDCS
2007
IEEE
15 years 8 months ago
2007
IEEE
A fundamental problem in a large scale decentralized stream processing system is how to best utilize the available resources and admission control the bursty and high volume input...
112
click to vote
JPDC
2006
15 years 1 months ago
2006
Several schemes for checkpointing and rollback recovery have been reported in the literature. In this paper, we analyze some of these schemes under a stochastic model. We have der...
128
click to vote
HPDC
2010
IEEE
15 years 1 months ago
2010
IEEE
Massively multicore processors, like, for example, Graphics Processing Units (GPUs), provide, at a comparable price, a one order of magnitude higher peak performance than traditio...
134
click to vote
IFM
2010
Springer
15 years 7 days ago
2010
Springer
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...
ICPPW
2006
IEEE
15 years 7 months ago
2006
IEEE
This paper concerns the design and verification of a realtime communication protocol for sensor data collection and processing between an embedded computer and a DSP. In such sys...