2 search results - page 1 / 1 » Evaluating fluid semantics for passive stochastic process al... |
94
Voted
PE
2010
Springer
14 years 5 months ago
2010
Springer
Fluid modelling is a next-generation technique for analysing massive performance models. Passive cooperation is a popular cooperation mechanism frequently used by performance engi...
103
Voted
EPEW
2008
Springer
15 years 19 days 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...