11. Computer Performance Evaluation / TOOLS 2000: Schaumburg, IL, USA

Invited Paper

• Mark Crovella:
  Performance Evaluation with Heavy Tailed Distributions. 1-9
  

Queueing Network Models

• Peter Maly, C. Murray Woodside:
  Layered Modeling of Hardware and Software, with Application to a LAN Extension Router. 10-24
  
• Marin Litoiu, Jerome A. Rolia:
  Object Allocation for Distributed Applications with Complex Workloads. 25-39
  
• Rosa M. M. Leão, Edmundo de Souza e Silva, Sidney C. de Lucena:
  A Set of Tools for Traffic Modeling, Analysis and Experimentation. 40-55
  
• Carlos Juiz, Ramón Puigjaner:
  Queueing Analysis of Pools in Soft Real-Time Systems. 56-70
  
• Paolo Cremonesi, Emilia Rosti, Giuseppe Serazzi:
  Xaba: Exact, Approximate, and Asymptotic Solvers for Multi-class Closed Queueing Networks. 71-85
  
• Armin Heindl:
  Decomposition of General Tandem Queueing Networks with MMPP Input. 86-100
  
• Michela Meo, Edmundo de Souza e Silva, Marco Ajmone Marsan:
  Exact and Approximate Solutions for a Class of Infinite Markovian Models. 101-116
  
• Peter G. Harrison, Catalina M. Lladó:
  Performance Evaluation of a Distributed Enterprise Data Mining System. 117-131
  

Optimisation in Mobile Networks

• Claus Bauer:
  Minimization of the Impact of Subscriber Mobility on the Resource of a GSM Network. 132-144
  
• Michael D. Hamilton, Isi Mitrani:
  Optimal Allocation Policies for Mobile Agents. 145-155
  

Stochastic Petri Nets

• Reinhard German:
  Iterative Analysis of Markov Regenerative Models. 156-170
  
• András Horváth, Antonio Puliafito, Marco Scarpa, Miklós Telek:
  Analysis and Evaluation of Non-Markovian Stochastic Petri Nets. 171-187
  
• Armin Zimmermann, Jörn Freiheit, Reinhard German, Günter Hommel:
  Petri Net Modelling and Performability Evaluation with TimeNET 3.0. 188-202
  
• Susanna Donatelli, Peter Kemper:
  Integrating Synchronization with Priority into a Kronecker Representation. 203-215
  

Simulation

• Bruno Tuffin, Kishor S. Trivedi:
  Implementation of Importance Splitting Techniques in Stochastic Petri Net Package. 216-229
  
• José Incera, Raymond A. Marie, David Ros, Gerardo Rubino:
  FluidSim: A Tool to Simulate Fluid Models of High-Speed Networks. 230-246
  

Formal Methods and Performance Evaluation

• Graham Clark, Stephen Gilmore, Jane Hillston, Marina Ribaudo:
  Exploiting Modal Logic to Express Performance Measures. 247-261
  
• Peter J. B. King, Rob Pooley:
  Derivation of Petri Net Performance Models from UML Specifications of Communications Software. 262-276
  

Measurement Tools and Applications

• Peter H. Hughes, Gunnar Brataas:
  Scalability of a Workstation Cluster Architecture for Video-on-Demand Applications. 277-293
  
• Wolfgang Karl, Martin Schulz, Jörg Trinitis:
  Multilayer Online-Monitoring for Hybrid DSM Systems on Top of PC Clusters with a SMiLE. 294-308
  
• Goedson T. Paixão, Wagner Meira Jr., Virgilio Almeida, Daniel A. Menascé, Adriano M. Pereira:
  Design and Implementation of a Tool for Measuring the Performance of Complex E-commerce Sites. 309-323
  

Tool Descriptions

• Ramin Sadre, Boudewijn R. Haverkort:
  FiFiQueues: Fixed-Point Analysis of Queueing Networks with Finite-Buffer Stations. 324-327
  
• Joanne Bechta Dugan:
  Galileo: A Tool for Dynamic Fault Tree Analysis. 328-331
  
• David Daly, Daniel D. Deavours, Jay M. Doyle, Patrick G. Webster, William H. Sanders:
  Möbius: An Extensible Tool for Performance and Dependability Modeling. 332-336
  
• Sándor Rácz, Béla P. Tóth, Miklós Telek:
  MRMSolve: A Tool for Transient Analysis of Large Markov Reward Models. 337-340
  
• William A. Ward Jr., David D. Langan:
  Calculation and Use of Peaking Factors for Remote Terminal Emulation. 341-344
  
• Christophe Hirel, Robin A. Sahner, Xinyu Zang, Kishor S. Trivedi:
  Reliability and Performability Modeling Using SHARPE 2000. 345-349
  
• Tim R. Norton:
  The Simalytic Modeling Technique: Overview for Application Performance Analysis. 350-353
  
• Christophe Hirel, Bruno Tuffin, Kishor S. Trivedi:
  SPNP: Stochastic Petri Nets. Version 6.0. 354-357
  
• Srinivasan Ramani, Kishor S. Trivedi:
  SREPT: Software Reliability Estimation and Prediction Tool. 358-361
  
• Euan W. Dempster, M. Howard Williams, Neven Tomov, Chai Seng Pua, Albert Burger, Peter J. B. King:
  STEADY - A Tool for Predicting Performance of Parallel DBMSs. 362-365
  
• Edmundo de Souza e Silva, Rosa M. M. Leão:
  The TANGRAM-II Environment. 366-369
  
• Marco Bernardo:
  Implementing Symbolic Models for Value Passing in TwoTowers. 370-373
  
• Adrian E. Conway:
  Monitoring Application-Level VoIP Grade of Service at a PSTM-IP Network Gateway. 374-377
  
• J. Jenny Li, Joseph Robert Horgan:
  _chiProf-SDL: A Tool for Identifying Performance Bottlenecks of Software Architectural Design. 378-381