138
Voted
EPEW
15 years 4 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...
131
Voted
EPEW
15 years 4 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...
134
Voted
EPEW
15 years 4 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...
134
Voted
EPEW
15 years 4 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...
113
Voted
EPEW
15 years 4 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...
|
Internet Technology