Computer performance evaluation : modelling techniques and tools : 11th international conference, TOOLS 2000, Schaumburg, IL, USA, March 27-31, 2000 : proceedings
Kaydedildi:
| Müşterek Yazar: | |
|---|---|
| Diğer Yazarlar: | , , |
| Materyal Türü: | Livre numérique |
| Dil: | Anglais |
| Baskı/Yayın Bilgisi: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Seri Bilgileri: | Lecture notes in computer science
1786 |
| Konular: | |
| Online Erişim: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Not: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Computer performance evaluation, modelling techniques and tools, 11th international conference, TOOLS 2000, Schaumburg, IL, USA, March 27-31, 2000, proceedings, Boudewijn R. Haverkort, Henrik C. Bohnenkamp, Connie U. Smith (eds.), 2000, Berlin, Springer, 1 vol. (XIV-381 p.), Lecture notes in computer science, 3-540-67260-5 • Computer Performance Evaluation. Modelling Techniques and Tools, Texte imprimé, 9783662204047 |
İçindekiler:
- 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.