Tony Field, Peter G. Harrison, Jeremy T. Bradley, Uli Harder (Eds.):
Computer Performance Evaluation, Modelling Techniques and Tools 12th International Conference, TOOLS 2002, London, UK, April 14-17, 2002, Proceedings.
Lecture Notes in Computer Science 2324 Springer 2002, ISBN 3-540-43539-5 BibTeX
@proceedings{DBLP:conf/cpe/2002,
editor = {Tony Field and
Peter G. Harrison and
Jeremy T. Bradley and
Uli Harder},
title = {Computer Performance Evaluation, Modelling Techniques and Tools
12th International Conference, TOOLS 2002, London, UK, April
14-17, 2002, Proceedings},
booktitle = {Computer Performance Evaluation / TOOLS},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {2324},
year = {2002},
isbn = {3-540-43539-5},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
- Sem C. Borst, Onno J. Boxma, R. Núñez Queija:
Heavy Tails: The Effect of the Service Discipline.
1-30
Electronic Edition (link) BibTeX
- Salem Derisavi, Peter Kemper, William H. Sanders, Tod Courtney:
The Möbius State-Level Abstract Functional Interface.
31-50
Electronic Edition (link) BibTeX
- Falko Bause, Heinz Beilner, Markus Fischer, Peter Kemper, Markus Völker:
The ProC/B Toolset for the Modelling and Analysis of Process Chains.
51-70
Electronic Edition (link) BibTeX
- Sándor Rácz, Árpád Tari, Miklós Telek:
MRMSolve: Distribution Estimation of Large Markov Reward Models.
71-81
Electronic Edition (link) BibTeX
- András Horváth, Miklós Telek:
PhFit: A General Phase-Type Fitting Tool.
82-91
Electronic Edition (link) BibTeX
- Alexander Klemm, Christoph Lindemann, Marco Lohmann:
Traffic Modeling of IP Networks Using the Batch Markovian Arrival Process.
92-110
Electronic Edition (link) BibTeX
- Stephen Gilmore, Jane Hillston, Marina Ribaudo:
PEPA Nets: A Structured Performance Modelling Formalism.
111-130
Electronic Edition (link) BibTeX
- Susanna Donatelli, Liliana Ferro:
Validation of GSPN and SWN Models through the PROD Tool.
131-140
Electronic Edition (link) BibTeX
- Dorina C. Petriu, C. Murray Woodside:
Software Performance Models from System Scenarios in Use Case Maps.
141-158
Electronic Edition (link) BibTeX
- Dorina C. Petriu, Hui Shen:
Applying the UML Performance Profile: Graph Grammar-Based Derivation of LQN Models from UML Specifications.
159-177
Electronic Edition (link) BibTeX
- Jeremy T. Bradley:
A Passage-Time Preserving Equivalence for Semi-Markov Processes.
178-187
Electronic Edition (link) BibTeX
- Ian Davies, William J. Knottenbelt, Pieter S. Kritzinger:
Symbolic Methods for the State Space Exploration of GSPN Models.
188-199
Electronic Edition (link) BibTeX
- Marta Z. Kwiatkowska, Gethin Norman, David Parker:
PRISM: Probabilistic Symbolic Model Checker.
200-204
Electronic Edition (link) BibTeX
- Alma Riska, Evgenia Smirni:
MAMSolver: A Matrix Analytic Methods Tool.
205-211
Electronic Edition (link) BibTeX
- Andreas Festag, Lars Westerhoff, Adam Wolisz:
The MOMBASA Software Environment - A Toolkit for Performance Evaluation of Multicast-Based Mobility Support.
212-219
Electronic Edition (link) BibTeX
- David J. Pearce, Paul H. J. Kelly, Tony Field, Uli Harder:
GILK: A Dynamic Instrumentation Tool for the Linux Kernel.
220-226
Electronic Edition (link) BibTeX
- Krishna Kant, Vijay Tewari, Ravishankar K. Iyer:
Geist: A Web Traffic Generation Tool.
227-232
Electronic Edition (link) BibTeX
- Giuliana Franceschinis, Marco Gribaudo, Mauro Iacono, Nicola Mazzocca, Valeria Vittorini:
DrawNET++: Model Objects to Support Performance Analysis and Simulation of Systems.
233-238
Electronic Edition (link) BibTeX
- Richard P. Hopkins, Peter J. B. King:
A Visual Formalism for the Composition of Stochastic Petri Nets.
239-258
Electronic Edition (link) BibTeX
- Hasyim Gautama, Arjan J. C. van Gemund:
Symbolic Performance Prediction of Data-Dependent Parallel Programs.
259-278
Electronic Edition (link) BibTeX
- L. Kumar, Manoj Misra, Isi Mitrani:
Analysis of a Transaction System with Checkpointing, Failures, and Rollback.
279-288
Electronic Edition (link) BibTeX
- Adrian E. Conway, Yali Zhu:
Analyzing Voice-over-IP Subjective Quality as a Function of Network QoS: A Simulation-Based Methodology and Tool.
289-308
Electronic Edition (link) BibTeX
- Adeniyi Oke, Richard B. Bunt:
Hierarchical Workload Characterization for a Busy Web Server.
309-328
Electronic Edition (link) BibTeX
- Pankaj K. Garg, Kave Eshghi, Thomas Gschwind, Boudewijn R. Haverkort, Katinka Wolter:
Enabling Network Caching of Dynamic Web Objects.
329-338
Electronic Edition (link) BibTeX
- Pascal Richard:
A Tool for Controlling Response Time in Real-Time Systems.
339-348
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:03:45 2009
by Michael Ley (ley@uni-trier.de)