Limit search to available items
Record 15 of 23
Previous Record Next Record
Book Cover
E-book
Author GI/ITG Conference on Measuring, Modelling, and Evaluating Computing, and Communication Systems (16th : 2012 : Kaiserslautern, Germany)

Title Measurement, modelling, 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 / Jens B. Schmitt (ed.)
Published Berlin ; New York : Springer, [2012]
©2012
Online access available from:
Springer eBooks    View Resource Record  

Copies

Description 1 online resource (xiii, 330 pages)
Series Lecture notes in computer science, 0302-9743 ; 7201
LNCS sublibrary. SL 2, Programming and software engineering
Lecture notes in computer science ; 7201
LNCS sublibrary. SL 2, Programming and software engineering.
Contents 880-01 Business Driven BCM SLA Translation for Service Oriented Systems / Ulrich Winkler, Wasif Gilani and Alan Marshall -- Boosting Design Space Explorations with Existing or Automatically Learned Knowledge / Ralf Jahr, Horia Calborean, Lucian Vintan and Theo Ungerer -- IBPM: An Open-Source-Based Framework for InifiniBand Performance Monitoring / Michael Hoefling, Michael Menth, Christian Kniep and Marcus Camen -- A Workbench for Internet Traffic Analysis / Philipp M. Eittenberger and Udo R. Krieger -- A Modelling and Analysis Environment for LARES / Alexander Gouberman, Martin Riedl, Johann Schuster and Markus Siegle -- Simulation and Statistical Model Checking for Modestly Nondeterministic Models / Jonathan Bogdoll, Arnd Hartmanns and Holger Hermanns -- UniLoG: A Unified Load Generation Tool / Andrey Kolesnikov -- Non Preemptive Static Priority with Network Calculus: Enhancement / William Mangoua Sofack and Marc Boyer -- A Demand-Response Calculus with Perfect Batteries / Jean-Yves Le Boudec and Dan-Cristian Tomozei -- A Formal Definition and a New Security Mechanism of Physical Unclonable Functions / Rainer Plaga and Frank Koob -- Modeling and Analysis of a P2P-VoD System Based on Stochastic Network Calculus / Kai Wang, Yuming Jiang and Chuang Lin -- Using NFC Phones for Proving Credentials / Gergely Alpár, Lejla Batina and Roel Verdult
880-01/(S Availability in Large Networks: Global Characteristics from Local Unreliability Properties / Hans Daduna and Lars Peter Saul -- Stochastic Analysis of a Finite Source Retrial Queue with Spares and Orbit Search / Feng Zhang and Jinting Wang -- Bounds for Two-Terminal Network Reliability with Dependent Basic Events / Minh Lê and Max Walter -- Software Reliability Testing Covering Subsystem Interactions / Matthias Meitner and Francesca Saglietti -- Failure-Dependent Timing Analysis -- A New Methodology for Probabilistic Worst-Case Execution Time Analysis / Kai Höfig -- A Calculus for SLA Delay Properties / Sebastian Vastag -- Verifying Worst Case Delays in Controller Area Network / Nikola Ivkovic, Dario Kresic, Kai-Steffen Hielscher and Reinhard German -- Lifetime Improvement by Battery Scheduling / Marijn R. Jongerden and Boudewijn R. Haverkort -- Weighted Probabilistic Equivalence Preserves ω-Regular Properties / Arpit Sharma -- Probabilistic CSP: Preserving the Laws via Restricted Schedulers / Sonja Georgievska and Suzana Andova -- Heuristics for Probabilistic Timed Automata with Abstraction Refinement / Luis María Ferrer Fioriti and Holger Hermanns -- Simulative and Analytical Evaluation for ASD-Based Embedded Software / Ramin Sadre, Anne Remke, Sjors Hettinga and Boudewijn Haverkort -- Reducing Channel Zapping Delay in WiMAX-Based IPTV Systems / Alireza Abdollahpouri and Bernd E. Wolfinger -- Performance Evaluation of 10GE NICs with SR-IOV Support: I/O Virtualization and Network Stack Optimizations / Shu Huang and Ilia Baldine
Summary Annotation 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
Analysis Computer science
Computer Communication Networks
Software engineering
Logic design
Programming Languages, Compilers, Interpreters
Logics and Meanings of Programs
Programming Techniques
Bibliography Includes bibliographical references and author index
Subject Telecommunication systems -- Evaluation -- Congresses.
Computer systems -- Evaluation -- Congresses.
Computer software -- Evaluation -- Congresses.
Genre/Form Conference papers and proceedings.
Conference papers and proceedings.
Form Electronic book
Author Schmitt, Jens Burkhard, 1970-
ISBN 9783642285400 (electronic bk.)
3642285406 (electronic bk.)
Other Titles MMB & DFT 2012