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

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

Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Haverkort, Boudewijn R. (Editor, http://id.loc.gov/vocabulary/relators/edt), Bohnenkamp, Henrik C. (Editor, http://id.loc.gov/vocabulary/relators/edt), Smith, Connie U. (Editor, http://id.loc.gov/vocabulary/relators/edt)
Format: Electronic eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000.
Edition:1st ed. 2000.
Series:Lecture Notes in Computer Science, 1786
Subjects:
Computers.
Computer system failures.
Software engineering.
Computer simulation.
Theory of Computation.
System Performance and Evaluation.
Software Engineering.
Simulation and Modeling.
Online Access:Full Text via HEAL-Link
Table of Contents:
  • 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.

Similar Items