LEADER 04145nam 2200565 450 001 996466091603316 005 20210330145123.0 010 $a3-540-87412-7 024 7 $a10.1007/978-3-540-87412-6 035 $a(CKB)1000000000490428 035 $a(SSID)ssj0000316882 035 $a(PQKBManifestationID)11212917 035 $a(PQKBTitleCode)TC0000316882 035 $a(PQKBWorkID)10288388 035 $a(PQKB)11297356 035 $a(DE-He213)978-3-540-87412-6 035 $a(MiAaPQ)EBC3063199 035 $a(MiAaPQ)EBC6426131 035 $a(PPN)129062847 035 $a(EXLCZ)991000000000490428 100 $a20210330d2008 uy 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 00$aComputer performance engineering $e5th European Performance Engineering Workshop, EPEW 2008, Palma de Mallorca, Spain, September 24-25, 2008 : proceedings /$fNigel Thomas, Carlos Juiz (editors) 205 $a1st ed. 2008. 210 1$aBerlin ;$aHeidelberg :$cSpringer,$d[2008] 210 4$d©2008 215 $a1 online resource (X, 272 p.) 225 1 $aProgramming and Software Engineering ;$v5261 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-87411-9 320 $aIncludes bibliographical references and index. 327 $aInvited 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. 330 $aThis 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. 410 0$aProgramming and Software Engineering ;$v5261 606 $aFormal methods (Computer science)$vCongresses 615 0$aFormal methods (Computer science) 676 $a004.0151 702 $aThomas$b Nigel$cDr., 702 $aJuiz$b Carlos 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996466091603316 996 $aComputer Performance Engineering$9774014 997 $aUNISA