Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Irith Pomeranz, Sudhakar M. Reddy |
EXOP (Extended Operation): A New Logical Fault Model for Digital Circuits. |
FTCS |
1993 |
DBLP DOI BibTeX RDF |
|
1 | David Powell, Eliane Martins, Jean Arlat, Yves Crouzet |
Estimators for Fault Tolerance Coverage Evaluation. |
FTCS |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Michael Nicolaidis |
Efficient Implementations of Self-Checking Adders and ALUs. |
FTCS |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Hermann Kopetz, Günter Grünsteidl |
TTP - A Time-Triggered Protocol for Fault-Tolerant Real-Time Systems. |
FTCS |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Kamal Kantawala, Dali L. Tao |
Designing Concurrent Checking Sorting Networks. |
FTCS |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Dominique Brière, Pascal Traverse |
AIRBUS A320/A330/A340 Electrical Flight Controls: A Family of Fault-Tolerant Systems. |
FTCS |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Deepak Gupta 0001, Pankaj Jalote |
Increasing System Availability through On-Line Software Version Change. |
FTCS |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Meera Balakrishnan, Andrew L. Reibman |
Characterizing a Lumping Heuristic for a Markov Network Reliability Model. |
FTCS |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Ronald D. Blanton, John P. Hayes |
Efficient Testing of Tree Circuits. |
FTCS |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Chang Chen, Hiroyuki Asada, Yoshiaki Kakuda, Tohru Kikuno |
Comparison of Hybrid Modular Redundant Multiprocessor Systems with respect to Performabilitites. |
FTCS |
1993 |
DBLP DOI BibTeX RDF |
|
1 | 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. |
FTCS |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Kent D. Wilken, Timothy Kong |
Efficient Memory Access Checking. |
FTCS |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Irith Pomeranz, Sudhakar M. Reddy, Janak H. Patel |
Theory and Practice of Sequential Machine Testing and Testability. |
FTCS |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Yoshihiro Tohma, Yoichi Koyanagi |
Design of Neural Networks to Tolerate the Mixture of Two Types of Faults. |
FTCS |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Kumar K. Goswami, Ravishankar K. Iyer |
Simulation of Software Behaviour Under Hardware Faults. |
FTCS |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Piotr Berman, Juan A. Garay |
Randomized Distributed Agreement Revisited. |
FTCS |
1993 |
DBLP DOI BibTeX RDF |
|
1 | |
Digest of Papers: FTCS-23, The Twenty-Third Annual International Symposium on Fault-Tolerant Computing, Toulouse, France, June 22-24, 1993 |
FTCS |
1993 |
DBLP BibTeX RDF |
|
1 | David Chih-Wei Chang, Nirmal R. Saxena |
Concurrent Error Detection/Correction in the HAL MMU Chip. |
FTCS |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Inhwan Lee, Ravishankar K. Iyer |
Faults, Symptoms, and Software Fault Tolerance in the Tandem GUARDIAN90 Operating System. |
FTCS |
1993 |
DBLP DOI BibTeX RDF |
|
1 | André Schiper, Aleta Ricciardi |
Virtually-Synchronous Communication Based on a Weak Failure Suspector. |
FTCS |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Philippe David, Claude Guidal |
Development of a Fault Tolerant Computer System for the HERMES Space Shuttle. |
FTCS |
1993 |
DBLP DOI BibTeX RDF |
|
1 | William H. Sanders, W. Douglas Obal II |
Dependability Evaluation Using UltraSAN. |
FTCS |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Krishnendu Chakrabarty, John P. Hayes |
Balance Testing of Logic Circuits. |
FTCS |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Karama Kanoun, Mohamed Kaâniche, Jean-Claude Laprie, Sylvain Metge |
SoRel: A Tool for Reliability Growth Analysis and Prediction From Statistical Failure Data. |
FTCS |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Choong Gun Oh, Hee Yong Youn |
On Concurrent Error Detection, Location, and Correction of FFT Networks. |
FTCS |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Yennun Huang, Chandra M. R. Kintala |
Software Implemented Fault Tolerance Technologies and Experience. |
FTCS |
1993 |
DBLP BibTeX RDF |
|
1 | Régis Leveugle, Raphaël Rochet, Gabriele Saucier, L. Martinez, C. Pitot |
A Synthesis Tool for Fault-Tolerant Finite State Machines. |
FTCS |
1993 |
DBLP DOI BibTeX RDF |
|
1 | G. Robert Redinbo |
Optimum Detector/Corrector for Fault-Tolerant Linear Processing. |
FTCS |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Rolf Krieger, Bernd Becker 0001, R. Sinkovic |
A BDD - based Algorithm for Computation of Exact Fault Detection Probabilities. |
FTCS |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Patrick Lincoln, John M. Rushby |
A Formally Verified Algorithm for Interactive Consistency Under a Hybrid Fault Model. |
FTCS |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Ragini Shamsunder, Daniel J. Rosenkrantz, S. S. Ravi |
Exploiting Data Flow Information in Algorithm-Based Fault Tolerance. |
FTCS |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Henning Koch |
An Efficient Replication Protocol Exploiting Logical Tree Structures. |
FTCS |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Hungse Cha, Elizabeth M. Rudnick, Gwan S. Choi, Janak H. Patel, Ravishankar K. Iyer |
A Fast and Accurate Gate-Level Transient Fault Simulation Environment. |
FTCS |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Nirmal R. Saxena, Ravi Tangirala, Ajay Srivastava |
Algorithmic Synthesis of High Level Tests for Data Path Designs. |
FTCS |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Robert W. Horst, Doug Jewett, Daniel Lenoski |
The Risk of Data Corruption in Microprocessor-based Systems. |
FTCS |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Jae Young Lee, Hee Yong Youn, Adit D. Singh |
Adaptive Voting for Faulty (VFF) Node Scheme for Distributed Self-Diagnosis. |
FTCS |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Eiji Fujiwara, Masato Kitakami |
A Class of Error Locating Codes for Byte-Organized Memory Systems. |
FTCS |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Bob Janssens, W. Kent Fuchs |
Relaxing Consistency in Recoverable Distributed Shared Memory. |
FTCS |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Danny Dolev, Shlomo Kramer, Dalia Malki |
Early Delivery Totally Ordered Multicast in Asynchronous Environments. |
FTCS |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Gwan S. Choi, Ravishankar K. Iyer |
Wear-Out Simulation Environment for VLSI Designs. |
FTCS |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Christopher J. Glass, Lionel M. Ni |
Fault-Tolerant Wormhole Routing in Meshes. |
FTCS |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Andrzej Pelc |
Efficient Distributed Diagnosis in the Presence of Random Faults. |
FTCS |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Yi-Min Wang, Yennun Huang, W. Kent Fuchs |
Progressive Retry for Software Error Recovery in Distributed Systems. |
FTCS |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Michael R. Lyu, Allen P. Nikora, William H. Farr |
A Systematic and Comprehensive Tool for Software Reliability Modeling and Measurement. |
FTCS |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Mark Russinovich, Zary Segall, Daniel P. Siewiorek |
Application Transparent Fault Management in Fault Tolerant Match. |
FTCS |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Roy A. Maxion, Robert T. Olszewski |
Detection and Discrimination of Injected Network Faults. |
FTCS |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Ramesh Karri, Alex Orailoglu |
Optimal Self-Recovering Microarchitecture Synthesis. |
FTCS |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Victor F. Nicola, Perwez Shahabuddin, Philip Heidelberger, Peter W. Glynn |
Fast Simulation of Steady-State Availability in Non-Markovian Highly Dependable Systems. |
FTCS |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Walter A. Burkhard, Jai Menon 0001 |
Disk Array Storage System Reliability. |
FTCS |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Amber Roy-Chowdhury, Prithviraj Banerjee |
Tolerance Determination for Algorithm-Based Checks Using Simplified Error Analysis Techniques. |
FTCS |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Claude Laprie, Gérard Le Lann, Michele Morganti, John M. Rushby |
Limits in Dependability (Panel). |
FTCS |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Lorenzo Alvisi, Bruce Hoppe, Keith Marzullo |
Nonblocking and Orphan-Free Message Logging Protocols. |
FTCS |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Harold A. Rosenberg, Kang G. Shin |
Software Fault Injection and its Application in Distributed Systems. |
FTCS |
1993 |
DBLP DOI BibTeX RDF |
|
1 | W. David Shambroom |
Use of Protocol Validation and Verification Techniques in the Design of a Fault-Tolerant Computer Architecture. |
FTCS |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Nitin H. Vaidya |
Unidirectional Error Control Codes. |
FTCS |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Antonio Cau, Willem P. de Roever |
Specifying Fault Tolerance within Stark's Formalism. |
FTCS |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Marc Bouissou |
The FIGARO Dependability Evaluation Workbench in Use: Case Studies for Fault-Tolerant Computer Systems. |
FTCS |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Yves Eychenne, Michel Simatic, Christophe Baradel, Laurent Junot, Bruno Kohen |
The Use of Object Groups to Implement Dependability in a Process Control Supervision System. |
FTCS |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Daniel P. Siewiorek, John J. Hudak, Byung-Hoon Suh, Zary Segall |
Development of a Benchmark to Measure System Robustness. |
FTCS |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Yervant Zorian, André Ivanov |
Programmable Space Compaction for BIST. |
FTCS |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Robert Geist, Kishor S. Trivedi |
An Analytic Treatment of the Reliability and Performance of Mirrored Disk Subsystems. |
FTCS |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Irith Pomeranz, Sudhakar M. Reddy |
Design and Synthesis for Testability of Synchronous Sequential Circuits Based on Strong-Connectivity. |
FTCS |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Gerardo Rubino, Bruno Sericola |
Interval Availability Distribution Computation. |
FTCS |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Richard W. Buskens, Ronald P. Bianchini Jr. |
Distributed On-Line Diagnosis in the Presence of Arbitrary Faults. |
FTCS |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Birgit Baum-Waidner |
Byzantine Agreement with a Minimum Number of Messages Both in the Faultless and Worst Case. |
FTCS |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Praveen Vishakantaiah, Jacob A. Abraham |
Impact of Behavioral Learning on the Compilation of Sequential Circuit Tests. |
FTCS |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Mark Holland, Garth A. Gibson, Daniel P. Siewiorek |
Fast, On-Line Failure Recovery in Redundant Disk Arrays. |
FTCS |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Akira Hachiga, Katsuji Akita, Yutaka Hasegawa |
The Design Concepts and Operational Results of Fault-tolerant Computer Systems for the Shinkansen Train Control. |
FTCS |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Claude Hennebert, Gérard D. Guiho |
SACEM: A Fault Tolerant System for Train Speed Control. |
FTCS |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Anupam Bhide, Daniel M. Dias, Nagui Halim, T. Basil Smith, Francis N. Parr |
A Case for Fault-Tolerant Memory for Transaction Processing. |
FTCS |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Takashi Matsubara 0002, Yoshiaki Koga |
A Proposal for Error-Tolerating Codes. |
FTCS |
1993 |
DBLP DOI BibTeX RDF |
|
1 | E. N. Elnozahy, Willy Zwaenepoel |
Replicated Distributed Process in Manetho. |
FTCS |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Neal J. Alewine, Shyh-Kwei Chen, Chung-Chi Jim Li, W. Kent Fuchs, Wen-mei W. Hwu |
Branch Recovery with Compiler-Assisted Multiple Instruction Retry. |
FTCS |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Takashi Nanya, Shin'ichi Hatakenaka, Ryuichi Onoo |
Design of Fully Exercised SFS/SCD Logic Networks. |
FTCS |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Dimiter R. Avresky, Jean Arlat, Jean-Claude Laprie, Yves Crouzet |
Fault Injection for the Formal Testing of Fault Tolerance. |
FTCS |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Ann C. Merenda, Ed Merenda |
Recovery/Serviceability System Test Improvements for the IBM ES/9000 520 Based Models. |
FTCS |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Paulo Veríssimo, Luís E. T. Rodrigues |
A posteriori Agreement for Fault-Tolerant Clock Synchronization on Broadcast Networks. |
FTCS |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard Eschermann |
On Combining Off-Line BIST and On-Line Control Flow Checking. |
FTCS |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Jamlung Sung, G. Robert Redinbo |
Protecting Practical FFT Implementations that Share Common Processing Elements. |
FTCS |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Fikri T. Assaad, Shantanu Dutt |
More Robust Tests in Algorithm-Based Fault-Tolerant Matrix Multiplication. |
FTCS |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Andrew L. Reibman |
Outage Times in Fault-Tolerant Systems. |
FTCS |
1992 |
DBLP DOI BibTeX RDF |
|
1 | |
Digest of Papers: FTCS-22, The Twenty-Second Annual International Symposium on Fault-Tolerant Computing, Boston, Massachusetts, USA, July 8-10, 1992 |
FTCS |
1992 |
DBLP BibTeX RDF |
|
1 | Kaiyuan Huang, Vinod K. Agarwal, Laurence E. LaForge |
Wafer Testing with Pairwise Comparisons. |
FTCS |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Joakim Ohlsson, Marcus Rimén, Ulf Gunneflo |
A Study of the Effects of Transient Fault Injection into a 32-bit RISC with Built-in Watchdog. |
FTCS |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Jehoshua Bruck, Robert Cypher, Ching-Tien Ho |
Efficient Fault-Tolerant Mesh and Hypercube Architectures. |
FTCS |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Neeraj Suri, Michelle M. Hugue, Chris J. Walter |
Reliability Modeling of Large Fault-Tolerant Systems. |
FTCS |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Jien-Chung Lo, James C. Daly, Michael Nicolaidis |
Design of Static CMOS Self-Checking Circuits using Built-In Current Sensing. |
FTCS |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Behrooz Parhami |
Optimal Algorithms for Exact, Inexact, and Approval Voting. |
FTCS |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Srinivasan Tridandapani, Arun K. Somani |
Efficient Utilization of Spare Capacity for Fault Detection and Location in Multiprocessor Systems. |
FTCS |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Michael Peercy, Prithviraj Banerjee |
Design and Analysis of Software Reconfiguration Strategies for Hypercube Multicomputers under Multiple Faults. |
FTCS |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Sandeep Juneja 0001, Perwez Shahabuddin |
Fast Simulation of Markovian Reliability/Availability Models with General Repair Policies. |
FTCS |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Robert P. Colwell |
Latent Design Faults in the Development of Multiflow's TRACE/200. |
FTCS |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Dar-Tzen Peng |
Performance Bounds in List Scheduling of Redundant Tasks on Multi-Processors. |
FTCS |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Jeffery P. Hansen, Daniel P. Siewiorek |
Models for Time Coalescence in Event Logs. |
FTCS |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Dov Bulka, Joanne Bechta Dugan |
Design and Analysis of Multibus Systems Using Projective Geometry. |
FTCS |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Seiji Kajihara, Haruko Shiba, Kozo Kinoshita |
Removal of Redundancy in Logic Circuits under Classification of Undetectable Faults. |
FTCS |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Anish Arora, Mohamed G. Gouda |
Closure and Convergence: A Formulation of Fault-Tolerant Computing. |
FTCS |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Ashutosh Mujumdar, Kewal K. Saluja, Rajiv Jain |
Incorporating Testability Considerations in High-Level Systhesis. |
FTCS |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Ramesh Karri, Alex Orailoglu |
Scheduling with Rollback Constraints in High-Level Synthesis of Self-Recovering ASICs. |
FTCS |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Yi-Min Wang, W. Kent Fuchs |
Scheduling Message Processing for Reducing Rollback Propagation. |
FTCS |
1992 |
DBLP DOI BibTeX RDF |
|