Computer Performance Evaluation.Modelling Techniques and Tools: 11th International Conference, TOOLS 2000 Schaumburg, IL, USA, March 27–31, 2000 Proceedings

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