| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996466091603316 |
|
|
Titolo |
Computer performance engineering : 5th European Performance Engineering Workshop, EPEW 2008, Palma de Mallorca, Spain, September 24-25, 2008 : proceedings / / Nigel Thomas, Carlos Juiz (editors) |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin ; ; Heidelberg : , : Springer, , [2008] |
|
©2008 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2008.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (X, 272 p.) |
|
|
|
|
|
|
Collana |
|
Programming and Software Engineering ; ; 5261 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Formal methods (Computer science) |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
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. |
|
|
|
|
|
|
Sommario/riassunto |
|
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. |
|
|
|
|
|
|
|
| |