Boudewijn R. Haverkort, Henrik C. Bohnenkamp, Connie U. Smith (Eds.):
Computer Performance Evaluation: Modelling Techniques and Tools, 11th International Conference, TOOLS 2000, Schaumburg, IL, USA, March 27-31, 2000, Proceedings.
Lecture Notes in Computer Science 1786 Springer 2000, ISBN 3-540-67260-5 BibTeX
@proceedings{DBLP:conf/cpe/2000,
editor = {Boudewijn R. Haverkort and
Henrik C. Bohnenkamp and
Connie U. Smith},
title = {Computer Performance Evaluation: Modelling Techniques and Tools,
11th International Conference, TOOLS 2000, Schaumburg, IL, USA,
March 27-31, 2000, Proceedings},
booktitle = {Computer Performance Evaluation / TOOLS},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {1786},
year = {2000},
isbn = {3-540-67260-5},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Invited Paper
Queueing Network Models
- Peter Maly, C. Murray Woodside:
Layered Modeling of Hardware and Software, with Application to a LAN Extension Router.
10-24
Electronic Edition (link) BibTeX
- Marin Litoiu, Jerome A. Rolia:
Object Allocation for Distributed Applications with Complex Workloads.
25-39
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Carlos Juiz, Ramón Puigjaner:
Queueing Analysis of Pools in Soft Real-Time Systems.
56-70
Electronic Edition (link) BibTeX
- Paolo Cremonesi, Emilia Rosti, Giuseppe Serazzi:
Xaba: Exact, Approximate, and Asymptotic Solvers for Multi-class Closed Queueing Networks.
71-85
Electronic Edition (link) BibTeX
- Armin Heindl:
Decomposition of General Tandem Queueing Networks with MMPP Input.
86-100
Electronic Edition (link) BibTeX
- Michela Meo, Edmundo de Souza e Silva, Marco Ajmone Marsan:
Exact and Approximate Solutions for a Class of Infinite Markovian Models.
101-116
Electronic Edition (link) BibTeX
- Peter G. Harrison, Catalina M. Lladó:
Performance Evaluation of a Distributed Enterprise Data Mining System.
117-131
Electronic Edition (link) BibTeX
Optimisation in Mobile Networks
Stochastic Petri Nets
Simulation
Formal Methods and Performance Evaluation
Measurement Tools and Applications
Tool Descriptions
- Ramin Sadre, Boudewijn R. Haverkort:
FiFiQueues: Fixed-Point Analysis of Queueing Networks with Finite-Buffer Stations.
324-327
Electronic Edition (link) BibTeX
- Joanne Bechta Dugan:
Galileo: A Tool for Dynamic Fault Tree Analysis.
328-331
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- William A. Ward Jr., David D. Langan:
Calculation and Use of Peaking Factors for Remote Terminal Emulation.
341-344
Electronic Edition (link) BibTeX
- Christophe Hirel, Robin A. Sahner, Xinyu Zang, Kishor S. Trivedi:
Reliability and Performability Modeling Using SHARPE 2000.
345-349
Electronic Edition (link) BibTeX
- Tim R. Norton:
The Simalytic Modeling Technique: Overview for Application Performance Analysis.
350-353
Electronic Edition (link) BibTeX
- Christophe Hirel, Bruno Tuffin, Kishor S. Trivedi:
SPNP: Stochastic Petri Nets. Version 6.0.
354-357
Electronic Edition (link) BibTeX
- Srinivasan Ramani, Kishor S. Trivedi:
SREPT: Software Reliability Estimation and Prediction Tool.
358-361
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Edmundo de Souza e Silva, Rosa M. M. Leão:
The TANGRAM-II Environment.
366-369
Electronic Edition (link) BibTeX
- Marco Bernardo:
Implementing Symbolic Models for Value Passing in TwoTowers.
370-373
Electronic Edition (link) BibTeX
- Adrian E. Conway:
Monitoring Application-Level VoIP Grade of Service at a PSTM-IP Network Gateway.
374-377
Electronic Edition (link) BibTeX
- J. Jenny Li, Joseph Robert Horgan:
chiProf-SDL: A Tool for Identifying Performance Bottlenecks of Software Architectural Design.
378-381
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:03:45 2009
by Michael Ley (ley@uni-trier.de)