This book constitutes the refereed proceedings of the 11th International Conference on Modelling Tools and Techniques for Computer Communication System Performance Evaluation, TOOLS 2000, held in Schaumburg, IL, USA in March 2000. The 21 revised full papers presented were carefully reviewed and selected from a total of 49 submissions. Also included are 15 tool descriptions and one invited paper. The papers are organized in topical sections on queueing network models, optimization in mobile networks, stochastic Petri nets, simulation, formal methods and performance evaluation, and measurement tools and applications.
Author(s): Mark E. Crovella (auth.), Boudewijn R. Haverkort, Henrik C. Bohnenkamp, Connie U. Smith (eds.)
Series: Lecture Notes in Computer Science 1786
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2000
Language: English
Pages: 390
Tags: System Performance and Evaluation; Software Engineering; Simulation and Modeling
Performance Evaluation with Heavy Tailed Distributions....Pages 1-9
Layered Modeling of Hardware and Software, with Application to a LAN Extension Router....Pages 10-24
Object Allocation for Distributed Applications with Complex Workloads....Pages 25-39
A Set of Tools for Traffic Modeling, Analysis and Experimentation....Pages 40-55
Queueing Analysis of Pools in Soft Real-Time Systems....Pages 56-70
Xaba: Exact, Approximate, and Asymptotic Solvers for Multi-class Closed Queueing Networks....Pages 71-85
Decomposition of General Tandem Queueing Networks with MMPP Input....Pages 86-100
Exact and Approximate Solutions for a Class of Infinite Markovian Models....Pages 101-117
Performance Evaluation of a Distributed Enterprise Data Mining System....Pages 117-131
Minimization of the Impact of Subscriber Mobility on the Resources of a GSM Network....Pages 132-144
Optimal Allocation Policies for Mobile Agents....Pages 145-155
Iterative Analysis of Markov Regenerative Models....Pages 156-170
Analysis and Evaluation of Non-Markovian Stochastic Petri Nets....Pages 171-187
Petri Net Modelling and Performability Evaluation with TimeNET 3.0....Pages 188-202
Integrating Synchronization with Priority into a Kronecker Representation....Pages 203-215
Implementation of Importance Splitting Techniques in Stochastic Petri Net Package....Pages 216-229
FluidSim: A Tool to Simulate Fluid Models of High-Speed Networks....Pages 230-246
Exploiting Modal Logic to Express Performance Measures....Pages 247-261
Derivation of Petri Net Performance Models from UML Specifications of Communications Software....Pages 262-276
Scalability of a Workstation Cluster Architecture for Video-on-Demand Applications....Pages 277-293
Multilayer Online-Monitoring for Hybrid DSM Systems on Top of PC Clusters with a SMiLE....Pages 294-308
Design and Implementation of a Tool for Measuring the Performance of Complex E-commerce Sites....Pages 309-323
FiFiQueues: Fixed-Point Analysis of Queueing Networks with Finite-Buffer Stations....Pages 324-327
Galileo: A Tool for Dynamic Fault Tree Analysis....Pages 328-331
Möbius: An Extensible Tool for Performance and Dependability Modeling....Pages 332-336
MRMSolve: A Tool for Transient Analysis of Large Markov Reward Models....Pages 337-340
Calculation and Use of Peaking Factors for Remote Terminal Emulation....Pages 341-344
Reliability and Performability Modeling Using SHARPE 2000....Pages 345-349
The Simalytic Modeling Technique: Overview for Application Performance Analysis....Pages 350-353
SPNP: Stochastic Petri Nets. Version 6.0....Pages 354-357
SREPT: Software Reliability Estimation and Prediction Tool....Pages 358-361
STEADY — A Tool for Predicting Performance of Parallel DBMSs....Pages 362-365
The TANGRAM-II Environment....Pages 366-369
Implementing Symbolic Models for Value Passing in TwoTowers....Pages 370-373
Monitoring Application-Level VoIP Grade of Service at a PSTN-IP Network Gateway....Pages 374-377
χ Prof-SDL: A Tool for Identifying Performance Bottlenecks of Software Architectural Design....Pages 378-381
