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
- Sem C. Borst, Onno J. Boxma, R. Núñez Queija:
Heavy Tails: The Effect of the Service Discipline.
1-30
- Salem Derisavi, Peter Kemper, William H. Sanders, Tod Courtney:
The Möbius State-Level Abstract Functional Interface.
31-50
- 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
- Sándor Rácz, Árpád Tari, Miklós Telek:
MRMSolve: Distribution Estimation of Large Markov Reward Models.
71-81
- András Horváth, Miklós Telek:
PhFit: A General Phase-Type Fitting Tool.
82-91
- Alexander Klemm, Christoph Lindemann, Marco Lohmann:
Traffic Modeling of IP Networks Using the Batch Markovian Arrival Process.
92-110
- Stephen Gilmore, Jane Hillston, Marina Ribaudo:
PEPA Nets: A Structured Performance Modelling Formalism.
111-130
- Susanna Donatelli, Liliana Ferro:
Validation of GSPN and SWN Models through the PROD Tool.
131-140
- Dorina C. Petriu, C. Murray Woodside:
Software Performance Models from System Scenarios in Use Case Maps.
141-158
- Dorina C. Petriu, Hui Shen:
Applying the UML Performance Profile: Graph Grammar-Based Derivation of LQN Models from UML Specifications.
159-177
- Jeremy T. Bradley:
A Passage-Time Preserving Equivalence for Semi-Markov Processes.
178-187
- Ian Davies, William J. Knottenbelt, Pieter S. Kritzinger:
Symbolic Methods for the State Space Exploration of GSPN Models.
188-199
- Marta Z. Kwiatkowska, Gethin Norman, David Parker:
PRISM: Probabilistic Symbolic Model Checker.
200-204
- Alma Riska, Evgenia Smirni:
MAMSolver: A Matrix Analytic Methods Tool.
205-211
- Andreas Festag, Lars Westerhoff, Adam Wolisz:
The MOMBASA Software Environment - A Toolkit for Performance Evaluation of Multicast-Based Mobility Support.
212-219
- David J. Pearce, Paul H. J. Kelly, Tony Field, Uli Harder:
GILK: A Dynamic Instrumentation Tool for the Linux Kernel.
220-226
- Krishna Kant, Vijay Tewari, Ravishankar K. Iyer:
Geist: A Web Traffic Generation Tool.
227-232
- Giuliana Franceschinis, Marco Gribaudo, Mauro Iacono, Nicola Mazzocca, Valeria Vittorini:
DrawNET++: Model Objects to Support Performance Analysis and Simulation of Systems.
233-238
- Richard P. Hopkins, Peter J. B. King:
A Visual Formalism for the Composition of Stochastic Petri Nets.
239-258
- Hasyim Gautama, Arjan J. C. van Gemund:
Symbolic Performance Prediction of Data-Dependent Parallel Programs.
259-278
- L. Kumar, Manoj Misra, Isi Mitrani:
Analysis of a Transaction System with Checkpointing, Failures, and Rollback.
279-288
- 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
- Adeniyi Oke, Richard B. Bunt:
Hierarchical Workload Characterization for a Busy Web Server.
309-328
- Pankaj K. Garg, Kave Eshghi, Thomas Gschwind, Boudewijn R. Haverkort, Katinka Wolter:
Enabling Network Caching of Dynamic Web Objects.
329-338
- Pascal Richard:
A Tool for Controlling Response Time in Real-Time Systems.
339-348
Copyright © Mon Nov 2 20:26:52 2009
by Michael Ley (ley@uni-trier.de)