| Keynote Ⅰ A Process Toward Total Dependability - Airbus Fly-by-Wire Paradigm Session 1A: Distributed Algorithms Building and Using Quorums Despite Any Number of Process of Crashes Failure Detection with Booting in Partially Synchronous Systems Total Order Communications: A Practical Analysis Gracefully Degrading Fair Exchange with Security Modules Session 1B: Fault Tolerant Design and Protocols Adding Fault-Tolerance Using Pre-synthesized Components Efficiency of Dynamic Arbitration in TDMA Protocols An Architectural Framework for Detecting Process Hangs/Crashes Energy Efficient Configuration for QoS in Reliable Parallel Servers Session 2A: Practical Experience Reports and Tools I Novel Generic Middleware Building Blocks for Dependable Modular Avionics Systems Integrating Fault Tolerance and Load Balancing in Distributed Systems Based on CORBA Performance Evaluation of Consistent Recovery Protocols Using MPICH-GF Session 2B: Assessment and Analysis An Approach to Experimentally Obtain Service Dependability Characteristics of the Jgroup/ARM System The Effectiveness of Choice of Programming Language as a Diversity Seeking Decision Formal Safety Analysis of a Radio-Based Railroad Crossing Using Deductive Cause-Consequence Analysis (DCCA) Panel Dependability Challenges and Education Perspectives Keynote Ⅱ Availability in Industry and Science - A Business Perspective Session 3A: Measurement Fast Run-Time Reconfiguration for SEU InIection Assembly-Level Pre-injection Analysis for Improving Fault Injection Efficiency Session 3B: Practical Experience Peports and Tools Ⅱ Session 4A: Hardware Verification Session 4B: Fast Abstracts Ⅰ Session 5A: Dependable Networking Session 5B: Fast Abstracts Ⅱ Session 6A: Practical Experience Reports and Tools Ⅲ Session 6B: Reliability Engineering and Testing Author Index |
内容加载中，请稍后...
商品评论（0条）