Skip to main content
SpringerLink
Log in

Formal Methods and Stochastic Models for Performance Evaluation

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

  • Conference proceedings
  • © 2007

Overview

Editors:
  1. Katinka Wolter
    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 4748)

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

Included in the following conference series:

Conference proceedings info: EPEW 2007.

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

Access this book

Log in via an institution
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

Licence this eBook for your library

Institutional subscriptions

Table of contents (21 papers)

  1. Front Matter

    Download chapter PDF

  3. Markov Chains

    1. Untold Horrors About Steady-State Probabilities: What Reward-Based Measures Won’t Tell About the Equilibrium Distribution

      • Alexander Bell, Boudewijn R. Haverkort
      Pages 2-17

    2. Compositionality for Markov Reward Chains with Fast Transitions

      • J. Markovski, A. Sokolova, N. Trčka, E. P. de Vink
      Pages 18-32

    3. Closed Form Absorption Time Bounds

      • Ana Bušić, Nihal Pekergin
      Pages 33-47

    4. A Canonical Representation of Order 3 Phase Type Distributions

      • Gábor Horváth, Miklós Telek
      Pages 48-62

  4. 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

  5. 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. Building Online Performance Models of Grid Middleware with Fine-Grained Load-Balancing: A Globus Toolkit Case Study

      • Ramon Nou, Samuel Kounev, Jordi Torres
      Pages 125-140

    3. Performance Measuring Framework for Grid Market Middleware

      • Felix Freitag, Pablo Chacin, Isaac Chao, Rene Brunner, Leandro Navarro, Oscar Ardaiz
      Pages 141-153

  6. 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. A Framework for Automated Generation of Architectural Feedback from Software Performance Analysis

      • Vittorio Cortellessa, Laurento Frittella
      Pages 171-185

    3. Optimal Dynamic Server Allocation in Systems with On/Off Sources

      • Joris Slegers, Isi Mitrani, Nigel Thomas
      Pages 186-199

    4. Towards an Automatic Modeling Tool for Observed System Behavior

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

  7. 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

    4. Exploiting Commodity Hard-Disk Geometry to Efficiently Preserve Data Consistency

      • Alessandro Di Marco
      Pages 260-274
Back to top

Other volumes

  1. Formal Methods and Stochastic Models for Performance Evaluation

Keywords

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation