Computer Performance Evaluation. Modelling Techniques and Tools 11th International Conference, TOOLS 2000 Schaumburg, IL, USA, March 25-31, 2000 Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Haverkort, Boudewijn R. (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Bohnenkamp, Henrik C. (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Smith, Connie U. (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000.
• Έκδοση: 1st ed. 2000.
• Σειρά: Lecture Notes in Computer Science, 1786
• Θέματα: Computers.; Computer system failures.; Software engineering.; Computer simulation.; Theory of Computation.; System Performance and Evaluation.; Software Engineering.; Simulation and Modeling.

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

• Invited Paper
• Performance Evaluation with Heavy Tailed Distributions
• Queueing Network Models
• Layered Modeling of Hardware and Software, with Application to a LAN Extension Router
• Object Allocation for Distributed Applications with Complex Workloads
• A Set of Tools for Traffic Modeling, Analysis and Experimentation
• Queueing Analysis of Pools in Soft Real-Time Systems
• Xaba: Exact, Approximate, and Asymptotic Solvers for Multi-class Closed Queueing Networks
• Decomposition of General Tandem Queueing Networks with MMPP Input
• Exact and Approximate Solutions for a Class of Infinite Markovian Models
• Performance Evaluation of a Distributed Enterprise Data Mining System
• Optimisation in Mobile Networks
• Minimization of the Impact of Subscriber Mobility on the Resources of a GSM Network
• Optimal Allocation Policies for Mobile Agents
• Stochastic Petri Nets
• Iterative Analysis of Markov Regenerative Models
• Analysis and Evaluation of Non-Markovian Stochastic Petri Nets
• Petri Net Modelling and Performability Evaluation with TimeNET 3.0
• Integrating Synchronization with Priority into a Kronecker Representation
• Simulation
• Implementation of Importance Splitting Techniques in Stochastic Petri Net Package
• FluidSim: A Tool to Simulate Fluid Models of High-Speed Networks
• Formal Methods and Performance Evaluation
• Exploiting Modal Logic to Express Performance Measures
• Derivation of Petri Net Performance Models from UML Specifications of Communications Software
• Measurement Tools and Applications
• Scalability of a Workstation Cluster Architecture for Video-on-Demand Applications
• Multilayer Online-Monitoring for Hybrid DSM Systems on Top of PC Clusters with a SMiLE
• Design and Implementation of a Tool for Measuring the Performance of Complex E-commerce Sites
• Tool Descriptions
• FiFiQueues: Fixed-Point Analysis of Queueing Networks with Finite-Buffer Stations
• Galileo: A Tool for Dynamic Fault Tree Analysis
• Möbius: An Extensible Tool for Performance and Dependability Modeling
• MRMSolve: A Tool for Transient Analysis of Large Markov Reward Models
• Calculation and Use of Peaking Factors for Remote Terminal Emulation
• Reliability and Performability Modeling Using SHARPE 2000
• The Simalytic Modeling Technique: Overview for Application Performance Analysis
• SPNP: Stochastic Petri Nets. Version 6.0
• SREPT: Software Reliability Estimation and Prediction Tool
• STEADY - A Tool for Predicting Performance of Parallel DBMSs
• The TANGRAM-II Environment
• Implementing Symbolic Models for Value Passing in TwoTowers
• Monitoring Application-Level VoIP Grade of Service at a PSTN-IP Network Gateway
• ? Prof-SDL: A Tool for Identifying Performance Bottlenecks of Software Architectural Design.