Computer performance evaluation : modelling techniques and tools : 12th International Conference, TOOLS 2002 London, UK, April 14 17, 2002 : proceedings
Tallennettuna:
| Yhteisötekijä: | |
|---|---|
| Muut tekijät: | , , |
| Aineistotyyppi: | Livre numérique |
| Kieli: | Anglais |
| Julkaistu: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Sarja: | Lecture notes in computer science
2324 |
| Aiheet: | |
| Linkit: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Huomautus: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Computer Performance Evaluation, Modelling Techniques and Tools, 12th International Conference, TOOLS 2002, London, UK, April 14-17, 2002, Proceedings, Tony Field ... [et al.] (eds.), Berlin, Springer, 2002, 1 vol. (XI-348 p.), Lecture notes in computer science, 3-540-43539-5 • Computer Performance Evaluation: Modelling Techniques and Tools, Texte imprimé, 9783662164730 |
Sisällysluettelo:
- Heavy Tails: The Effect of the Service Discipline
- The Möbius State-Level Abstract Functional Interface
- The ProC/BToolset for the Modelling and Analysis of Process Chains
- MRMSolve: Distribution Estimation of Large Markov Reward Models
- PhFit: A General Phase-Type Fitting Tool
- Traffic Modeling of IP Networks Using the Batch Markovian Arrival Process
- PEPA Nets: A Structured Performance Modelling Formalism
- Validation of GSPN and SWN Models through the PROD Tool
- Software Performance Models from System Scenarios in Use Case Maps
- Applying the UML Performance Profile: Graph Grammar-Based Derivation of LQN Models from UML Specifications
- A Passage-Time Preserving Equivalence for Semi-Markov Processes
- Symbolic Methods for the State Space Exploration of GSPN Models
- PRISM: Probabilistic Symbolic Model Checker
- MAMSolver: A Matrix Analytic Methods Tool
- The MOMBASA Software Environment - A Toolkit for Performance Evaluation of Multicast-Based Mobility Support
- GILK: A Dynamic Instrumentation Tool for the Linux Kernel
- Geist: A Web Traffic Generation Tool
- DrawNET++: Model Objects to Support Performance Analysis and Simulation of Systems
- A Visual Formalism for the Composition of Stochastic Petri Nets
- Symbolic Performance Prediction of Data-Dependent Parallel Programs
- Analysis of a Transaction System with Checkpointing, Failures, and Rollback
- Analyzing Voice-over-IP Subjective Quality as a Function of Network QoS: A Simulation-Based Methodology and Tool
- Hierarchical Workload Characterization for a Busy Web Server
- Enabling Network Caching of Dynamic Web Objects
- A Tool for Controlling Response Time in Real-Time Systems.