04915nam 22007815 450 99646538390331620200702114846.03-540-46029-210.1007/3-540-46029-2(CKB)1000000000211720(SSID)ssj0000322110(PQKBManifestationID)11247758(PQKBTitleCode)TC0000322110(PQKBWorkID)10289098(PQKB)11277354(DE-He213)978-3-540-46029-9(MiAaPQ)EBC3071711(PPN)155199641(EXLCZ)99100000000021172020121227d2002 u| 0engurnn|008mamaatxtccrComputer Performance Evaluation: Modelling Techniques and Tools[electronic resource] Modelling Techniques and Tools. 12th International Conference, TOOLS 2002 London, UK, April 14-17, 2002 Proceedings /edited by Tony Field, Peter G. Harrison, Jeremy Bradley, Uli Harder1st ed. 2002.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2002.1 online resource (XII, 356 p.) Lecture Notes in Computer Science,0302-9743 ;2324Bibliographic Level Mode of Issuance: Monograph3-540-43539-5 Includes bibliographical references and index.Heavy 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.Lecture Notes in Computer Science,0302-9743 ;2324Computer engineeringComputersComputer system failuresSoftware engineeringComputer simulationComputer Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I27000Theory of Computationhttps://scigraph.springernature.com/ontologies/product-market-codes/I16005System Performance and Evaluationhttps://scigraph.springernature.com/ontologies/product-market-codes/I13049Software Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Simulation and Modelinghttps://scigraph.springernature.com/ontologies/product-market-codes/I19000Computer engineering.Computers.Computer system failures.Software engineering.Computer simulation.Computer Engineering.Theory of Computation.System Performance and Evaluation.Software Engineering.Simulation and Modeling.004.2/4Field Tonyedthttp://id.loc.gov/vocabulary/relators/edtHarrison Peter Gedthttp://id.loc.gov/vocabulary/relators/edtBradley Jeremyedthttp://id.loc.gov/vocabulary/relators/edtHarder Uliedthttp://id.loc.gov/vocabulary/relators/edtTOOLSMiAaPQMiAaPQMiAaPQBOOK996465383903316Computer Performance Evaluation. Modelling Techniques and Tools1945013UNISA