Advertisement

Formal Methods and Stochastic Models for Performance Evaluation

Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September 27-28, 2007. Proceedings

  • Editors
  • Katinka Wolter
Conference proceedings EPEW 2007

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

Table of contents

  1. Front Matter
  2. Keynote

  3. Markov Chains

    1. J. Markovski, A. Sokolova, N. Trčka, E. P. de Vink
      Pages 18-32
    2. Ana Bušić, Nihal Pekergin
      Pages 33-47
    3. Gábor Horváth, Miklós Telek
      Pages 48-62
  4. Process Algebras and State Machines

    1. Natalia López, Manuel Núñez, Ismael Rodríguez
      Pages 63-79
    2. Matthias Kuntz, Boudewijn R. Haverkort
      Pages 80-96
    3. Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez
      Pages 97-111
  5. Grid and Peer-to-Peer Systems

    1. Emerson Ribeiro de Mello, Aad van Moorsel, Joni da Silva Fraga
      Pages 112-124
    2. Felix Freitag, Pablo Chacin, Isaac Chao, Rene Brunner, Leandro Navarro, Oscar Ardaiz
      Pages 141-153
  6. Queueing Theory and Applications of Queueing

    1. Ramin Sadre, Boudewijn R. Haverkort, Patrick Reinelt
      Pages 154-170
    2. Joris Slegers, Isi Mitrani, Nigel Thomas
      Pages 186-199
    3. Thomas Begin, Alexandre Brandwajn, Bruno Baynat, Bernd E. Wolfinger, Serge Fdida
      Pages 200-212
  7. Benchmarking and Bounding

    1. J. -M. Fourneau, N. Pekergin, S. Younès
      Pages 213-227
    2. Kai Sachs, Samuel Kounev, Jean Bacon, Alejandro Buchmann
      Pages 228-244
    3. Vlastimil Babka, Martin Děcký, Petr Tůma
      Pages 245-259
  8. Wireless Networks

    1. Aminu Mohammed, Mohamed Ould-Khaoua, Lewis Mackenzie
      Pages 275-283
    2. Patrick Goering, Geert Heijenk, Boudewijn Haverkort, Robbert Haarman
      Pages 284-300
  9. Back Matter

About these proceedings

Keywords

QoS algorithm algorithms benchmarking calculus formal method formal methods formal verification model checking optimization performance engineering performance evaluation process algebra program semantics scheduling

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-540-75211-0
  • Copyright Information Springer-Verlag Berlin Heidelberg 2007
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-75210-3
  • Online ISBN 978-3-540-75211-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site