This volume of LNCS contains papers presented at the 5th European Perf- mance Engineering Workshop held in Palma de Mallorca during September 24-25, 2008. The workshopis trulyinternational;the Europeanpartofthe title refersonly to its location. Papers were submitted from Asia, North and South America, although the majority were from Europe. In all, 39 papers were submitted from which 16 were chosen following peer review. Every member of the Programme Committee was responsible for reviewing at least ?ve papers each in a little over two weeks; a degree of dedication without which the workshop could not be a success. The selection criteria were harsh and by necessity several excellent papers were rejected. However, the result is a programme of the highest quality. Theacceptedpapersre?ectthediversityofmodernperformanceengineering. There were a number of papers presented which tackled theoretical modelling issuesinstochasticprocessalgebra, stochasticactivitynetworks, queueingtheory andthe analysisofMarkovchains.Otherpapersaddressedpracticalproblemsin communications networks, embedded systems and resource allocation. For the ?rst time at EPEW there was a paper concerning the evaluation of trust. There was also a session on software performance engineering, showing the continued importance of this area within the wider performance community. We were delighted to have keynote presentations from Boudewijn Haverkort ofTwenteUniversityandStephenGilmoreoftheUniversityofEdinburgh.These talks re?ected the state of performance engineering today. Professor Haverkort presented a personal perspective on 20 years of performance engineering. Dr. Gilmore presented an overview of recent developments in ?uid modelling using stochastic process algebra; a powerful approach for modelling large-scale pr- lems in computing and biochemistr5th European Performance Engineering Workshop, EPEW 2008, Palma de Mallorca, Spain, September 24-25, 2008, ... It is known that Markovian bisimilarity corresponds to ordinary lumpability and that Markovian testing and trace ... These equivalences can be exploited in practice for reducing the state space underlyingamodel before functionalverification ... of the first one, the transient/ stationary probabilityofbe- ing in amacrostate ofthesecondCTMC isthesumofthetransient/stationaryanbsp;...
|Title||:||Computer Performance Engineering|
|Author||:||Nigel Thomas, Carlos Juiz|
|Publisher||:||Springer Science & Business Media - 2008-09-10|