13. Computer Performance Evaluation / TOOLS 2003: Urbana, IL, USA

Peter Kemper, William H. Sanders (Eds.): Computer Performance Evaluations, Modelling Techniques and Tools. 13th International Conference, TOOLS 2003, Urbana, IL, USA, September 2-5, 2003, Proceedings. Lecture Notes in Computer Science 2794 Springer 2003, ISBN 3-540-40814-2

Keynote Presentation

David M. Nicol, Michael Liljenstam, Jason Liu:
Multiscale Modeling and Simulation of Worm Effects on the Internet Routing Infrastructure. 1-10

Tools for Measuring, Benchmarking, and Online Control

Kai-Steffen Jens Hielscher, Reinhard German:
A Low-Cost Infrastructure for High Precision High Volume Performance Measurements of Web Clusters. 11-28
B. Chandrasekaran, Pete Wyckoff, Dhabaleswar K. Panda:
MIBA: A Micro-Benchmark Suite for Evaluating InfiniBand Architecture Implementations. 29-46
Katinka Wolter, Kristian Kasprowicz:
WebAppLoader: A Simulation Tool Set for Evaluating Web Application Performance. 47-62
Li Zhang, Zhen Liu, Anton Riabov, Monty Schulman, Cathy H. Xia, Fan Zhang:
A Comprehensive Toolset for Workload Characterization, Performance Modeling, and Online Control. 63-77

Tools for Evaluation of Stochastic Models

Gianfranco Ciardo, R. L. Jones III, Andrew S. Miner, Radu Siminiceanu:
Logical and Stochastic Modeling with SMART. 78-97
Anne Benoit, Leonardo Brenner, Paulo Fernandes, Brigitte Plateau, William J. Stewart:
The PEPS Software Tool. 98-115
Henrik C. Bohnenkamp, Holger Hermanns, Joost-Pieter Katoen, Ric Klaren:
The Modest Modeling Tool and Its Implementation. 116-133

Queueing Models

Luciano Lenzini, Beatrice Meini, Enzo Mingozzi, Giovanni Stea:
An M/G/1 Queuing System with Multiple Vacations to Assess the Performance of a Simplified Deficit Round Robin Model. 134-151
Peter G. Harrison, Soraya Zertal:
Queueing Models with Maxima of Service Times. 152-168
Tao Zheng, C. Murray Woodside:
Heuristic Optimization of Scheduling and Allocation for Distributed Systems with Soft Deadlines. 169-181

Markovian Arrival Processes and Phase-Type Distributions

Takayuki Osogami, Mor Harchol-Balter:
Necessary and Sufficient Conditions for Representing General Distributions by Coxians. 182-199
Takayuki Osogami, Mor Harchol-Balter:
A Closed-Form Solution for Mapping General Distributions to Minimal PH Distributions. 200-217
Peter Buchholz:
An EM-Algorithm for MAP Fitting from Real Traffic Data. 218-236
Armin Heindl, Kenneth Mitchell, Appie van de Liefvoort:
The Correlation Region of Second-Order MAPs with Application to Queueing Network Decomposition. 237-254

Supporting Model-Based Design of Systems

Jirka Klaue, Berthold Rathke, Adam Wolisz:
EvalVid - A Framework for Video Transmission and Quality Evaluation. 255-272
Boudewijn R. Haverkort, Rachid El Abdouni Khayari, Ramin Sadre:
A Class-Based Least-Recently Used Caching Algorithm for World-Wide Web Proxies. 273-290
Jing Xu, C. Murray Woodside, Dorina C. Petriu:
Performance Analysis of a Software Design Using the UML Profile for Schedulability, Performance, and Time. 291-307