181
click to vote
EPEW
15 years 8 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...
183
Voted
EPEW
15 years 8 months ago
2008 Springer
We define a mechanism for specifying performance queries which combine instantaneous observations of model states and finite sequences of observations of model activities. We reali...
190
click to vote
EPEW
15 years 8 months ago
2008 Springer
Currently compilers contain a large number of optimisations which are based on a set of heuristics that are not guaranteed to be effective to improve the performance metrics. In th...
179
Voted
EPEW
15 years 8 months ago
2008 Springer
Abstract. Component-based software performance engineering (CBSPE) methods shall enable software architects to assess the expected response times, throughputs, and resource utiliza...
155
click to vote
EPEW
15 years 8 months ago
2008 Springer
Embedded systems operating on high data workloads are becoming pervasive. ECA rule engines provide a flexible environment to support the management, reconfiguration and execution o...
|