E-Books durchsuchen

Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance [2012]

1
Availability in Large Networks: Global Characteristics from Local Unreliability Properties
16
Stochastic Analysis of a Finite Source Retrial Queue with Spares and Orbit Search
31
Bounds for Two-Terminal Network Reliability with Dependent Basic Events
46
Software Reliability Testing Covering Subsystem Interactions
61
Failure-Dependent Timing Analysis - A New Methodology for Probabilistic Worst-Case Execution Time Analysis
76
A Calculus for SLA Delay Properties
91
Verifying Worst Case Delays in Controller Area Network
106
Lifetime Improvement by Battery Scheduling
121
Weighted Probabilistic Equivalence Preserves <Emphasis Type="Italic">ω</Emphasis>-Regular Properties
136
Probabilistic CSP: Preserving the Laws via Restricted Schedulers
151
Heuristics for Probabilistic Timed Automata with Abstraction Refinement
166
Simulative and Analytical Evaluation for ASD-Based Embedded Software
182
Reducing Channel Zapping Delay in WiMAX-Based IPTV Systems
197
Performance Evaluation of 10GE NICs with SR-IOV Support: I/O Virtualization and Network Stack Optimizations
206
Business Driven BCM SLA Translation for Service Oriented Systems
221
Boosting Design Space Explorations with Existing or Automatically Learned Knowledge
236
IBPM: An Open-Source-Based Framework for InifiniBand Performance Monitoring
240
A Workbench for Internet Traffic Analysis
244
A Modelling and Analysis Environment for <Emphasis Type="Italic">LARES</Emphasis>
249
Simulation and Statistical Model Checking for Modestly Nondeterministic Models
253
UniLoG: A Unified Load Generation Tool
258
Non Preemptive Static Priority with Network Calculus: Enhancement
273
A Demand-Response Calculus with Perfect Batteries
288
A Formal Definition and a New Security Mechanism of Physical Unclonable Functions
302
Modeling and Analysis of a P2P-VoD System Based on Stochastic Network Calculus
317
Using NFC Phones for Proving Credentials
Feedback