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

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Invited Talk Mitigating the Effects of Internet Timing Faults Across Embedded Network Gateways
3. Altmetric Badge
   Chapter 2 Invited Talk Green IT - The Power Saving Challenge and ICT Solutions
4. Altmetric Badge
   Chapter 3 In Memory of Dr. Gunter Bolch
5. Altmetric Badge
   Chapter 4 Verification of a Control System Built Using Remote Redundancy by Means of Timed Automata and State Space Exploration
6. Altmetric Badge
   Chapter 5 Software Reliability Assessment Based on the Evaluation of Operational Experience
7. Altmetric Badge
   Chapter 6 Clock Synchronization Issues in Multi-Cluster Time-Triggered Networks
8. Altmetric Badge
   Chapter 7 User-Perceived Performance of the NICE Application Layer Multicast Protocol in Large and Highly Dynamic Groups
9. Altmetric Badge
   Chapter 8 Effectiveness of Link Cost Optimization for IP Rerouting and IP Fast Reroute
10. Altmetric Badge
    Chapter 9 Load Modeling and Generation for IP-Based Networks: A Unified Approach and Tool Support
11. Altmetric Badge
    Chapter 10 Analyzing Energy Consumption in a Gossiping MAC Protocol
12. Altmetric Badge
    Chapter 11 Defining and Measuring Performance Characteristics of Current Video Games
13. Altmetric Badge
    Chapter 12 Traffic Properties, Client Side Cachability and CDN Usage of Popular Web Sites
14. Altmetric Badge
    Chapter 13 Investigation of the Multimedia Adaptive Threshold Strategy for Mobile Integrated Services Networks
15. Altmetric Badge
    Chapter 14 Setting the Parameters Right for Two-Hop IEEE 802.11e Ad Hoc Networks
16. Altmetric Badge
    Chapter 15 CrossTrace: Cross-Layer Measurement for IEEE 802.11 Wireless Testbeds
17. Altmetric Badge
    Chapter 16 The Total Overflow during a Busy Cycle in a Markov-Additive Finite Buffer System
18. Altmetric Badge
    Chapter 17 Accuracy of Strong and Weak Comparisons for Network of Queues
19. Altmetric Badge
    Chapter 18 Searching for Tight Performance Bounds in Feed-Forward Networks
20. Altmetric Badge
    Chapter 19 An EM Algorithm for Markovian Arrival Processes Observed at Discrete Times
21. Altmetric Badge
    Chapter 20 An Empirical Comparison of MAP Fitting Algorithms
22. Altmetric Badge
    Chapter 21 Reducing the Cost of Generating APH-Distributed Random Numbers
23. Altmetric Badge
    Chapter 22 Correctness Issues of Symbolic Bisimulation Computation for Markov Chains
24. Altmetric Badge
    Chapter 23 ResiLyzer: A Tool for Resilience Analysis in Packet-Switched Communication Networks
25. Altmetric Badge
    Chapter 24 SyLaGen – An Extendable Tool Environment for Generating Load
26. Altmetric Badge
    Chapter 25 ProFiDo – A Toolkit for Fitting Input Models
27. Altmetric Badge
    Chapter 26 ProC/B for Networks: Integrated INET Models
28. Altmetric Badge
    Chapter 27 DELTA: A Web-Based Simulation Training Environment Using JavaDEMOS