Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 2000

Computer Performance Evaluation. Modelling Techniques and Tools

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

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)

Sections

Buy it now

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

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

Table of contents (36 papers)

  1. Front Matter

    Pages I-XIV
    PDF

  2. Invited Paper

  3. Queueing Network Models

    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

    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

    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

  6. Simulation

    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
Back to top

Keywords

Back to top

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

Back to top

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

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

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

Search

Navigation