Buch, Englisch, Band 1786, 390 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 1250 g
11th International Conference, TOOLS 2000 Schaumburg, IL, USA, March 25-31, 2000 Proceedings
Buch, Englisch, Band 1786, 390 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 1250 g
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-540-67260-9
Verlag: Springer Berlin Heidelberg
Notes in Computer Science (Volumes 794, 977, 1245, and 1469, respectively).
Zielgruppe
Research
Autoren/Hrsg.
Fachgebiete
- Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Grafikprogrammierung
- Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Software Engineering Objektorientierte Softwareentwicklung
- Mathematik | Informatik EDV | Informatik Informatik Mathematik für Informatiker
- Mathematik | Informatik EDV | Informatik Technische Informatik Systemverwaltung & Management
Weitere Infos & Material
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.
