Skip to main content
  • Conference proceedings
  • © 2007

Formal Methods and Stochastic Models for Performance Evaluation

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

Editors:

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

Part of the book sub series: Programming and Software Engineering (LNPSE)

Conference series link(s): EPEW: European Workshop on Performance Engineering

Conference proceedings info: EPEW 2007.

Buying options

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

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (21 papers)

  1. Front Matter

  2. Markov Chains

    1. Compositionality for Markov Reward Chains with Fast Transitions

      • J. Markovski, A. Sokolova, N. Trčka, E. P. de Vink
      Pages 18-32
    2. Closed Form Absorption Time Bounds

      • Ana Bušić, Nihal Pekergin
      Pages 33-47
    3. A Canonical Representation of Order 3 Phase Type Distributions

      • Gábor Horváth, Miklós Telek
      Pages 48-62
  3. Process Algebras and State Machines

    1. SPAMR: Extending PAMR with Stochastic Time

      • Natalia López, Manuel Núñez, Ismael Rodríguez
      Pages 63-79
    2. Faster SPDL Model Checking Through Property-Driven State Space Generation

      • Matthias Kuntz, Boudewijn R. Haverkort
      Pages 80-96
    3. Testing Finite State Machines Presenting Stochastic Time and Timeouts

      • Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez
      Pages 97-111
  4. Grid and Peer-to-Peer Systems

    1. Evaluation of P2P Search Algorithms for Discovering Trust Paths

      • Emerson Ribeiro de Mello, Aad van Moorsel, Joni da Silva Fraga
      Pages 112-124
    2. Performance Measuring Framework for Grid Market Middleware

      • Felix Freitag, Pablo Chacin, Isaac Chao, Rene Brunner, Leandro Navarro, Oscar Ardaiz
      Pages 141-153
  5. Queueing Theory and Applications of Queueing

    1. A Fixed-Point Algorithm for Closed Queueing Networks

      • Ramin Sadre, Boudewijn R. Haverkort, Patrick Reinelt
      Pages 154-170
    2. Optimal Dynamic Server Allocation in Systems with On/Off Sources

      • Joris Slegers, Isi Mitrani, Nigel Thomas
      Pages 186-199
    3. Towards an Automatic Modeling Tool for Observed System Behavior

      • Thomas Begin, Alexandre Brandwajn, Bruno Baynat, Bernd E. Wolfinger, Serge Fdida
      Pages 200-212
  6. Benchmarking and Bounding

    1. Censoring Markov Chains and Stochastic Bounds

      • J. -M. Fourneau, N. Pekergin, S. Younès
      Pages 213-227
    2. Workload Characterization of the SPECjms2007 Benchmark

      • Kai Sachs, Samuel Kounev, Jean Bacon, Alejandro Buchmann
      Pages 228-244
    3. Resource Sharing in Performance Models

      • Vlastimil Babka, Martin Děcký, Petr Tůma
      Pages 245-259

Other Volumes

  1. Formal Methods and Stochastic Models for Performance Evaluation

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

Buying options

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

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions