LEADER 06487nam 22008055 450 001 9910143909103321 005 20251116234302.0 010 $a3-540-46029-2 024 7 $a10.1007/3-540-46029-2 035 $a(CKB)1000000000211720 035 $a(SSID)ssj0000322110 035 $a(PQKBManifestationID)11247758 035 $a(PQKBTitleCode)TC0000322110 035 $a(PQKBWorkID)10289098 035 $a(PQKB)11277354 035 $a(DE-He213)978-3-540-46029-9 035 $a(MiAaPQ)EBC3071711 035 $a(PPN)155199641 035 $a(BIP)7609331 035 $a(EXLCZ)991000000000211720 100 $a20121227d2002 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aComputer Performance Evaluation: Modelling Techniques and Tools $eModelling Techniques and Tools. 12th International Conference, TOOLS 2002 London, UK, April 14-17, 2002 Proceedings /$fedited by Tony Field, Peter G. Harrison, Jeremy Bradley, Uli Harder 205 $a1st ed. 2002. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2002. 215 $a1 online resource (XII, 356 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v2324 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-540-43539-5 320 $aIncludes bibliographical references and index. 327 $aHeavy Tails: The Effect of the Service Discipline -- The Möbius State-Level Abstract Functional Interface -- The ProC/BToolset for the Modelling and Analysis of Process Chains -- MRMSolve: Distribution Estimation of Large Markov Reward Models -- PhFit: A General Phase-Type Fitting Tool -- Traffic Modeling of IP Networks Using the Batch Markovian Arrival Process -- PEPA Nets: A Structured Performance Modelling Formalism -- Validation of GSPN and SWN Models through the PROD Tool -- Software Performance Models from System Scenarios in Use Case Maps -- Applying the UML Performance Profile: Graph Grammar-Based Derivation of LQN Models from UML Specifications -- A Passage-Time Preserving Equivalence for Semi-Markov Processes -- Symbolic Methods for the State Space Exploration of GSPN Models -- PRISM: Probabilistic Symbolic Model Checker -- MAMSolver: A Matrix Analytic Methods Tool -- The MOMBASA Software Environment - A Toolkit for Performance Evaluation of Multicast-Based Mobility Support -- GILK: A Dynamic Instrumentation Tool for the Linux Kernel -- Geist: A Web Traffic Generation Tool -- DrawNET++: Model Objects to Support Performance Analysis and Simulation of Systems -- A Visual Formalism for the Composition of Stochastic Petri Nets -- Symbolic Performance Prediction of Data-Dependent Parallel Programs -- Analysis of a Transaction System with Checkpointing, Failures, and Rollback -- Analyzing Voice-over-IP Subjective Quality as a Function of Network QoS: A Simulation-Based Methodology and Tool -- Hierarchical Workload Characterization for a Busy Web Server -- Enabling Network Caching of Dynamic Web Objects -- A Tool for Controlling Response Time in Real-Time Systems. 330 $aThe argument for performance engineering methods to be employed in comput- communication systems has always been that such systems cannot be designed or modi'ed e'ciently without recourse to some form of predictive model, just as in other ?elds of engineering. This argument has never been more valid than it is with today's highly complex combination of communication and com- ter technologies. These have created the internet, the grid, and diverse types of parallel and distributed computer systems. To be practical, performance - gineering relies on tools to render its use accessible to the non-performance specialist, and in turn these depend on sound techniques that include analytical methods, stochastic models, and simulation. Tools and techniques also need to be parameterised and validated against real world observations, requiring - phisticated measurement techniques in the picosecond cyber-world. The series of "International Conferences on Modelling Techniques and Tools for Computer Performance Evaluation" (TOOLS) has provided a forum for this community of performance engineers with all their diverse interests. TOOLS 2002, held in London in April 2002, was the continuation of this series, which comprises: 1984 Paris 1991 Torino 1997 Saint Malo 1985 Sophia Antipolis 1992 Edinburgh 1998 Palma 1987 Paris 1994 Wien 2000 Chicago 1988 Palma 1995 Heidelberg 2002 London This year we were fortunate to have two prominent invited speakers, Onno Boxma, Eindhoven University of Technology, and Peter Key of Microsoft - search, Cambridge. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v2324 606 $aComputer engineering 606 $aComputers 606 $aComputer system failures 606 $aSoftware engineering 606 $aComputer simulation 606 $aComputer Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I27000 606 $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005 606 $aSystem Performance and Evaluation$3https://scigraph.springernature.com/ontologies/product-market-codes/I13049 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aSimulation and Modeling$3https://scigraph.springernature.com/ontologies/product-market-codes/I19000 615 0$aComputer engineering. 615 0$aComputers. 615 0$aComputer system failures. 615 0$aSoftware engineering. 615 0$aComputer simulation. 615 14$aComputer Engineering. 615 24$aTheory of Computation. 615 24$aSystem Performance and Evaluation. 615 24$aSoftware Engineering. 615 24$aSimulation and Modeling. 676 $a004.2/4 702 $aField$b Tony$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aHarrison$b Peter G$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aBradley$b Jeremy$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aHarder$b Uli$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aTOOLS 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910143909103321 996 $aComputer Performance Evaluation. Modelling Techniques and Tools$91945013 997 $aUNINA