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
  8. Measurement Tools and Applications

    1. Wolfgang Karl, Martin Schulz, Jörg Trinitis
      Pages 294-308
    2. Goedson T. Paixão, Wagner Meira Jr., Virgilio A. F. Almeida, Daniel A. Menascé, Adriano M. Pereira
      Pages 309-323
  9. Tool Descriptions

    1. Joanne Bechta Dugan
      Pages 328-331
    2. David Daly, Daniel D. Deavours, Jay M. Doyle, Patrick G. Webster, William H. Sanders
      Pages 332-336
    3. Sándor Rácz, Béla P. Tóth, Miklós Telek
      Pages 337-340
    4. William A. Ward Jr., David D. Langan
      Pages 341-344
    5. C. Hirel, R. Sahner, X. Zang, K. Trivedi
      Pages 345-349
    6. Christophe Hirel, Bruno Tuffin, Kishor S. Trivedi
      Pages 354-357
    7. Srinivasan Ramani, Kishor S. Trivedi
      Pages 358-361
    8. Euan W. Dempster, M. Howard Williams, Neven T. Tomov, Chai Seng Pua, Albert Burger, Peter J. B. King
      Pages 362-365
    9. Edmundo de Souza e Silva, Rosa M. M. Leão
      Pages 366-369
  10. Back Matter
    Pages 383-383

About these proceedings


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
  • 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
  • Buy this book on publisher's site
Industry Sectors
IT & Software
Consumer Packaged Goods
Finance, Business & Banking