Computer Performance Evaluation Modelling Techniques and Tools: 9th International Conference, St. Malo, France, June 3-6, 1997 Proceedings (Lecture Notes in Computer Science, 1245)

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. Performance Prediction : An Industry Perspective / Peter Utton And Brian Hill -- Tangram-ii : A Performability Modeling Environment Tool / Rosa M.l.r. Carmo [and Others] -- Penelope : Dependability Evaluation And The Optimization Of Performability / Hermann De Meer And Hana S̆evc̆íková -- Porting Sharpe On The Web : Design And Implementation Of A Network Computing Platform Using Java / Antonio Puliafito, Orazio Tomarchio And Lorenzo Vita -- Storage Alternatives For Large Structured State Spaces / Gianfranco Ciardo And Andrew S. Miner -- An Efficient Disk-based Tool For Solving Very Large Markov Models / Daniel D. Deavours And William H. Sanders -- Efficient Transient Overload Tests For Real-time Systems / Guillem Bernat, Alan Burns And Albert Llamosí -- Towards An Analytical Tool For Performance Modeling Of Atm Networks By Decomposition / Gerhard Hasslinger -- An Embedded Network Simulator To Support Network Protocols' Development / Luigi Rizzo --^ Synchronized Two-way Voice Simulation For Internet Phone Performance Analysis And Evaluation / Adrian E. Conway, Sue B. Moon And Paul Skelly -- Spnl : Process As Language-oriented Building Blocks Of Stochastic Petri Nets / Reinhard German -- Performance Engineering Evaluation Of Object-oriented Systems With Spe. Ed [superscript Registered Trademark Symbol] / Connie U. Smith And Lloyd G. Williams -- Measurement Tools And Modeling Techniques For Evaluating Web Server Performance / John Dilley [and Others] -- Workload Characterization Of Input/output Intensive Parallel Applications / Eugenia Smirni And Daniel A. Reed -- Interval Based Workload Characterization For Distributed Systems / M. Braun And G. Kotsis -- Bounding The Loss Rates In A Multistage Atm Switch / J.-m. Fourneau, L. Mokdad And N. Pekergin -- Simple Bounds For Queues Fed By Markovian Sources : A Tool For Performance Evaluation / Brian Mcgurk And Raymond Russell --^ On Queue Length Moments In Fork And Join Queuing Networks With General Service Times / Simonetta Balsamo And Ivan Mura. Raymond Marie, Gerardo Rubino (eds.). Includes Bibliographical References. Performance prediction: An industry perspective....Pages 1-5 TANGRAM-II: A performability modeling environment tool....Pages 6-18 PENELOPE dependability evaluation and the optimization of performability....Pages 19-31 Porting SHARPE on the Web: Design and implementation of a network computing platform using Java....Pages 32-43 Storage alternatives for large structured state spaces....Pages 44-57 An efficient disk-based tool for solving very large Markov models....Pages 58-71 Efficient transient overload tests for real-time systems....Pages 72-82 Towards an analytical tool for performance modelling of ATM networks by decomposition....Pages 83-96 An embedded network simulator to support network protocols' development....Pages 97-107 Synchronized two-way voice simulation tool for internet phone performance analysis and evaluation....Pages 108-122 SPNL: Processes as language-oriented building blocks of stochastic Petri nets....Pages 123-134 Performance engineering evaluation of object-oriented systems with SPE·ED TM ....Pages 135-154 Measurement tools and modeling techniques for evaluating web server performance....Pages 155-168 Workload characterization of input/output intensive parallel applications....Pages 169-180 Interval based workload characterization for distributed systems....Pages 181-192 Bounding the loss rates in a multistage ATM switch....Pages 193-205 Simple bounds for queues fed by Markovian sources: A tool for performance evaluation....Pages 206-217 On queue length moments in fork and join queuing networks with general service times....Pages 218-231