1 option
Computer Performance Evaluation: Modelling Techniques and Tools : Modelling Techniques and Tools. 12th International Conference, TOOLS 2002 London, UK, April 14-17, 2002 Proceedings / edited by Tony Field, Peter G. Harrison, Jeremy Bradley, Uli Harder.
LIBRA Q341 .P7 2004
Available from offsite location
- Format:
- Book
- Series:
- Computer Science (Springer-11645)
- Lecture notes in computer science 0302-9743 ; 2324.
- Lecture Notes in Computer Science, 0302-9743 ; 2324
- Language:
- English
- Subjects (All):
- Computer engineering.
- Computers.
- Computer system failures.
- Software engineering.
- Computer simulation.
- Computer Engineering.
- Theory of Computation.
- System Performance and Evaluation.
- Software Engineering.
- Simulation and Modeling.
- Local Subjects:
- Computer Engineering.
- Theory of Computation.
- System Performance and Evaluation.
- Software Engineering.
- Simulation and Modeling.
- Physical Description:
- 1 online resource (XII, 356 pages).
- Edition:
- First edition 2002.
- Contained In:
- Springer eBooks
- Place of Publication:
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002.
- System Details:
- text file PDF
- Contents:
- 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.
- Other Format:
- Printed edition:
- ISBN:
- 978-3-540-46029-9
- 9783540460299
- Access Restriction:
- Restricted for use by site license.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.