Description |
1 online resource (x, 267 pages) : illustrations |
Series |
Lecture notes in computer science, 0302-9743 ; 5261 |
|
LNCS sublibrary. Programming and software engineering ; SL 2 |
|
LNCS sublibrary. SL 2, Programming and software engineering.
|
|
Lecture notes in computer science ; 5261.
|
Contents |
Invited Papers -- Performance and Dependability Evaluation: Successes, Failures and Challenges -- Partial Evaluation of PEPA Models for Fluid-Flow Analysis -- Software Performance Engineering -- An Empirical Investigation of the Applicability of a Component-Based Performance Prediction Method -- A Calibration Framework for Capturing and Calibrating Software Performance Models -- Performance Evaluation of Embedded ECA Rule Engines: A Case Study -- Stochastic Process Algebra and SANs -- Towards State Space Reduction Based on T-Lumpability-Consistent Relations -- A Ticking Clock: Performance Analysis of a Circadian Rhythm with Stochastic Process Algebra -- Assembly Code Analysis Using Stochastic Process Algebra -- Product Form Steady-State Distribution for Stochastic Automata Networks with Domino Synchronizations -- Performance Query Specification and Measurement -- State-Aware Performance Analysis with eXtended Stochastic Probes -- Computer and Communications Networks -- Natural Language Specification of Performance Trees -- Recurrent Method for Blocking Probability Calculation in Multi-service Switching Networks with BPP Traffic -- An Approximate Model of the WCDMA Interface Servicing a Mixture of Multi-rate Traffic Streams with Priorities -- Queueing Theory and Markov Chains -- Performance Analysis of Dynamic Priority Shifting -- Performance Analysis of a Priority Queue with Place Reservation and General Transmission Times -- Analysis of BMAP/G/1 Vacation Model of Non-M/G/1-Type -- Applications -- Stochastic Bounds for Partially Generated Markov Chains: An Algebraic Approach -- Evaluation of P2P Algorithms for Probabilistic Trust Inference in a Web of Trust -- Approximation for Multi-service Systems with Reservation by Systems with Limited-Availability |
Summary |
This book constitutes the proceedings of the Fifth European Performance Engineering Workshop, EPEW 2008, held in Palma de Mallorca, Spain, in September 24-25, 2008. The 17 papers presented in this volume, together with abstracts of 2 invited papers, were carefully reviewed and selected from 39 submissions. The topics covered are software performance engineering; stochastic process algebra and SANs; performance query specification and measurement; computer and communications networks; queueing theory and Markov chains; and applications |
Bibliography |
Includes bibliographical references and index |
Notes |
Print version record |
Subject |
Formal methods (Computer science) -- Congresses
|
|
Stochastic models -- Congresses
|
|
Computer systems -- Evaluation -- Congresses
|
|
Informatique.
|
|
Computer systems -- Evaluation.
|
|
Formal methods (Computer science)
|
|
Stochastic models.
|
Genre/Form |
Conference papers and proceedings.
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
Form |
Electronic book
|
Author |
Thomas, Nigel, Dr.
|
|
Juiz, Carlos.
|
ISBN |
9783540874126 |
|
3540874127 |
|