Skip to main content
SpringerLink
Log in
Book cover

Computer Performance Evaluation: Modelling Techniques and Tools

Modelling Techniques and Tools. 12th International Conference, TOOLS 2002 London, UK, April 14-17, 2002 Proceedings

  • Conference proceedings
  • © 2002

Overview

Editors:
  1. Tony Field

    1. Department of Computing, Imperial College of Science, Technology, and Medicine, London, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Peter G. Harrison

    1. Department of Computing, Imperial College of Science, Technology, and Medicine, London, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Jeremy Bradley

    1. Department of Computing, Imperial College of Science, Technology, and Medicine, London, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Uli Harder
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 2324)

Included in the following conference series:

Conference proceedings info: TOOLS 2002.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (25 papers)

  1. Front Matter

    Pages I-XI
    Download chapter PDF

  2. Heavy Tails: The Effect of the Service Discipline

    • S. C. Borst, O. J. Boxma, R. Núñez-Queija
    Pages 1-30

  3. The Möbius State-Level Abstract Functional Interface

    • Salem Derisavi, Peter Kemper, William H. Sanders, Tod Courtney
    Pages 31-50

  4. The ProC/BToolset for the Modelling and Analysis of Process Chains

    • F. Bause, H. Beilner, M. Fischer, P. Kemper, M. Völker
    Pages 51-70

  5. MRMSolve: Distribution Estimation of Large Markov Reward Models

    • Sándor Rácz, Árpád Tari, Miklós Telek
    Pages 71-81

  6. PhFit: A General Phase-Type Fitting Tool

    • András Horváth, Miklós Telek
    Pages 82-91

  7. Traffic Modeling of IP Networks Using the Batch Markovian Arrival Process

    • Alexander Klemm, Christoph Lindemann, Marco Lohmann
    Pages 92-110

  8. PEPA Nets: A Structured Performance Modelling Formalism

    • Stephen Gilmore, Jane Hillston, Marina Ribaudo
    Pages 111-130

  9. Validation of GSPN and SWN Models through the PROD Tool

    • Susanna Donatelli, Liliana Ferro
    Pages 131-140

  10. Software Performance Models from System Scenarios in Use Case Maps

    • Dorin C. Petriu, Murray Woodside
    Pages 141-158

  11. Applying the UML Performance Profile: Graph Grammar-Based Derivation of LQN Models from UML Specifications

    • Dorina C. Petriu, Hui Shen
    Pages 159-177

  12. A Passage-Time Preserving Equivalence for Semi-Markov Processes

    • J. T. Bradley
    Pages 178-187

  13. Symbolic Methods for the State Space Exploration of GSPN Models

    • Ian Davies, William J. Knottenbelt, Pieter S. Kritzinger
    Pages 188-199

  14. PRISM: Probabilistic Symbolic Model Checker

    • Marta Kwiatkowska, Gethin Norman, David Parker
    Pages 200-204

  15. MAMSolver: A Matrix Analytic Methods Tool

    • Alma Riska, Evgenia Smirni
    Pages 205-211

  16. The MOMBASA Software Environment - A Toolkit for Performance Evaluation of Multicast-Based Mobility Support

    • Andreas Festag, Lars Westerhoff, Adam Wolisz
    Pages 212-219

  17. GILK: A Dynamic Instrumentation Tool for the Linux Kernel

    • David J. Pearce, Paul H. J. Kelly, Tony Field, Uli Harder
    Pages 220-226

  18. Geist: A Web Traffic Generation Tool

    • Krishna Kant, Vijay Tewari, Ravishankar Iyer
    Pages 227-232

  19. DrawNET++: Model Objects to Support Performance Analysis and Simulation of Systems

    • Giuliana Franceschinis, M. Gribaudo, M. Iacono, N. Mazzocca, V. Vittorini
    Pages 233-238

  20. A Visual Formalism for the Composition of Stochastic Petri Nets

    • Richard Hopkins, Peter King
    Pages 239-258
Back to top

Other volumes

  1. Computer Performance Evaluation: Modelling Techniques and Tools

Keywords

Editors and Affiliations

  • Department of Computing, Imperial College of Science, Technology, and Medicine, London, UK

    Tony Field, Peter G. Harrison, Jeremy Bradley

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation