default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID12. Computer Performance Evaluation / TOOLS 2002: London, UK
- Tony Field, Peter G. Harrison
, Jeremy T. Bradley, Uli Harder:
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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-10-22 02:21 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
