Muutke küpsiste eelistusi

E-raamat: 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

Edited by
  • Formaat - PDF+DRM
  • Hind: 55,56 €*
  • * hind on lõplik, st. muud allahindlused enam ei rakendu
  • Lisa ostukorvi
  • Lisa soovinimekirja
  • See e-raamat on mõeldud ainult isiklikuks kasutamiseks. E-raamatuid ei saa tagastada.

DRM piirangud

  • Kopeerimine (copy/paste):

    ei ole lubatud

  • Printimine:

    ei ole lubatud

  • Kasutamine:

    Digitaalõiguste kaitse (DRM)
    Kirjastus on väljastanud selle e-raamatu krüpteeritud kujul, mis tähendab, et selle lugemiseks peate installeerima spetsiaalse tarkvara. Samuti peate looma endale  Adobe ID Rohkem infot siin. E-raamatut saab lugeda 1 kasutaja ning alla laadida kuni 6'de seadmesse (kõik autoriseeritud sama Adobe ID-ga).

    Vajalik tarkvara
    Mobiilsetes seadmetes (telefon või tahvelarvuti) lugemiseks peate installeerima selle tasuta rakenduse: PocketBook Reader (iOS / Android)

    PC või Mac seadmes lugemiseks peate installima Adobe Digital Editionsi (Seeon tasuta rakendus spetsiaalselt e-raamatute lugemiseks. Seda ei tohi segamini ajada Adober Reader'iga, mis tõenäoliselt on juba teie arvutisse installeeritud )

    Seda e-raamatut ei saa lugeda Amazon Kindle's. 

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.
Full Papers
Availability in Large Networks: Global Characteristics from Local Unreliability Properties
1(15)
Hans Daduna
Lars Peter Saul
Stochastic Analysis of a Finite Source Retrial Queue with Spares and Orbit Search
16(15)
Feng Zhang
Jinting Wang
Bounds for Two-Terminal Network Reliability with Dependent Basic Events
31(15)
Minh Le
Max Walter
Software Reliability Testing Covering Subsystem Interactions
46(15)
Matthias Meitner
Francesca Saglietti
Failure-Dependent Timing Analysis - A New Methodology for Probabilistic Worst-Case Execution Time Analysis
61(15)
Kai Hofig
A Calculus for SLA Delay Properties
76(15)
Sebastian Vastag
Verifying Worst Case Delays in Controller Area Network
91(15)
Nikola Ivkovic
Dario Kresic
Kai-Steffen Hielscher
Reinhard German
Lifetime Improvement by Battery Scheduling
106(15)
Marijn R. Jongerden
Boudewijn R. Haverkort
Weighted Probabilistic Equivalence Preserves ω-Regular Properties
121(15)
Arpit Sharma
Probabilistic CSP: Preserving the Laws via Restricted Schedulers
136(15)
Sonja Georgievska
Suzana Andova
Heuristics for Probabilistic Timed Automata with Abstraction Refinement
151(15)
Luis Maria Ferrer Fioriti
Holger Hermanns
Simulative and Analytical Evaluation for ASD-Based Embedded Software
166(16)
Ramin Sadre
Anne Remke
Sjors Hettinga
Boudewijn Haverkort
Reducing Channel Zapping Delay in WiMAX-Based IPTV Systems
182(15)
Alireza Abdollahpouri
Bernd E. Wolfinger
Performance Evaluation of 10GE NICs with SR-IOV Support: I/O Visualization and Network Stack Optimizations
197(9)
Shu Huang
Ilia Baldine
Business Driven BCM SLA Translation for Service Oriented Systems
206(15)
Ulrich Winkler
Wasif Gilani
Alan Marshall
Boosting Design Space Explorations with Existing or Automatically Learned Knowledge
221(15)
Ralf Johr
Horia Calborean
Lucian Vintan
Theo Ungerer
Tool Papers
IBPM: An Open-Souree-Based Framework for InifiniBand Performance Monitoring
236(4)
Michael Hoefling
Michael Menth
Christian Kniep
Marcus Camen
A Workbench for Internet Traffic Analysis
240(4)
Philipp M. Eittenberger
Udo R. Krieger
A Modelling and Analysis Environment for LARES
244(5)
Alexander Gouberman
Martin Riedl
Johann Schuster
Markus Siegle
Simulation and Statistical Model Checking for Modestly Nondeterministic Models
249(4)
Jonathan Bogdoll
Arnd Hartmanns
Holger Hermanns
UniLoG: A Unified Load Generation Tool
253(5)
Andrey Kolesnikov
Selected Workshop Papers
Non Preemptive Static Priority with Network Calculus: Enhancement
258(15)
William Mangoua Sofack
Marc Boyer
A Demand-Response Calculus with Perfect Batteries
273(15)
Jean-Yves Le Boudec
Dan-Cristian Tomozei
A Formal Definition and a New Security Mechanism of Physical Unclonable Functions
288(14)
Rainer Plaga
Frank Koob
Modeling and Analysis of a P2P-VoD System Based on Stochastic Network Calculus
302(15)
Kai Wang
Yuming Jiang
Chuang Lin
Using NFC Phones for Proving Credentials
317(14)
Gergely Alpar
Lejla Batina
Roel Verdult
Author Index 331