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
Conference proceedings TOOLS 2000

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

Table of contents

  1. Front Matter
    Pages I-XIV
  2. Invited Paper

  3. Queueing Network Models

    1. Rosa M. M. Leão, Edmundo de Souza e Silva, Sidney C. de Lucena
      Pages 40-55
    2. Carlos Juiz, Ramon Puigjaner
      Pages 56-70
    3. Paolo Cremonesi, Emilia Rosti, Giuseppe Serazzi
      Pages 71-85
    4. Michela Meo, Edmundo de Souza e Silva, Marco Ajmone Marsan
      Pages 101-117
    5. Peter G. Harrison, Catalina M. Lladó
      Pages 117-131
  4. Optimisation in Mobile Networks

  5. Stochastic Petri Nets

    1. Reinhard German
      Pages 156-170
    2. András Horváth, Antonio Puliafito, Marco Scarpa, Miklós Telek
      Pages 171-187
    3. Armin Zimmermann, Jörn Freiheit, Reinhard German, Günter Hommel
      Pages 188-202
  6. Simulation

    1. José Incera, Raymond Marie, David Ros, Gerardo Rubino
      Pages 230-246
  7. Formal Methods and Performance Evaluation

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

About these proceedings

Keywords

Augmented Reality Cluster Computer performance DBMS Performance Router Scala Simulation calculus hardware performance modeling optimization performance evaluation software performance systems performance

Editors and affiliations

  • Boudewijn R. Haverkort
    • 1
  • Henrik C. Bohnenkamp
    • 1
  • Connie U. Smith
    • 2
  1. 1.Department of Computer ScienceRWTH AachenAachenGermany
  2. 2.Performance Engineering Services Division, MS 110L&S Computer Technology, Inc.AustinUSA

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-46429-8
  • Copyright Information Springer-Verlag Berlin Heidelberg 2000
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-67260-9
  • Online ISBN 978-3-540-46429-7
  • Series Print ISSN 0302-9743
  • About this book