LEADER 04834nam 22007815 450 001 9910484812503321 005 20251226200124.0 010 $a3-540-75211-0 024 7 $a10.1007/978-3-540-75211-0 035 $a(CKB)1000000000490579 035 $a(SSID)ssj0000317707 035 $a(PQKBManifestationID)11246703 035 $a(PQKBTitleCode)TC0000317707 035 $a(PQKBWorkID)10295531 035 $a(PQKB)10858626 035 $a(DE-He213)978-3-540-75211-0 035 $a(MiAaPQ)EBC3063291 035 $a(MiAaPQ)EBC6806068 035 $a(Au-PeEL)EBL6806068 035 $a(OCoLC)487137359 035 $a(PPN)123165342 035 $a(BIP)32373986 035 $a(BIP)14495533 035 $a(EXLCZ)991000000000490579 100 $a20100301d2007 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aFormal Methods and Stochastic Models for Performance Evaluation $eFourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September 27-28, 2007, Proceedings /$fedited by Katinka Wolter 205 $a1st ed. 2007. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2007. 215 $a1 online resource (X, 304 p.) 225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v4748 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-540-75210-2 320 $aIncludes bibliographical references and index. 327 $aKeynote -- Optimization Problems in Service Provisioning Systems -- Markov Chains -- Untold Horrors About Steady-State Probabilities: What Reward-Based Measures Won?t Tell About the Equilibrium Distribution -- Compositionality for Markov Reward Chains with Fast Transitions -- Closed Form Absorption Time Bounds -- A Canonical Representation of Order 3 Phase Type Distributions -- Process Algebras and State Machines -- SPAMR: Extending PAMR with Stochastic Time -- Faster SPDL Model Checking Through Property-Driven State Space Generation -- Testing Finite State Machines Presenting Stochastic Time and Timeouts -- Grid and Peer-to-Peer Systems -- Evaluation of P2P Search Algorithms for Discovering Trust Paths -- Building Online Performance Models of Grid Middleware with Fine-Grained Load-Balancing: A Globus Toolkit Case Study -- Performance Measuring Framework for Grid Market Middleware -- Queueing Theory and Applications of Queueing -- A Fixed-Point Algorithm for Closed Queueing Networks -- A Framework for Automated Generation of Architectural Feedback from Software Performance Analysis -- Optimal Dynamic Server Allocation in Systems with On/Off Sources -- Towards an Automatic Modeling Tool for Observed System Behavior -- Benchmarking and Bounding -- Censoring Markov Chains and Stochastic Bounds -- Workload Characterization of the SPECjms2007 Benchmark -- Resource Sharing in Performance Models -- Exploiting Commodity Hard-Disk Geometry to Efficiently Preserve Data Consistency -- Wireless Networks -- An Efficient Counter-Based Broadcast Scheme for Mobile Ad Hoc Networks -- The Effect of Mobility on Local Service Discovery in the Ahoy Ad-Hoc Network System. 330 $aThis book constitutes the refereed proceedings of the 4th European Performance Engineering Workshop, EPEW 2007, held in Berlin, Germany, September 27-28, 2007. The 20 revised full papers presented were carefully reviewed and selected from 53 submissions. The papers are organized in topical sections on Markov Chains, Process Algebra, Wireless Networks, Queueing Theory and Applications of Queueing, Benchmarking and Bounding, Grid and Peer-to-Peer Systems. 410 0$aProgramming and Software Engineering,$x2945-9168 ;$v4748 606 $aComputer science 606 $aSoftware engineering 606 $aElectronic digital computers$xEvaluation 606 $aComputer networks 606 $aTheory of Computation 606 $aSoftware Engineering 606 $aSystem Performance and Evaluation 606 $aComputer Communication Networks 606 $aComputer Science Logic and Foundations of Programming 615 0$aComputer science. 615 0$aSoftware engineering. 615 0$aElectronic digital computers$xEvaluation. 615 0$aComputer networks. 615 14$aTheory of Computation. 615 24$aSoftware Engineering. 615 24$aSystem Performance and Evaluation. 615 24$aComputer Communication Networks. 615 24$aComputer Science Logic and Foundations of Programming. 676 $a004.24 702 $aWolter$b Katinka 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910484812503321 996 $aFormal Methods and Stochastic Models for Performance Evaluation$9772045 997 $aUNINA