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