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

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Field, Tony (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Harrison, Peter G. (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Bradley, Jeremy (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Harder, Uli (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002.
• Έκδοση: 1st ed. 2002.
• Σειρά: Lecture Notes in Computer Science, 2324
• Θέματα: Computer engineering.; Computers.; Computer system failures.; Software engineering.; Computer simulation.; Computer Engineering.; Theory of Computation.; System Performance and Evaluation.; Software Engineering.; Simulation and Modeling.

Πίνακας περιεχομένων:

• 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.