↓ Skip to main content

Computer Performance Evaluation: Modelling Techniques and Tools : 12th International Conference, TOOLS 2002 London, UK, April 14–17, 2002 Proceedings

Overview of attention for book
Cover of 'Computer Performance Evaluation: Modelling Techniques and Tools : 12th International Conference, TOOLS 2002 London, UK, April 14–17, 2002 Proceedings'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Heavy Tails: The Effect of the Service Discipline
  3. Altmetric Badge
    Chapter 2 The Möbius State-Level Abstract Functional Interface
  4. Altmetric Badge
    Chapter 3 The ProC/B Toolset for the Modelling and Analysis of Process Chains
  5. Altmetric Badge
    Chapter 4 MRMSolve: Distribution Estimation of Large Markov Reward Models
  6. Altmetric Badge
    Chapter 5 PhFit: A General Phase-Type Fitting Tool
  7. Altmetric Badge
    Chapter 6 Traffic Modeling of IP Networks Using the Batch Markovian Arrival Process
  8. Altmetric Badge
    Chapter 7 PEPA Nets: A Structured Performance Modelling Formalism
  9. Altmetric Badge
    Chapter 8 Validation of GSPN and SWN Models through the PROD Tool
  10. Altmetric Badge
    Chapter 9 Software Performance Models from System Scenarios in Use Case Maps
  11. Altmetric Badge
    Chapter 10 Applying the UML Performance Profile: Graph Grammar-Based Derivation of LQN Models from UML Specifications
  12. Altmetric Badge
    Chapter 11 A Passage-Time Preserving Equivalence for Semi-Markov Processes
  13. Altmetric Badge
    Chapter 12 Symbolic Methods for the State Space Exploration of GSPN Models
  14. Altmetric Badge
    Chapter 13 PRISM: Probabilistic Symbolic Model Checker
  15. Altmetric Badge
    Chapter 14 MAMSolver: A Matrix Analytic Methods Tool
  16. Altmetric Badge
    Chapter 15 The MOMBASA Software Environment - A Toolkit for Performance Evaluation of Multicast-Based Mobility Support
  17. Altmetric Badge
    Chapter 16 GILK: A Dynamic Instrumentation Tool for the Linux Kernel
  18. Altmetric Badge
    Chapter 17 Geist: A Web Traffic Generation Tool
  19. Altmetric Badge
    Chapter 18 DrawNET++: Model Objects to Support Performance Analysis and Simulation of Systems
  20. Altmetric Badge
    Chapter 19 A Visual Formalism for the Composition of Stochastic Petri Nets
  21. Altmetric Badge
    Chapter 20 Symbolic Performance Prediction of Data-Dependent Parallel Programs
  22. Altmetric Badge
    Chapter 21 Analysis of a Transaction System with Checkpointing, Failures, and Rollback
  23. Altmetric Badge
    Chapter 22 Analyzing Voice-over-IP Subjective Quality as a Function of Network QoS: A Simulation-Based Methodology and Tool
  24. Altmetric Badge
    Chapter 23 Hierarchical Workload Characterization for a Busy Web Server
  25. Altmetric Badge
    Chapter 24 Enabling Network Caching of Dynamic Web Objects
  26. Altmetric Badge
    Chapter 25 A Tool for Controlling Response Time in Real-Time Systems
Attention for Chapter 14: MAMSolver: A Matrix Analytic Methods Tool
Altmetric Badge

Mentioned by

1 Wikipedia page


1 Dimensions

Readers on

2 Mendeley
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
MAMSolver: A Matrix Analytic Methods Tool
Chapter number 14
Book title
Computer Performance Evaluation: Modelling Techniques and Tools
Published by
Springer Berlin Heidelberg, April 2002
DOI 10.1007/3-540-46029-2_14
Book ISBNs
978-3-54-043539-6, 978-3-54-046029-9

Alma Riska, Evgenia Smirni

Mendeley readers

The data shown below were compiled from readership statistics for 2 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Poland 1 50%
Unknown 1 50%

Demographic breakdown

Readers by professional status Count As %
Professor > Associate Professor 1 50%
Student > Master 1 50%
Readers by discipline Count As %
Computer Science 1 50%
Unknown 1 50%