Computer Performance Evaluation: Modelling Techniques and Tools

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.