Skip to main content
SpringerLink
Log in
Book cover

Measurement, Modeling, and Evaluation of Computing Systems and Dependability and Fault Tolerance

16th International GI/ITG Conference, MMB & DFT 2012, Kaiserslautern, Germany, March 19-21, 2012, Proceedings

  • Conference proceedings
  • © 2012

Overview

Editors:
  1. Jens B. Schmitt

    1. disco - Distributed Computer Systems Lab, Computer Science Department, University of Kaiserslautern, Kaiserslautern, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Fast track conference proceedings
  • Unique visibility
  • State of the art research

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

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

Included in the following conference series:

Conference proceedings info: MMB&DFT 2012.

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

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (26 papers)

  1. Front Matter

    Download chapter PDF

  2. Full Papers

    1. Availability in Large Networks: Global Characteristics from Local Unreliability Properties

      • Hans Daduna, Lars Peter Saul
      Pages 1-15

    2. Stochastic Analysis of a Finite Source Retrial Queue with Spares and Orbit Search

      • Feng Zhang, Jinting Wang
      Pages 16-30

    3. Bounds for Two-Terminal Network Reliability with Dependent Basic Events

      • Minh Lê, Max Walter
      Pages 31-45

    4. Software Reliability Testing Covering Subsystem Interactions

      • Matthias Meitner, Francesca Saglietti
      Pages 46-60

    5. Failure-Dependent Timing Analysis - A New Methodology for Probabilistic Worst-Case Execution Time Analysis

      • Kai Höfig
      Pages 61-75

    6. A Calculus for SLA Delay Properties

      • Sebastian Vastag
      Pages 76-90

    7. Verifying Worst Case Delays in Controller Area Network

      • Nikola Ivkovic, Dario Kresic, Kai-Steffen Hielscher, Reinhard German
      Pages 91-105

    8. Lifetime Improvement by Battery Scheduling

      • Marijn R. Jongerden, Boudewijn R. Haverkort
      Pages 106-120

    9. Weighted Probabilistic Equivalence Preserves ω-Regular Properties

      • Arpit Sharma
      Pages 121-135

    10. Probabilistic CSP: Preserving the Laws via Restricted Schedulers

      • Sonja Georgievska, Suzana Andova
      Pages 136-150

    11. Heuristics for Probabilistic Timed Automata with Abstraction Refinement

      • Luis María Ferrer Fioriti, Holger Hermanns
      Pages 151-165

    12. Simulative and Analytical Evaluation for ASD-Based Embedded Software

      • Ramin Sadre, Anne Remke, Sjors Hettinga, Boudewijn Haverkort
      Pages 166-181

    13. Reducing Channel Zapping Delay in WiMAX-Based IPTV Systems

      • Alireza Abdollahpouri, Bernd E. Wolfinger
      Pages 182-196

    14. Performance Evaluation of 10GE NICs with SR-IOV Support: I/O Virtualization and Network Stack Optimizations

      • Shu Huang, Ilia Baldine
      Pages 197-205

    15. Business Driven BCM SLA Translation for Service Oriented Systems

      • Ulrich Winkler, Wasif Gilani, Alan Marshall
      Pages 206-220

    16. Boosting Design Space Explorations with Existing or Automatically Learned Knowledge

      • Ralf Jahr, Horia Calborean, Lucian Vintan, Theo Ungerer
      Pages 221-235

  3. Tool Papers

    1. IBPM: An Open-Source-Based Framework for InifiniBand Performance Monitoring

      • Michael Hoefling, Michael Menth, Christian Kniep, Marcus Camen
      Pages 236-239

    2. A Workbench for Internet Traffic Analysis

      • Philipp M. Eittenberger, Udo R. Krieger
      Pages 240-243

    3. A Modelling and Analysis Environment for LARES

      • Alexander Gouberman, Martin Riedl, Johann Schuster, Markus Siegle
      Pages 244-248
Back to top

Other volumes

  1. Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance

Keywords

About this book

This book constitutes the refereed proceedings of the 16th International GI/ITG Conference on Measurement, Modeling and Evaluation of Computing Systems and Dependability and Fault Tolerance, MMB & DFT 2012, held in Kaiserslautern, Germany, in March 2012.
The 16 revised full papers presented together with 5 tool papers and 5 selected workshop papers were carefully reviewed and selected from 54 submissions. MMB & DFT 2012 covers diverse aspects of performance and dependability evaluation of systems including networks, computer architectures, distributed systems, software, fault-tolerant and secure systems.

Editors and Affiliations

  • disco - Distributed Computer Systems Lab, Computer Science Department, University of Kaiserslautern, Kaiserslautern, Germany

    Jens B. Schmitt

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation