117
click to vote
EPEW
15 years 2 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...
110
click to vote
EPEW
15 years 2 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...
119
click to vote
EPEW
15 years 2 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...
120
click to vote
EPEW
15 years 2 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...
94
Voted
EPEW
15 years 2 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...
|