Conferences in DBLP
Yennun Huang , Chandra M. R. Kintala Software Implemented Fault Tolerance Technologies and Experience. [Citation Graph (0, 0)][DBLP ] Conf ] Mark Russinovich , Zary Segall , Daniel P. Siewiorek Application Transparent Fault Management in Fault Tolerant Match. [Citation Graph (0, 0)][DBLP ] Conf ] Inhwan Lee , Ravishankar K. Iyer Faults, Symptoms, and Software Fault Tolerance in the Tandem GUARDIAN90 Operating System. [Citation Graph (2, 0)][DBLP ] Conf ] Deepak Gupta , Pankaj Jalote Increasing System Availability through On-Line Software Version Change. [Citation Graph (0, 0)][DBLP ] Conf ] Victor F. Nicola , Perwez Shahabuddin , Philip Heidelberger , Peter W. Glynn Fast Simulation of Steady-State Availability in Non-Markovian Highly Dependable Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Gerardo Rubino , Bruno Sericola Interval Availability Distribution Computation. [Citation Graph (0, 0)][DBLP ] Conf ] Meera Balakrishnan , Andrew L. Reibman Characterizing a Lumping Heuristic for a Markov Network Reliability Model. [Citation Graph (0, 0)][DBLP ] Conf ] Chang Chen , Hiroyuki Asada , Yoshiaki Kakuda , Tohru Kikuno Comparison of Hybrid Modular Redundant Multiprocessor Systems with respect to Performabilitites. [Citation Graph (0, 0)][DBLP ] Conf ] Akira Hachiga , Katsuji Akita , Yutaka Hasegawa The Design Concepts and Operational Results of Fault-tolerant Computer Systems for the Shinkansen Train Control. [Citation Graph (0, 0)][DBLP ] Conf ] Daniel P. Siewiorek , John J. Hudak , Byung-Hoon Suh , Zary Segall Development of a Benchmark to Measure System Robustness. [Citation Graph (0, 0)][DBLP ] Conf ] Peter G. Bishop The Variation of Software Survival Time for Different Operational Input Profiles. [Citation Graph (0, 0)][DBLP ] Conf ] Eiji Fujiwara , Masato Kitakami A Class of Error Locating Codes for Byte-Organized Memory Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Nitin H. Vaidya Unidirectional Error Control Codes. [Citation Graph (0, 0)][DBLP ] Conf ] Takashi Matsubara , Yoshiaki Koga A Proposal for Error-Tolerating Codes. [Citation Graph (0, 0)][DBLP ] Conf ] Yi-Min Wang , Yennun Huang , W. Kent Fuchs Progressive Retry for Software Error Recovery in Distributed Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Lorenzo Alvisi , Bruce Hoppe , Keith Marzullo Nonblocking and Orphan-Free Message Logging Protocols. [Citation Graph (0, 0)][DBLP ] Conf ] Bob Janssens , W. Kent Fuchs Relaxing Consistency in Recoverable Distributed Shared Memory. [Citation Graph (0, 0)][DBLP ] Conf ] Irith Pomeranz , Sudhakar M. Reddy EXOP (Extended Operation): A New Logical Fault Model for Digital Circuits. [Citation Graph (0, 0)][DBLP ] Conf ] Ronald D. Blanton , John P. Hayes Efficient Testing of Tree Circuits. [Citation Graph (0, 0)][DBLP ] Conf ] Rolf Krieger , Bernd Becker , R. Sinkovic A BDD - based Algorithm for Computation of Exact Fault Detection Probabilities. [Citation Graph (0, 0)][DBLP ] Conf ] Roy A. Maxion , Robert T. Olszewski Detection and Discrimination of Injected Network Faults. [Citation Graph (0, 0)][DBLP ] Conf ] Harold A. Rosenberg , Kang G. Shin Software Fault Injection and its Application in Distributed Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Kumar K. Goswami , Ravishankar K. Iyer Simulation of Software Behaviour Under Hardware Faults. [Citation Graph (0, 0)][DBLP ] Conf ] David Powell , Eliane Martins , Jean Arlat , Yves Crouzet Estimators for Fault Tolerance Coverage Evaluation. [Citation Graph (0, 0)][DBLP ] Conf ] Christopher J. Glass , Lionel M. Ni Fault-Tolerant Wormhole Routing in Meshes. [Citation Graph (0, 0)][DBLP ] Conf ] Kamal Kantawala , D. L. Tao Designing Concurrent Checking Sorting Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Jehoshua Bruck , Robert Cypher , Ching-Tien Ho Wildcard Dimensions, Coding Theory and Fault-Tolerant Meshes and Hybercubes. [Citation Graph (0, 0)][DBLP ] Conf ] Yoshihiro Tohma , Yoichi Koyanagi Design of Neural Networks to Tolerate the Mixture of Two Types of Faults. [Citation Graph (0, 0)][DBLP ] Conf ] Ragini Shamsunder , Daniel J. Rosenkrantz , S. S. Ravi Exploiting Data Flow Information in Algorithm-Based Fault Tolerance. [Citation Graph (0, 0)][DBLP ] Conf ] Amber Roy-Chowdhury , Prithviraj Banerjee Tolerance Determination for Algorithm-Based Checks Using Simplified Error Analysis Techniques. [Citation Graph (0, 0)][DBLP ] Conf ] G. Robert Redinbo Optimum Detector/Corrector for Fault-Tolerant Linear Processing. [Citation Graph (0, 0)][DBLP ] Conf ] Hungse Cha , Elizabeth M. Rudnick , Gwan S. Choi , Janak H. Patel , Ravishankar K. Iyer A Fast and Accurate Gate-Level Transient Fault Simulation Environment. [Citation Graph (0, 0)][DBLP ] Conf ] Gwan S. Choi , Ravishankar K. Iyer Wear-Out Simulation Environment for VLSI Designs. [Citation Graph (0, 0)][DBLP ] Conf ] Irith Pomeranz , Sudhakar M. Reddy , Janak H. Patel Theory and Practice of Sequential Machine Testing and Testability. [Citation Graph (0, 0)][DBLP ] Conf ] Yervant Zorian , André Ivanov Programmable Space Compaction for BIST. [Citation Graph (0, 0)][DBLP ] Conf ] Krishnendu Chakrabarty , John P. Hayes Balance Testing of Logic Circuits. [Citation Graph (0, 0)][DBLP ] Conf ] Nirmal R. Saxena , Ravi Tangirala , Ajay Srivastava Algorithmic Synthesis of High Level Tests for Data Path Designs. [Citation Graph (0, 0)][DBLP ] Conf ] Praveen Vishakantaiah , Jacob A. Abraham Impact of Behavioral Learning on the Compilation of Sequential Circuit Tests. [Citation Graph (0, 0)][DBLP ] Conf ] Henning Koch An Efficient Replication Protocol Exploiting Logical Tree Structures. [Citation Graph (0, 0)][DBLP ] Conf ] Antonio Cau , Willem P. de Roever Specifying Fault Tolerance within Stark's Formalism. [Citation Graph (0, 0)][DBLP ] Conf ] Patrick Lincoln , John M. Rushby A Formally Verified Algorithm for Interactive Consistency Under a Hybrid Fault Model. [Citation Graph (0, 0)][DBLP ] Conf ] Piotr Berman , Juan A. Garay Randomized Distributed Agreement Revisited. [Citation Graph (0, 0)][DBLP ] Conf ] Mark Holland , Garth A. Gibson , Daniel P. Siewiorek Fast, On-Line Failure Recovery in Redundant Disk Arrays. [Citation Graph (2, 0)][DBLP ] Conf ] Walter A. Burkhard , Jai Menon Disk Array Storage System Reliability. [Citation Graph (2, 0)][DBLP ] Conf ] Robert Geist , Kishor S. Trivedi An Analytic Treatment of the Reliability and Performance of Mirrored Disk Subsystems. [Citation Graph (0, 0)][DBLP ] Conf ] Anupam Bhide , Daniel M. Dias , Nagui Halim , T. Basil Smith , Francis N. Parr A Case for Fault-Tolerant Memory for Transaction Processing. [Citation Graph (2, 0)][DBLP ] Conf ] Andrzej Pelc Efficient Distributed Diagnosis in the Presence of Random Faults. [Citation Graph (0, 0)][DBLP ] Conf ] Richard W. Buskens , Ronald P. Bianchini Jr. Distributed On-Line Diagnosis in the Presence of Arbitrary Faults. [Citation Graph (0, 0)][DBLP ] Conf ] Jae Young Lee , Hee Yong Youn , Adit D. Singh Adaptive Voting for Faulty (VFF) Node Scheme for Distributed Self-Diagnosis. [Citation Graph (0, 0)][DBLP ] Conf ] Irith Pomeranz , Sudhakar M. Reddy Design and Synthesis for Testability of Synchronous Sequential Circuits Based on Strong-Connectivity. [Citation Graph (0, 0)][DBLP ] Conf ] Régis Leveugle , R. Rochet , Gabriele Saucier , L. Martinez , C. Pitot A Synthesis Tool for Fault-Tolerant Finite State Machines. [Citation Graph (0, 0)][DBLP ] Conf ] Ramesh Karri , Alex Orailoglu Optimal Self-Recovering Microarchitecture Synthesis. [Citation Graph (0, 0)][DBLP ] Conf ] Hermann Kopetz , Günter Grünsteidl TTP - A Time-Triggered Protocol for Fault-Tolerant Real-Time Systems. [Citation Graph (0, 0)][DBLP ] Conf ] André Schiper , Aleta Ricciardi Virtually-Synchronous Communication Based on a Weak Failure Suspector. [Citation Graph (0, 0)][DBLP ] Conf ] Danny Dolev , Shlomo Kramer , Dalia Malki Early Delivery Totally Ordered Multicast in Asynchronous Environments. [Citation Graph (0, 0)][DBLP ] Conf ] Birgit Baum-Waidner Byzantine Agreement with a Minimum Number of Messages Both in the Faultless and Worst Case. [Citation Graph (0, 0)][DBLP ] Conf ] Kent D. Wilken , Timothy Kong Efficient Memory Access Checking. [Citation Graph (0, 0)][DBLP ] Conf ] Robert W. Horst , Doug Jewett , Daniel Lenoski The Risk of Data Corruption in Microprocessor-based Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Nicolaidis Efficient Implementations of Self-Checking Adders and ALUs. [Citation Graph (0, 0)][DBLP ] Conf ] Choong Gun Oh , Hee Yong Youn On Concurrent Error Detection, Location, and Correction of FFT Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Claude Laprie , Gérard Le Lann , Michele Morganti , John M. Rushby Limits in Dependability (Panel). [Citation Graph (0, 0)][DBLP ] Conf ] Dominique Brière , Pascal Traverse AIRBUS A320/A330/A340 Electrical Flight Controls: A Family of Fault-Tolerant Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Claude Hennebert , Gérard D. Guiho SACEM: A Fault Tolerant System for Train Speed Control. [Citation Graph (0, 0)][DBLP ] Conf ] David Chih-Wei Chang , Nirmal R. Saxena Concurrent Error Detection/Correction in the HAL MMU Chip. [Citation Graph (0, 0)][DBLP ] Conf ] W. David Shambroom Use of Protocol Validation and Verification Techniques in the Design of a Fault-Tolerant Computer Architecture. [Citation Graph (0, 0)][DBLP ] Conf ] Philippe David , Claude Guidal Development of a Fault Tolerant Computer System for the HERMES Space Shuttle. [Citation Graph (0, 0)][DBLP ] Conf ] Michael R. Lyu , Allen P. Nikora , William H. Farr A Systematic and Comprehensive Tool for Software Reliability Modeling and Measurement. [Citation Graph (0, 0)][DBLP ] Conf ] Karama Kanoun , Mohamed Kaâniche , Jean-Claude Laprie , Sylvain Metge SoRel: A Tool for Reliability Growth Analysis and Prediction From Statistical Failure Data. [Citation Graph (0, 0)][DBLP ] Conf ] Yves Eychenne , Michel Simatic , Christophe Baradel , Laurent Junot , Bruno Kohen The Use of Object Groups to Implement Dependability in a Process Control Supervision System. [Citation Graph (0, 0)][DBLP ] Conf ] C. Béoumes , Karama Kanoun , Martine Aguera , Jean-Claude Laprie , Jean Arlat , Sylvain Metge , S. Bachmann , Jorge Moreira de Souza , C. Bourdeau , David Powell , J.-E. Doucet , P. Spiesser SURF-2: A Program for Dependability Evaluation of Complex Hardware and Software Systems. [Citation Graph (0, 0)][DBLP ] Conf ] William H. Sanders , W. Douglas Obal II Dependability Evaluation Using Ultra SAN. [Citation Graph (0, 0)][DBLP ] Conf ] Marc Bouissou The FIGARO Dependability Evaluation Workbench in Use: Case Studies for Fault-Tolerant Computer Systems. [Citation Graph (0, 0)][DBLP ] Conf ] 