Conferences in DBLP
William E. Baker , Robert W. Horst , David P. Sonnier , William J. Watson A Flexible ServerNet-based Fault-Tolerant Architecture. [Citation Graph (0, 0)][DBLP ] Conf ] Harrick M. Vin , Prashant J. Shenoy , Sriram Rao Efficient Failure Recovery in Multi-Disk Multimedia Servers. [Citation Graph (1, 0)][DBLP ] Conf ] Yi-Min Wang , Yennun Huang , Kiem-Phong Vo , Pi-Yu Chung , Chandra M. R. Kintala Checkpointing and Its Applications. [Citation Graph (0, 0)][DBLP ] Conf ] Hiroyuki Yotsuyanagi , Seiji Kajihara , Kozo Kinoshita Synthesis for Testability by Sequential Redundancy Removal Using Retiming. [Citation Graph (0, 0)][DBLP ] Conf ] Ning Jiang , Richard M. Chou , Kewal K. Saluja Synthesizing Finite State Machines for Minimum Length Synchronizing Sequence Using Partial Scan. [Citation Graph (0, 0)][DBLP ] Conf ] Douglas M. Blough , Fadi J. Kurdahi , Seong Yong Ohm Optimal Recovery Point Insertion for High-Level Synthesis of Recoverable Microarchitectures. [Citation Graph (0, 0)][DBLP ] Conf ] Louise E. Moser , P. M. Melliar-Smith , Deborah A. Agarwal The Totem System. [Citation Graph (0, 0)][DBLP ] Conf ] Mark Russinovich , Zary Segall Fault-Tolerance for Off-The-Shelf Applications and Hardware. [Citation Graph (0, 0)][DBLP ] Conf ] Stefan Poledna Fault Tolerance in Safety Critical Automotive Applications: Cost of Agreement as a Limiting Factor. [Citation Graph (0, 0)][DBLP ] Conf ] Harry Buhrman , Juan A. Garay , Jaap-Henk Hoepman Optimal Resiliency against Mobile Faults. [Citation Graph (0, 0)][DBLP ] Conf ] Thijs Krol Interactive Consistency Algorithms based on Voting and Error-correcting Codes. [Citation Graph (0, 0)][DBLP ] Conf ] Trung A. Diep , John Paul Shen Systematic Validation of Pipeline Interlock for Superscalar Microarchitectures. [Citation Graph (0, 0)][DBLP ] Conf ] Irith Pomeranz , Sudhakar M. Reddy LOCSTEP: A Logic Simulation Based Test Generation Procedure. [Citation Graph (0, 0)][DBLP ] Conf ] Rolf Krieger , Bernd Becker , Can Ökmen OBDD-based Optimization of Input Probabilities for Weighted Random Pattern Generation. [Citation Graph (0, 0)][DBLP ] Conf ] Julian M. Bass , Sylvain Metge , Adrian Browne , Peter R. Croll , Peter J. Fleming Dependability Modelling in a Prototype Development Framework. [Citation Graph (0, 0)][DBLP ] Conf ] Michael R. Lyu , Jinsong S. Yu , Elaine Keramidas , Siddhartha R. Dalal ARMOR: Analyzer for Reducing Module Operational Risk. [Citation Graph (0, 0)][DBLP ] Conf ] Richard W. Buskens , Ronald P. Bianchini Jr. Self-Stabilizing Mutual Exclusion in the Presence of Faulty Nodes. [Citation Graph (0, 0)][DBLP ] Conf ] Alan Olson , Kang G. Shin , Bruno J. Jambor Fault-Tolerant Clock Synchronization for Distributed Systems Using Continuous Synchronization Messages. [Citation Graph (0, 0)][DBLP ] Conf ] Sampath Rangarajan , Karunaharan Ratnam , Anton T. Dahbura A Fault-Tolerant Protocol for Location Directory Maintenance in Mobile Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Jong Kim , Heejo Lee , Sunggu Lee Process Allocation for Load Distribution in Fault-Tolerant Multicomputers. [Citation Graph (0, 0)][DBLP ] Conf ] Andreas Steininger , H. Schweinzer A Model for the Analysis of the Fault Injection Process. [Citation Graph (0, 0)][DBLP ] Conf ] Jens Güthoff , Volkmar Sieh Combining Software-Implemented and Simulation-Based Fault Injection into a Single Fault Injection Method. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Dahlgren , Peter Lidén A Switch-level Algorithm for Simulation of Transients in Combinational Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Joakim Ohlsson , Marcus Rimén Implicit Signature Checking. [Citation Graph (0, 0)][DBLP ] Conf ] Stanislaw J. Piestrak , Takashi Nanya Towards Totally Self-Checking Delay-Insensitive Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Yingquan Zhou , Mike W. T. Wong , Yinghua Min Feasibility and Effectiveness of the Algorithm for Overhead Reduction in Analog Checkers. [Citation Graph (0, 0)][DBLP ] Conf ] Stacy A. Doyle , Joanne Bechta Dugan Dependability Assessment using Binary Decision Diagrams (BDDs). [Citation Graph (0, 0)][DBLP ] Conf ] Meera Balakrishnan , Kishor S. Trivedi Componentwise Decomposition for an Efficient Reliability Computation of Systems with Repairable Components. [Citation Graph (0, 0)][DBLP ] Conf ] Reinaldo Vallejos Campos , Edmundo de Souza e Silva Availability and Performance Evaluation of Database Systems under Periodic Checkpoints. [Citation Graph (0, 0)][DBLP ] Conf ] Gaurav Suri , Bob Janssens , W. Kent Fuchs Reduced Overhead Logging for Rollback Recovery in Distributed Shared Memory. [Citation Graph (0, 0)][DBLP ] Conf ] Anne-Marie Kermarrec , Gilbert Cabillic , Alain Gefflaut , Christine Morin , Isabelle Puaut A Recoverable Distributed Shared Memory Integrating Coherence and Recoverability. [Citation Graph (0, 0)][DBLP ] Conf ] Andreas Savva , Takashi Nanya Gracefully Degrading Systems Using the Bulk-Synchronous Parallel Model with Randomised Shared Memory. [Citation Graph (0, 0)][DBLP ] Conf ] Eiji Fujiwara , Masato Kitakami A Class of Optimal Fixed-Byte Error Protection Codes for Computer Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Shantanu Dutt , Nihar R. Mahapatra Node Covering, Error Correcting Codes and Multiprocessors with Very High Average Fault Tolerance. [Citation Graph (0, 0)][DBLP ] Conf ] Chao Feng , Wei-Kang Huang , Fabrizio Lombardi A New Diagnosis Approach for Short Faults in Interconnects. [Citation Graph (0, 0)][DBLP ] Conf ] Paul J. Thadikaran , Sreejit Chakravarty , Janak H. Patel Fault Simulation ofIDDQ Tests for Bridging Faults in Sequential Circuits. [Citation Graph (0, 0)][DBLP ] Conf ] James S. Plank , Youngbae Kim , Jack Dongarra Algorithm-Based Diskless Checkpointing for Fault Tolerant Matrix Operations. [Citation Graph (0, 0)][DBLP ] Conf ] Sean W. Smith , David B. Johnson , J. D. Tygar Completely Asynchronous Optimistic Recovery with Minimal Rollbacks. [Citation Graph (0, 0)][DBLP ] Conf ] Aki Watanabe , Ken Sakamura Design Fault Tolerance in Operating Systems Based on a Standarization Project. [Citation Graph (0, 0)][DBLP ] Conf ] Yennun Huang , Chandra M. R. Kintala , Nick Kolettis , N. Dudley Fulton Software Rejuvenation: Analysis, Module and Applications. [Citation Graph (0, 0)][DBLP ] Conf ] Jonathan D. Bright , Gregory F. Sullivan On-line Error Monitoring for Several Data Structures. [Citation Graph (0, 0)][DBLP ] Conf ] Jonathan D. Bright , Gregory F. Sullivan , Gerald M. Masson Checking the Integrity of Trees. [Citation Graph (0, 0)][DBLP ] Conf ] Michael F. Buckley , Daniel P. Siewiorek VAX/VMS Event Monitoring and Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Ram Chillarege , Shriram Biyani , Jeanette Rosenthal Measurement of Failure Rate in Widely Distributed Software. [Citation Graph (0, 0)][DBLP ] Conf ] Dong Tang , Myron Hecht Evaluation of Software Dependability Based on Stability Test Data. [Citation Graph (0, 0)][DBLP ] Conf ] Bev Littlewood , David Wright Stopping Rules for the Operational Testing of Safety-Critical Software. [Citation Graph (0, 0)][DBLP ] Conf ] Heinz Kantz , Christian Koza The ELEKTRA Railway Signalling-System: Field Experience with an Actively Replicated System with Diversity. [Citation Graph (0, 0)][DBLP ] Conf ] Yennun Huang , Yi-Min Wang Why Optimistic Message Logging Has Not Been Used In Telecommunications Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Nirmal R. Saxena , Chien Chen , Ravi Swami , Hideki Osone , Shalesh Thusoo , David Lyon , David Chang , Anand Dharmaraj , Niteen Patkar , Yizhi Lu , Ben Chia Error Detection and Handling in a Superscalar, Speculative Out-of-Order Execution Processor System. [Citation Graph (0, 0)][DBLP ] Conf ] Babu Turumella , Aiman Kabakibo , Manjunath Bogadi , Karakunakara Menon , Shaleah Thusoo , Long Nguyen , Nirmal R. Saxena , Michael Chow Design Verification of a Super-Scalar RISC Processor. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Peercy , Prithviraj Banerjee Software Schemes of Reconfiguration and Recovery in Distributed Memory Multicomputers Using the Actor Model. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Charles Fabre , Vincent Nicomette , Tanguy Pérennou , Robert J. Stroud , Zhixue Wu Implementing Fault Tolerant Applications using Reflective Object-Oriented Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Jie Xu , Brian Randell , Alexander B. Romanovsky , Cecília M. F. Rubira , Robert J. Stroud , Zhixue Wu Fault Tolerance in Concurrent Object-Oriented Software Through Coordinated Error Recovery. [Citation Graph (0, 0)][DBLP ] Conf ] Tullio Vardanega , P. David , J.-F. Chane , W. Mader , R. Messaros , Jean Arlat On the Development of Fault-Tolerant On-Board Control Software and its Evaluation by Fault Injection. [Citation Graph (0, 0)][DBLP ] Conf ] Ronald Riter Modeling and Testing a Critical Fault-Tolerant Multi-Process System. [Citation Graph (0, 0)][DBLP ] Conf ] Christopher P. Dingman , Joe Marshall , Daniel P. Siewiorek Measuring Robustness of a Fault Tolerant Aerospace System. [Citation Graph (0, 0)][DBLP ] Conf ] Roy A. Maxion , Aimee L. deChambeau Depenability at the User Interface. [Citation Graph (0, 0)][DBLP ] Conf ] Ravishankar K. Iyer , Daniel Lenoski , Joe Hingston , Angelo Pruscino , Jim Shaffer , Eric Scott Dependability of Commercial Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Hirokazu Ihara , Ekkehard Blanz , Daniel J. Valentino , Lynn Elliott , Thomas L. Lincoln Dependability of Medical Computing. [Citation Graph (0, 0)][DBLP ] Conf ] 