Computer Performance Evaluation. Modelling Techniques and Tools [electronic resource] : 11th International Conference, TOOLS 2000 Schaumburg, IL, USA, March 25-31, 2000 Proceedings / edited by Boudewijn R. Haverkort, Henrik C. Bohnenkamp, Connie U. Smith.

1st ed. 2000.
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000.
Computer Science (Springer-11645)
Lecture notes in computer science 0302-9743 ; 1786
Lecture Notes in Computer Science, 0302-9743 ; 1786
1 online resource (XIV, 390 pages)
Computer system failures.
Software engineering.
Computer simulation.
Local subjects:
Theory of Computation.
System Performance and Evaluation.
Software Engineering.
Simulation and Modeling.
System Details:
text file PDF
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
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.
Haverkort, Boudewijn R. editor., Editor,
Bohnenkamp, Henrik C. editor., Editor,
Smith, Connie U. editor., Editor,
SpringerLink (Online service)
Contained In:
Springer eBooks
Other format:
Printed edition:
Printed edition:
Publisher Number:
10.1007/3-540-46429-8 doi
Access Restriction:
Restricted for use by site license.
Location Notes Your Loan Policy
Description Status Barcode Your Loan Policy