660 search results - page 6 / 132 » Parallel Computer Workload Modeling with Markov Chains |
120
Voted
IPPS
2006
IEEE
15 years 8 months ago
2006
IEEE
In this paper we show how high-level UML models of mobile computing applications can be analysed for classical performance measures such as throughput. The approach proceeds by co...
174
Voted
CVPR
2009
IEEE
16 years 1 months ago
2009
IEEE
Many vision problems have been formulated as en- ergy minimization problems and there have been signif- icant advances in energy minimization algorithms. The most widely-used energ...
131
Voted
MMB
2010
Springer
15 years 4 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...
118
Voted
EOR
2007
15 years 2 months ago
2007
Performance evaluation of complex systems is a critical issue and bounds computation provides confidence about service quality, reliability, etc. of such systems. The stochastic ...
103
Voted
NDSS
2009
IEEE
15 years 9 months ago
2009
IEEE
