Field / Harrison / Bradley Computer Performance Evaluation: Modelling Techniques and Tools

Modelling Techniques and Tools. 12th International Conference, TOOLS 2002 London, UK, April 14-17, 2002 Proceedings
Erscheinungsjahr 2003
ISBN: 978-3-540-46029-9
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark

E-Book, Englisch, 356 Seiten, Web PDF

Reihe: Lecture Notes in Computer Science

Zielgruppe

Research

Autoren/Hrsg.

Field, Tony

Harrison, Peter G.

Bradley, Jeremy

Harder, Uli

Inhaltsverzeichnis

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.