Computer Performance Evaluation Modelling Techniques and Tools: 9th International Conference, St. Malo, France, June 3-6, 1997 Proceedings

ISBN-13: 9783540631019 / Angielski / Miękka / 1997 / 239 str.

Raymond Marie; Brigitte Plateau; Maria Calzarossa

Opis

This book constitutes the refereed proceedings of the 9th International Conference on Modeling Techniques and Tools for Computer Performance Evaluation, held in St. Malo, France, in June 1997.
The volume presents 17 revised full papers carefully selected by the program committee for the proceedings; also included is an extended abstract of an invited talk. The collection of papers presented represents state-of-the-art work in computer performance evaluation. Among the issues addressed are fully distributed systems, statistical multiplexing for high-speed networks, and implications of the concept of dependability.

Spis treści

Performance prediction: An industry perspective.- TANGRAM-II: A performability modeling environment tool.- PENELOPE dependability evaluation and the optimization of performability.- Porting SHARPE on the Web: Design and implementation of a network computing platform using Java.- Storage alternatives for large structured state spaces.- An efficient disk-based tool for solving very large Markov models.- Efficient transient overload tests for real-time systems.- Towards an analytical tool for performance modelling of ATM networks by decomposition.- An embedded network simulator to support network protocols' development.- Synchronized two-way voice simulation tool for internet phone performance analysis and evaluation.- SPNL: Processes as language-oriented building blocks of stochastic Petri nets.- Performance engineering evaluation of object-oriented systems with SPE·ED TM.- Measurement tools and modeling techniques for evaluating web server performance.- Workload characterization of input/output intensive parallel applications.- Interval based workload characterization for distributed systems.- Bounding the loss rates in a multistage ATM switch.- Simple bounds for queues fed by Markovian sources: A tool for performance evaluation.- On queue length moments in fork and join queuing networks with general service times.