Bohnenkamp Henrik (14 results)

Condition: Very Good. 2000th Edition. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.…

Condition: New.

Paperback or Softback. Condition: New. Computer Performance Evaluation. Modelling Techniques and Tools: 11th International Conference, Tools 2000 Schaumburg, Il, Usa, March 25-31, 2000 Proc. Book.

Condition: New.

Condition: As New. Unread book in perfect condition.

Condition: New. In.

Paperback. Condition: New.

Condition: New.

Condition: As New. Unread book in perfect condition.

Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - In the design, implementation, and operational planning of computer and c- municationsystems, manyquestionsregardingthe desiredcapacityandspeed of (sub)systems have to be answered.At this point,performance anddependability evaluation techniques can be of great help. With these techniques, design de- sions can be prepared using advanced methods to construct appropriatemodels, toparameterisethesemodels,andtosolvethem.Theapplicationofabroadsp- trum of such methods and techniques is currently supported by tools (mostly software, but sometimes partly hardware as well). Such tools enable system - signers and engineers to construct their models in a exible and modular way using high-level application-oriented modelling languages, to solve their models with a variety of techniques and to exercise parametric studies at ease. The goal of the 11th International Conference on Modelling Tools and Techniques for Computer and Communication System Perf- mance Evaluation (TOOLS 2000') was to further develop the theory and technologyfortool-basedperformanceanddependability evaluationofcomputer and communication systems. Important themes included software tools, eval- tion techniques, measurement-based tools and techniques, performance and - pendabilityevaluationtechniquesbasedonformalmethods,casestudiesshowing the role of evaluation in the design of systems, and application studies in the area of centralised and distributed computer systems. Previous conferences in this series were held over the past 15 years in Paris (1984), Sophia Antipolis (1985), Paris(1987), Palma de Mallorca (1988), Torino (1991), Edinburgh (1992), Wien (1994), Heidelberg (1995), Saint Malo (1997), and Palma de Mallorca (1998). The proceedings of the latter four conferences also appeared in the series Lecture Notes in Computer Science (Volumes 794, 977, 1245, and 1469, respectively).…

Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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. …

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -In the design, implementation, and operational planning of computer and c- municationsystems, manyquestionsregardingthe desiredcapacityandspeed of (sub)systems have to be answered.At this point,performance anddependability evaluation techniques can be of great help. With these techniques, design de- sions can be prepared using advanced methods to construct appropriatemodels, toparameterisethesemodels,andtosolvethem.Theapplicationofabroadsp- trum of such methods and techniques is currently supported by tools (mostly software, but sometimes partly hardware as well). Such tools enable system - signers and engineers to construct their models in a exible and modular way using high-level application-oriented modelling languages, to solve their models with a variety of techniques and to exercise parametric studies at ease. The goal of the 11th International Conference on Modelling Tools and Techniques for Computer and Communication System Perf- mance Evaluation (TOOLS 2000') was to further develop the theory and technologyfortool-basedperformanceanddependability evaluationofcomputer and communication systems. Important themes included software tools, eval- tion techniques, measurement-based tools and techniques, performance and - pendabilityevaluationtechniquesbasedonformalmethods,casestudiesshowing the role of evaluation in the design of systems, and application studies in the area of centralised and distributed computer systems. Previous conferences in this series were held over the past 15 years in Paris (1984), Sophia Antipolis (1985), Paris(1987), Palma de Mallorca (1988), Torino (1991), Edinburgh (1992), Wien (1994), Heidelberg (1995), Saint Malo (1997), and Palma de Mallorca (1998). The proceedings of the latter four conferences also appeared in the series Lecture Notes in Computer Science (Volumes 794, 977, 1245, and 1469, respectively). 404 pp. Englisch.…

Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -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.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 404 pp. Englisch.…

Taschenbuch. Condition: Neu. Computer Performance Evaluation. Modelling Techniques and Tools | 11th International Conference, TOOLS 2000 Schaumburg, IL, USA, March 25-31, 2000 Proceedings | Boudewijn R. Haverkort (u. a.) | Taschenbuch | xiv | Englisch | 2000 | Springer | EAN 9783540672609 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand.…