200 search results - page 14 / 40 » Statistical Abstraction and Model-Checking of Large Heteroge... |
TC
2010
13 years 2 months ago
2010
Abstract-- Scheduling problems are already difficult on traditional parallel machines, and they become extremely challenging on heterogeneous clusters. In this paper we deal with t...
CDC
2008
IEEE
14 years 2 months ago
2008
IEEE
Abstract— Design trade-offs between estimation performance, processing delay and communication cost for a sensor scheduling problem is discussed. We consider a heterogeneous sens...
INFOCOM
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract—In large-scale peer-to-peer (P2P) live streaming systems with a limited supply of server bandwidth, increasing the amount of upload bandwidth supplied by peers becomes c...
MMB
2010
Springer
13 years 10 months ago
2010
Springer
Abstract. Bisimulation reduction is a classical means to fight the infamous state space explosion problem, which limits the applicability of automated methods for verification li...
QOSA
2010
Springer
13 years 12 months ago
2010
Springer
Software performance engineering (SPE) enables software architects to ensure high performance standards for their applications. However, applying SPE in practice is still challengi...