Skip to main content
SpringerLink
Log in
Book cover

Computer Performance Evaluation. Modelling Techniques and Tools

11th International Conference, TOOLS 2000 Schaumburg, IL, USA, March 25-31, 2000 Proceedings

  • Conference proceedings
  • © 2000

Overview

Editors:
  1. Boudewijn R. Haverkort

    1. Department of Computer Science, RWTH Aachen, Aachen, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Henrik C. Bohnenkamp

    1. Department of Computer Science, RWTH Aachen, Aachen, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Connie U. Smith

    1. Performance Engineering Services Division, MS 110, L&S Computer Technology, Inc., Austin, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 1786)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (36 papers)

  1. Front Matter

    Pages I-XIV
    Download chapter PDF

  2. Invited Paper

    1. Performance Evaluation with Heavy Tailed Distributions

      • Mark E. Crovella
      Pages 1-9

  3. Queueing Network Models

    1. Layered Modeling of Hardware and Software, with Application to a LAN Extension Router

      • Peter Maly, C. Murray Woodside
      Pages 10-24

    2. Object Allocation for Distributed Applications with Complex Workloads

      • Marin Litoiu, Jerome Rolia
      Pages 25-39

    3. A Set of Tools for Traffic Modeling, Analysis and Experimentation

      • Rosa M. M. Leão, Edmundo de Souza e Silva, Sidney C. de Lucena
      Pages 40-55

    4. Queueing Analysis of Pools in Soft Real-Time Systems

      • Carlos Juiz, Ramon Puigjaner
      Pages 56-70

    5. Xaba: Exact, Approximate, and Asymptotic Solvers for Multi-class Closed Queueing Networks

      • Paolo Cremonesi, Emilia Rosti, Giuseppe Serazzi
      Pages 71-85

    6. Decomposition of General Tandem Queueing Networks with MMPP Input

      • Armin Heindl
      Pages 86-100

    7. Exact and Approximate Solutions for a Class of Infinite Markovian Models

      • Michela Meo, Edmundo de Souza e Silva, Marco Ajmone Marsan
      Pages 101-117

    8. Performance Evaluation of a Distributed Enterprise Data Mining System

      • Peter G. Harrison, Catalina M. Lladó
      Pages 117-131

  4. Optimisation in Mobile Networks

    1. Minimization of the Impact of Subscriber Mobility on the Resources of a GSM Network

      • Claus Bauer
      Pages 132-144

    2. Optimal Allocation Policies for Mobile Agents

      • M. D. Hamilton, I. Mitrani
      Pages 145-155

  5. Stochastic Petri Nets

    1. Iterative Analysis of Markov Regenerative Models

      • Reinhard German
      Pages 156-170

    2. Analysis and Evaluation of Non-Markovian Stochastic Petri Nets

      • András Horváth, Antonio Puliafito, Marco Scarpa, Miklós Telek
      Pages 171-187

    3. Petri Net Modelling and Performability Evaluation with TimeNET 3.0

      • Armin Zimmermann, Jörn Freiheit, Reinhard German, Günter Hommel
      Pages 188-202

    4. Integrating Synchronization with Priority into a Kronecker Representation

      • Susanna Donatelli, Peter Kemper
      Pages 203-215

  6. Simulation

    1. Implementation of Importance Splitting Techniques in Stochastic Petri Net Package

      • Bruno Tuffin, Kishor S. Trivedi
      Pages 216-229

    2. FluidSim: A Tool to Simulate Fluid Models of High-Speed Networks

      • José Incera, Raymond Marie, David Ros, Gerardo Rubino
      Pages 230-246

  7. Formal Methods and Performance Evaluation

    1. Exploiting Modal Logic to Express Performance Measures

      • Graham Clark, Stephen Gilmore, Jane Hillston, Marina Ribaudo
      Pages 247-261

    2. Derivation of Petri Net Performance Models from UML Specifications of Communications Software

      • Peter King, Rob Pooley
      Pages 262-276
Back to top

Keywords

Editors and Affiliations

  • Department of Computer Science, RWTH Aachen, Aachen, Germany

    Boudewijn R. Haverkort, Henrik C. Bohnenkamp

  • Performance Engineering Services Division, MS 110, L&S Computer Technology, Inc., Austin, USA

    Connie U. Smith

Bibliographic Information

  • Book Title: Computer Performance Evaluation. Modelling Techniques and Tools

  • Book Subtitle: 11th International Conference, TOOLS 2000 Schaumburg, IL, USA, March 25-31, 2000 Proceedings

  • Editors: Boudewijn R. Haverkort, Henrik C. Bohnenkamp, Connie U. Smith

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/3-540-46429-8

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 2000

  • Softcover ISBN: 978-3-540-67260-9Published: 13 March 2000

  • eBook ISBN: 978-3-540-46429-7Published: 29 June 2003

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: XIV, 390

  • Topics: Theory of Computation, System Performance and Evaluation, Software Engineering, Simulation and Modeling

Publish with us

Policies and ethics

Back to top

Search

Navigation