↓ 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 13: PRISM: Probabilistic Symbolic Model Checker
Altmetric Badge

Citations

dimensions_citation
1 Dimensions

Readers on

mendeley
132 Mendeley
citeulike
5 CiteULike
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
PRISM: Probabilistic Symbolic Model Checker
Chapter number 13
Book title
Computer Performance Evaluation: Modelling Techniques and Tools
Published by
Springer, Berlin, Heidelberg, April 2002
DOI 10.1007/3-540-46029-2_13
Book ISBNs
978-3-54-043539-6, 978-3-54-046029-9
Authors

Marta Kwiatkowska, Gethin Norman, David Parker

Mendeley readers

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

Geographical breakdown

Country Count As %
United States 3 2%
United Kingdom 3 2%
Germany 2 2%
India 2 2%
Argentina 1 <1%
Malaysia 1 <1%
Sweden 1 <1%
Korea, Republic of 1 <1%
Spain 1 <1%
Other 2 2%
Unknown 115 87%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 46 35%
Student > Master 23 17%
Researcher 12 9%
Student > Doctoral Student 9 7%
Professor > Associate Professor 9 7%
Other 21 16%
Unknown 12 9%
Readers by discipline Count As %
Computer Science 83 63%
Engineering 18 14%
Agricultural and Biological Sciences 4 3%
Biochemistry, Genetics and Molecular Biology 3 2%
Mathematics 2 2%
Other 8 6%
Unknown 14 11%