We are pleased to present the proceedings of Performance TOOLS 2003, the 13th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation. The series of TOOLS conferences has provided a forum for our community of performance engineers with all their diverse interests. TOOLS 2003, held in Urbana, Illinois during September 2-5, 2003, was the most recent meeting of the series, which in the past has been held in the following cities: 1984 Paris 1992 Edinburgh 2000 Chicago 1985 Sophia-Antipolis 1994 Vienna 2002 London 1987 Paris 1995 Heidelberg 2003 Urbana 1988 Palma 1997 Saint Malo 1991 Turin 1998 Palma TheproceedingsoftheTOOLSconferenceshavebeenpublishedbySpringer- Verlag in its LNCS series since 1994. TOOLS2003wasthesecondconferenceintheseriestobeheldinthestateof Illinois, USA. It was one of four component conferences that met together under the umbrella of the 2003 Illinois Multiconference on Measurement, Modelling, and Evaluation of Computer-Communication Systems. Other conferences held inconjunctionwithTOOLS2003werethe10thInternationalWorkshoponPetri Nets and Performance Models (PNPM 2003), the International Conference on the Numerical Solution of Markov Chains (NSMC 2003), and the 6th Inter- tional Workshop on Performability Modeling of Computer and Communication Systems (PMCCS-6). The format allowed for a number of joint components in the programs: the three keynote speakers, the tool demonstrations, the tutorials, and the social events were all shared by the participants of the multiconference. Moreover, the PNPM, TOOLS, and NSMC tracks of the multiconference ran concurrently, so that attendees could choose to attend whichever sessions of those component conferences they wished.

Keynote Presentation.- Multiscale Modeling and Simulation of Worm Effects on the Internet Routing Infrastructure.- Tools for Measuring, Benchmarking, and Online Control.- A Low-Cost Infrastructure for High Precision High Volume Performance Measurements of Web Clusters.- MIBA: A Micro-Benchmark Suite for Evaluating InfiniBand Architecture Implementations.- WebAppLoader: A Simulation Tool Set for Evaluating Web Application Performance.- A Comprehensive Toolset for Workload Characterization, Performance Modeling, and Online Control.- Tools for Evaluation of Stochastic Models.- Logical and Stochastic Modeling with Smart.- The Peps Software Tool.- The Modest Modeling Tool and Its Implementation.- Queueing Models.- An M/G/1 Queuing System with Multiple Vacations to Assess the Performance of a Simplified Deficit Round Robin Model.- Queueing Models with Maxima of Service Times.- Heuristic Optimization of Scheduling and Allocation for Distributed Systems with Soft Deadlines.- Markovian Arrival Processes and Phase-Type Distributions.- Necessary and Sufficient Conditions for Representing General Distributions by Coxians.- A Closed-Form Solution for Mapping General Distributions to Minimal PH Distributions.- An EM-Algorithm for MAP Fitting from Real Traffic Data.- The Correlation Region of Second-Order MAPs with Application to Queueing Network Decomposition.- Supporting Model-Based Design of Systems.- EvalVid - A Framework for Video Transmission and Quality Evaluation.- A Class-Based Least-Recently Used Caching Algorithm for World-Wide Web Proxies.- Performance Analysis of a Software Design Using the UML Profile for Schedulability, Performance, and Time.