Computer Performance Evaluation.Modelling Techniques and Tools: 11th International Conference, TOOLS 2000 Schaumburg, IL, USA, March 27–31, 2000 Proceedings
Author: Boudewijn R. Haverkort, Henrik C. Bohnenkamp, Connie U. Smith
Published by Springer Berlin Heidelberg
ISBN: 978-3-540-67260-9
DOI: 10.1007/3-540-46429-8

Table of Contents:

Performance Evaluation with Heavy Tailed Distributions
Layered Modeling of Hardware and Software, with Application to a LAN Extension Router
Object Allocation for Distributed Applications with Complex Workloads
A Set of Tools for Traffic Modeling, Analysis and Experimentation
Queueing Analysis of Pools in Soft Real-Time Systems
Xaba: Exact, Approximate, and Asymptotic Solvers for Multi-class Closed Queueing Networks
Decomposition of General Tandem Queueing Networks with MMPP Input
Exact and Approximate Solutions for a Class of Infinite Markovian Models
Performance Evaluation of a Distributed Enterprise Data Mining System
Minimization of the Impact of Subscriber Mobility on the Resources of a GSM Network
Optimal Allocation Policies for Mobile Agents
Iterative Analysis of Markov Regenerative Models
Analysis and Evaluation of Non-Markovian Stochastic Petri Nets
Petri Net Modelling and Performability Evaluation with TimeNET 3.0
Integrating Synchronization with Priority into a Kronecker Representation
Implementation of Importance Splitting Techniques in Stochastic Petri Net Package
FluidSim: A Tool to Simulate Fluid Models of High-Speed Networks
Exploiting Modal Logic to Express Performance Measures
Derivation of Petri Net Performance Models from UML Specifications of Communications Software
Scalability of a Workstation Cluster Architecture for Video-on-Demand Applications

Includes bibliographical references and index
Performance Evaluation with Heavy Tailed Distributions / Mark E. Crovella -- Layered Modeling of Hardware and Software, with Application to a LAN Extension Router / Peter Maly and C. Murray Woodside -- Object Allocation for Distributed Applications with Complex Workloads / Marin Litoiu and Jerome Rolia -- A Set of Tools for Traffic Modeling, Analysis and Experimentation / Rosa M. M. Leao, Edmundo de Souza e Silva and Sidney C. de Lucena -- Queueing Analysis of Pools in Soft Real-Time Systems / Carlos Juiz and Ramon Puigjaner -- Xaba: Exact, Approximate, and Asymptotic Solvers for Multi-class Closed Queueing Networks / Paolo Cremonesi, Emilia Rosti and Giuseppe Serazzi -- Decomposition of General Tandem Queueing Networks with MMPP Input / Armin Heindl -- Exact and Approximate Solutions for a Class of Infinite Markovian Models / Michela Meo, Edmundo de Souza e Silva and Marco Ajmone Marsan -- Performance Evaluation of a Distributed Enterprise Data Mining System / Peter G. Harrison and Catalina M. Llado -- Minimization of the Impact of Subscriber Mobility on the Resources of a GSM Network / Claus Bauer -- Optimal Allocation Policies for Mobile Agents / M. D. Hamilton and I. Mitrani -- Iterative Analysis of Markov Regenerative Models / Reinhard German -- Analysis and Evaluation of Non-Markovian Stochastic Petri Nets / Andras Horvath, Antonio Pulifito and Marco Scarpa / [et al.] -- Petri Net Modelling and Performability Evaluation with TimeNET 3.0 / Armin Zimmermann, Jorn Freiheit and Reinhard German / [et al.] -- Integrating Synchronization with Priority into a Kronecker Representation / Susanna Donatelli and Peter Kemper -- Implementation of Importance Splitting Techniques in Stochastic Petri Net Package / Bruno Tuffin and Kishor S. Trivedi -- FluidSim: A Tool to Simulate Fluid Models of High-Speed Networks / Jose Incera, Raymond Marie and David Ros / [et al.] -- Exploiting Modal Logic to Express Performance Measures / Graham Clark, Stephen Gilmore and Jane Hillston / [et al.] -- Derivation of Petri Net Performance Models from UML Specifications of Communications Software / Peter King and Rob Pooley -- Scalability of a Workstation Cluster Architecture for Video-on-Demand Applications / Peter H. Hughes and Gunnar Brataas -- Multilayer Online-Monitoring for Hybrid DSM Systems on Top of PC Clusters with a SMiLE / Wolfgang Karl, Martin Schulz and Jorg Trinitis -- Design and Implementation of a Tool for Measuring the Performance of Complex E-commerce Sites / Goedson T. Paixao, Wagner Merin, Jr. and Virgilio A. F. Almeida / [et al.] -- FiFiQueues: Fixed-Point Analysis of Queueing Networks with Finite-Buffer Stations / Ramin Sadre and Boudewijn R. Haverkort -- Galileo: A Tool for Dynamic Fault Tree Analysis / Joanne Bechta Dugan -- Mobius: An Extensible Tool for Performance and Dependability Modeling / David Daly, Daniel D. Deavours and Jay M. Doyle / [et al.] -- MRMSolve: A Tool for Transient Analysis of Large Markov Reward Models / Sandor Racz, Bela P. Toth and Miklos Telek -- Calculation and Use of Peaking Factors for Remote Terminal Emulation / William A. Ward, Jr. and David D. Langan -- Reliability and Performability Modeling Using SHARPE 2000 / C. Hirel, R. Sahner and X. Zang / [et al.] -- The Simalytic Modeling Technique: Overview for Application Performance Analysis / Tim R. Norton -- SPNP: Stochastic Petri Nets. Version 6.0 / Christophe Hirel, Bruno Tuffin and Kishor S. Trivedi -- SREPT: Software Reliability Estimation and Prediction Tool / Srinivasan Ramani and Kishor S. Trivedi -- STEADY -- A Tool for Predicting Performance of Parallel DBMSs / Euan W. Dempster, M. Howard Williams and Neven T. Tomov / [et al.] -- The TANGRAM-II Environment / Edmundo de Souza e Silva and Rosa M. M. Leao -- Implementing Symbolic Models for Value Passing in Two Towers / Marco Bernardo -- Monitoring Application-Level VoIP Grade of Service at a PSTN-IP Network Gateway / Adrian E. Conway -- [chi]Prof-SDL: A Tool for Identifying Performance Bottlenecks of Software Architectural Design / J. Jenny Li and J. Robert Horgan