2025 search results - page 2 / 405 » Software performance modelling using PEPA nets |
EPEW
2008
Springer
13 years 6 months ago
2008
Springer
Abstract. We present an application of partial evaluation to performance models expressed in the PEPA stochastic process algebra [1]. We partially evaluate the state-space of a PEP...
GLOBAL
2003
Springer
13 years 10 months ago
2003
Springer
Abstract. Global computing applications co-ordinate distributed computations across widely-dispersed hosts. Such systems present formidable design and implementation challenges to ...
MASCOTS
2003
13 years 6 months ago
2003
We present a technique for defining and extracting passage-time densities from high-level stochastic process algebra models. Our high-level formalism is PEPA, a popular Markovian...
ENTCS
2010
13 years 5 months ago
2010
The cost of deploying a ubiquitous system to enhance a physical environment is likely to be considerable. The success of its deployment is highly dependent on its context: the phy...
IPPS
2006
IEEE
13 years 11 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...