Вы здесь

Главная

отказоустойчивость

Связанные издания:

Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems: Proc./Joint International Conferences FORMATS 2004, and FTRTFT 2004. Grenoble,France,September 2004
Formal Verification for Fault-Tolerant Architectures: Some Lessons Learned
Forward and Backward Error Recovery in C++
Frontiers in Algorithmics: Proc./11th International Workshop, EAW 2017, Chengdu, China, June 2017
GATOSTAR: A Fault Tolerant Load Sharing Facility for Parallel Applications
Guaranteeing Idempotence for Tightly-Coupled, Fault-Tolerant Networks
Hardware and Software Architectures for Fault Tolerance: Experiences and Perspectives
Hardware and Software: Verification and Testing: Revised Selected Papers/8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 2012
Highly-Available Data Services for UNIX Client-Server Networks: Why Fault-Tolerant Hardware Isn t the Answer
High Performance Computing and Communications: Proc./Third International Conference, HPCC 2007. Houston, USA, September 2007
High Performance Computing: Proc./32nd International Conference, ISC High Performance 2017, Frankfurt, Germany, June 2017
Implementing Design Diversity to Achieve Fault Tolerance
Implementing Fault-Tolerant Services Using the State Machine Approach: A Tutorial
Improving Fault Tolerance and Supporting Partial Writes in Structured Coterie Protocols for Replicated Objects
Integrating Group Communication with Transactions for Implementing Persistent Replicated Objects
Intrusion-Tolerant Architectures: Concepts and Design
I/O-Parallelitat und Fehlertoleranz in Disk-Arrays
Lightweight Recoverable Virtual Memory
Linear Time Byzantine Self-Stabilizing Clock Synchronization
Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance: Proc./15th International GI/ITG Conference, MMB&DFT 2010, Essen, Germany, March 2010
Message Logging: Pessimistic, Optimistic, Causal, and Optimal
Methods, Models and Tools for Fault Tolerance
Middleware 2007: Proc./ ACM/IFIP/USENIX 8th International Middleware Conference. Newport Beach, CA, USA, November 2007
Model Checking and Fault Tolerance
Multidimensional Voting
Mutation Analysis Using Mutant Schemata
NASA Formal Methods: Proc./10th International Symposium, NFM 2018, Newport News,VA,USA, April 2018
Near-Optimal Message Routing and Broadcasting in Faulty Hypercubes
Networking - ICN 2005, Part II: Proc./4th International Conference on Networking. Reunion Island, France, April 2005.
On Designing and Reconfiguring k-Fault-Tolerant Tree Architectures
On Designing Fault-Tolerant Extensions With Optimal Fanout for Complete Bipartite Network
On Desirable Fault-Tolerant Topology for Cluster-Based Network
On Fault Tolerance of Syntax
On Performability Modeling and Evaluation of Software Fault Tolerance Structures
On Persistent and Reliable Streaming in Ada
Optimal recovery schemes in fault tolerant distributed computing
Optimization of Diagnostic Examination
Performance of Consistent Checkpointing in a Modular Operating System: Results of the FTM Experiment
PEST: a Tool for Implementing Pseudo-Exhaustive Self-Test
Principles of Distributed Systems: 15th International Conference, OPODIS 2011, Toulouse, France, December 2011
Principles of Distributed Systems: Proc./13th International Conference, OPODIS 2009, Nimes, France, December 2009
Principles of Distributed Systems: Proc./14th International Conference, OPODIS 2010, Tozeur, Tunisia, December 2010
Principles of Distributed Systems: Revised Selected Papers/9th International Conference, OPODIS 2005. Pisa, Italy, December 2005
Principles of Transaction-Oriented Database Recovery
Probabilistic Diagnosis of Multiprocessor Systems
Problems, Promises and Performance: Some Questions for Real-Time System Specification
Promises and Fault-Tolerant Database Access
RAID-системы: "пуленепробиваемость" данных
Real-Number Codes for Fault-Tolerant Matrix Operations On Processor Arrays
Recent Advances in Parallel Virtual Machine and Massage Passing Interface: Proc./16th European PVM/MPI Users Group Meeting, Espoo, Finland, September 2009