Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Anne-Marie Kermarrec, Gilbert Cabillic, Alain Gefflaut, Christine Morin, Isabelle Puaut |
A Recoverable Distributed Shared Memory Integrating Coherence and Recoverability. |
FTCS |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Reinaldo Vallejos Campos, Edmundo de Souza e Silva |
Availability and Performance Evaluation of Database Systems under Periodic Checkpoints. |
FTCS |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Julian M. Bass, Sylvain Metge, Adrian Browne, Peter R. Croll, Peter J. Fleming |
Dependability Modelling in a Prototype Development Framework. |
FTCS |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Poledna |
Fault Tolerance in Safety Critical Automotive Applications: Cost of Agreement as a Limiting Factor. |
FTCS |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Ravishankar K. Iyer, Daniel Lenoski, Joe Hingston, Angelo Pruscino, Jim Shaffer, Eric Scott |
Dependability of Commercial Systems. |
FTCS |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Stacy A. Doyle, Joanne Bechta Dugan |
Dependability Assessment using Binary Decision Diagrams (BDDs). |
FTCS |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Louise E. Moser, P. M. Melliar-Smith, Deborah A. Agarwal |
The Totem System. |
FTCS |
1995 |
DBLP DOI BibTeX RDF |
|
1 | |
Digest of Papers: FTCS-25, The Twenty-Fifth International Symposium on Fault-Tolerant Computing, Pasadena, California, USA, June 27-30, 1995 |
FTCS |
1995 |
DBLP BibTeX RDF |
|
1 | Michael Peercy, Prithviraj Banerjee |
Software Schemes of Reconfiguration and Recovery in Distributed Memory Multicomputers Using the Actor Model. |
FTCS |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Alan Olson, Kang G. Shin, Bruno J. Jambor |
Fault-Tolerant Clock Synchronization for Distributed Systems Using Continuous Synchronization Messages. |
FTCS |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Savva, Takashi Nanya |
Gracefully Degrading Systems Using the Bulk-Synchronous Parallel Model with Randomised Shared Memory. |
FTCS |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Harry Buhrman, Juan A. Garay, Jaap-Henk Hoepman |
Optimal Resiliency against Mobile Faults. |
FTCS |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Ram Chillarege, Shriram Biyani, Jeanette Rosenthal |
Measurement of Failure Rate in Widely Distributed Software. |
FTCS |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Douglas M. Blough, Fadi J. Kurdahi, Seong Yong Ohm |
Optimal Recovery Point Insertion for High-Level Synthesis of Recoverable Microarchitectures. |
FTCS |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Meera Balakrishnan, Kishor S. Trivedi |
Componentwise Decomposition for an Efficient Reliability Computation of Systems with Repairable Components. |
FTCS |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Jie Xu 0007, 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. |
FTCS |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Peter Dahlgren, Peter Lidén |
A Switch-level Algorithm for Simulation of Transients in Combinational Logic. |
FTCS |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Jens Güthoff, Volkmar Sieh |
Combining Software-Implemented and Simulation-Based Fault Injection into a Single Fault Injection Method. |
FTCS |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Charles Fabre, Vincent Nicomette, Tanguy Pérennou, Robert J. Stroud, Zhixue Wu |
Implementing Fault Tolerant Applications using Reflective Object-Oriented Programming. |
FTCS |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Shantanu Dutt, Nihar R. Mahapatra |
Node Covering, Error Correcting Codes and Multiprocessors with Very High Average Fault Tolerance. |
FTCS |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Hiroyuki Yotsuyanagi, Seiji Kajihara, Kozo Kinoshita |
Synthesis for Testability by Sequential Redundancy Removal Using Retiming. |
FTCS |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Paul J. Thadikaran, Sreejit Chakravarty, Janak H. Patel |
Fault Simulation ofIDDQ Tests for Bridging Faults in Sequential Circuits. |
FTCS |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Joakim Ohlsson, Marcus Rimén |
Implicit Signature Checking. |
FTCS |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Michael F. Buckley, Daniel P. Siewiorek |
VAX/VMS Event Monitoring and Analysis. |
FTCS |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Jonathan D. Bright, Gregory F. Sullivan, Gerald M. Masson |
Checking the Integrity of Trees. |
FTCS |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Aki Watanabe, Ken Sakamura |
Design Fault Tolerance in Operating Systems Based on a Standarization Project. |
FTCS |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Irith Pomeranz, Sudhakar M. Reddy |
LOCSTEP: A Logic Simulation Based Test Generation Procedure. |
FTCS |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Roy A. Maxion, Aimee L. deChambeau |
Depenability at the User Interface. |
FTCS |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Yennun Huang, Chandra M. R. Kintala, Nick Kolettis, N. Dudley Fulton |
Software Rejuvenation: Analysis, Module and Applications. |
FTCS |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Thijs Krol |
Interactive Consistency Algorithms based on Voting and Error-correcting Codes. |
FTCS |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Mark Russinovich, Zary Segall |
Fault-Tolerance for Off-The-Shelf Applications and Hardware. |
FTCS |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Gaurav Suri, Bob Janssens, W. Kent Fuchs |
Reduced Overhead Logging for Rollback Recovery in Distributed Shared Memory. |
FTCS |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Dong Tang, Myron Hecht |
Evaluation of Software Dependability Based on Stability Test Data. |
FTCS |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Sean W. Smith, David B. Johnson 0001, J. D. Tygar |
Completely Asynchronous Optimistic Recovery with Minimal Rollbacks. |
FTCS |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Harrick M. Vin, Prashant J. Shenoy, Sriram Rao |
Efficient Failure Recovery in Multi-Disk Multimedia Servers. |
FTCS |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Rolf Krieger, Bernd Becker 0001, Can Ökmen |
OBDD-based Optimization of Input Probabilities for Weighted Random Pattern Generation. |
FTCS |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Bev Littlewood, David Wright 0001 |
Stopping Rules for the Operational Testing of Safety-Critical Software. |
FTCS |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Ning Jiang, Richard M. Chou, Kewal K. Saluja |
Synthesizing Finite State Machines for Minimum Length Synchronizing Sequence Using Partial Scan. |
FTCS |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Stanislaw J. Piestrak, Takashi Nanya |
Towards Totally Self-Checking Delay-Insensitive Systems. |
FTCS |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Jong Kim 0001, Heejo Lee, Sunggu Lee |
Process Allocation for Load Distribution in Fault-Tolerant Multicomputers. |
FTCS |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Trung A. Diep, John Paul Shen |
Systematic Validation of Pipeline Interlock for Superscalar Microarchitectures. |
FTCS |
1995 |
DBLP DOI BibTeX RDF |
|
1 | 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. |
FTCS |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Chao Feng, Wei-Kang Huang, Fabrizio Lombardi |
A New Diagnosis Approach for Short Faults in Interconnects. |
FTCS |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Jonathan D. Bright, Gregory F. Sullivan |
On-line Error Monitoring for Several Data Structures. |
FTCS |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Yi-Min Wang, Yennun Huang, Kiem-Phong Vo, Pi-Yu Chung, Chandra M. R. Kintala |
Checkpointing and Its Applications. |
FTCS |
1995 |
DBLP DOI BibTeX RDF |
|
1 | William E. Baker, Robert W. Horst, David P. Sonnier, William J. Watson |
A Flexible ServerNet-based Fault-Tolerant Architecture. |
FTCS |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Heinz Kantz, Christian Koza |
The ELEKTRA Railway Signalling-System: Field Experience with an Actively Replicated System with Diversity. |
FTCS |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Jack Goldberg, Hermann Kopetz, Binay Sugla, Chris J. Walter |
Towards Effective Integration of Fault Tolerance and Real Time (Panel). |
FTCS |
1994 |
DBLP BibTeX RDF |
|
1 | Nicholas S. Bowen, Amber Roy-Chowdhury |
A Study of Throughput Degradation Following Single Node Failure in a Data Sharing System. |
FTCS |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Timothy C. K. Chou, Jack Goldberg, David E. Morgan, Louis Scerbo |
Challenges of Building a Dependable National Information Infrastructure (Panel). |
FTCS |
1994 |
DBLP BibTeX RDF |
|
1 | Prasanti Uppaluri, Irith Pomeranz, Sudhakar M. Reddy |
Test Pattern Generation for Path Delay Faults in Synchronous Sequential Circuits Using Multiple Fast Clocks and Multiple Observations Times. |
FTCS |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Sudhakar M. Reddy, Irith Pomeranz, Rahul Jain 0014 |
On Codeword Testing of Two-Rail and Parity TSC Checkers. |
FTCS |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Dhiraj K. Pradhan, Nitin H. Vaidya |
Roll-Forward and Rollback Recovery: Performance-Reliability Trade-Off. |
FTCS |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Chung-Ho Chen, Arun K. Somani |
A Cache Protocol for Error Detection and Recovery in Fault-Tolerant Computing Systems. |
FTCS |
1994 |
DBLP DOI BibTeX RDF |
|
1 | M. L. Liu, Divyakant Agrawal, Amr El Abbadi |
The Performance of Two-phase Commit Protocols in the Presence of Site Failures. |
FTCS |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Ashutosh Mujumdar, Rajiv Jain, Kewal K. Saluja |
Behavioral Synthesis of Testable Designs. |
FTCS |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Peter Lidén, Peter Dahlgren, Rolf Johansson 0002, Johan Karlsson |
On Latching Probability of Particle Induced Transients in Combinational Networks. |
FTCS |
1994 |
DBLP DOI BibTeX RDF |
|
1 | David A. Rennels, Hyeongil Kim |
Concurrent Error Detection in Self-Timed VLSI. |
FTCS |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Alvin M. Blum, Ambuj Goyal, Philip Heidelberger, Stephen S. Lavenberg, Marvin K. Nakayama, Perwez Shahabuddin |
Modeling and Analysis of System Dependability Using the System Availability Estimator. |
FTCS |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Bernard Mans, Nicola Santoro |
Optimal Fault-Tolerant Leader Election in Chordal Rings. |
FTCS |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Xinghao Chen 0003, Michael L. Bushnell |
Dynamic State and Objective Learning for Sequential Circuit Automatic Test Generation Using Decomposition Equivalence. |
FTCS |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Gregory L. Ries, Gwan S. Choi, Ravishankar K. Iyer |
Device-Level Transient Fault Modeling. |
FTCS |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Ching-Tai Chiu, Kishan Mehrotra, Chilukuri K. Mohan, Sanjay Ranka |
Training Techniques to Obtain Fault-Tolerant Neural Networks. |
FTCS |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Ge-Ming Chiu, Shui-Pao Wu |
Fault-Tolerant Routing Strategy in Hypercube Systems. |
FTCS |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Chao-Ju Hou, Kang G. Shin |
Replication and Allocation of Task Modules in Distributed Real-Time Systems. |
FTCS |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Masato Suzuki, Takuya Katayama, Richard D. Schlichting |
Implementing Fault Tolerance with an Attribute and Functional Based Model. |
FTCS |
1994 |
DBLP DOI BibTeX RDF |
|
1 | James R. Bitner, Jawahar Jain, Magdy S. Abadir, Jacob A. Abraham, Donald S. Fussell |
Efficient Algorithmic Circuit Verification Using Indexed BDDs. |
FTCS |
1994 |
DBLP DOI BibTeX RDF |
|
1 | E. N. Elnozahy, Willy Zwaenepoel |
On the Use and Implementation of Message Logging. |
FTCS |
1994 |
DBLP DOI BibTeX RDF |
|
1 | E. Amadio, P. Iaboni, M. La Manna, P. Mariano |
Implementation of High Availability Mechanisms in the Air Traffic Control SIR-S System. |
FTCS |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Alain Azagury, Danny Dolev, Gera Goft, John M. Marberg, Julian Satran |
Highly Available Cluster: A Case Study. |
FTCS |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Uwe Sparmann, Sudhakar M. Reddy |
On the Effectiveness of Residue Code Checking for Parallel Two's Complement Multipliers. |
FTCS |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Jonathan D. Bright, Gregory F. Sullivan |
Checking Mergeable Priority Queues. |
FTCS |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Tushar R. Sarnaik, Arun K. Somani |
Effects of Resource Utilization Monitoring in Fault Recovery. |
FTCS |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Laura Baldelli, Piero Maestrini |
Diagnosos of Processor Arrays. |
FTCS |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Larry A. Dunning |
A SEC-BED-DED Code with Byte Plus Bit Error Detection. |
FTCS |
1994 |
DBLP DOI BibTeX RDF |
|
1 | I-Ling Yen, Farokh B. Bastani |
Systematic Incorporation of Efficient Fault Tolerance in Systems of Cooperating Parallel Programs. |
FTCS |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Tetsuji Fukaya, Masayuki Hirayama, Yukihiro Mihara |
Automatic Verifying Approach for Product Specification using FTA. |
FTCS |
1994 |
DBLP DOI BibTeX RDF |
|
1 | James S. Plank, Kai Li 0001 |
Faster Checkpointing with N+1 Parity. |
FTCS |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Ann T. Tai |
Performability-Driven Adaptive Fault Tolerance. |
FTCS |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Luca G. Tallini, L. Merani, Bella Bose |
Balanced Codes for Noise Reduction in VLSI Systems. |
FTCS |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Henrique Madeira, João Gabriel Silva |
Experimental Evaluation of the Fail-Silent Behaviour in Computers Without Error Masking. |
FTCS |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Tilak Agerwala, W. Donald Frazer, Bernard Traversat, Dennis Young |
Do Commercial MPPs Need Fault Tolerance? (Panel). |
FTCS |
1994 |
DBLP BibTeX RDF |
|
1 | David Cummings, Leon Alkalaj |
Checkpoint/Rollback in a Distributed System Using Coarse-Grained Dataflow. |
FTCS |
1994 |
DBLP DOI BibTeX RDF |
|
1 | F. L. Vargas, Michael Nicolaidis |
SEU-Tolerant SRAM Design Based on Current Monitoring. |
FTCS |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Pradip Bose |
Architectural Timing Verification and Test for Super Scalar Processors. |
FTCS |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Eric Jenn, Jean Arlat, Marcus Rimén, Joakim Ohlsson, Johan Karlsson |
Fault Injection into VHDL Models: The MEFISTO Tool. |
FTCS |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Amber Roy-Chowdhury, Prithviraj Banerjee |
Algorithm-Based Fault Location and Recovery for Matrix Computations. |
FTCS |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Mossé, Rami G. Melhem, Sunondo Ghosh |
Analysis of a Fault-Tolerant Multiprocessor Scheduling Algorithm. |
FTCS |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Nancy M. Amato, Michael C. Loui |
Checking Linked Data Structures. |
FTCS |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Marcus Rimén, Joakim Ohlsson, Jan Torin |
On Microprocessor Error Behaviour Modeling. |
FTCS |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Wei Wang, Kishor S. Trivedi, Babubhai V. Shah, Joseph A. Profeta III |
The Impact of Fault Expansion on the Interval Estimate for Fault Detection Coverage. |
FTCS |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Inhwan Lee, Ravishankar K. Iyer, Abhay Metha |
Identifying Software Problems Using Symptoms. |
FTCS |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Jiri Gaisler |
Concurrent Error-Detection and Modular Fault-tolerance in a 32-bit Processing Core for Embedded Space Flight Applications. |
FTCS |
1994 |
DBLP DOI BibTeX RDF |
|
1 | M. Abbott, David Har, Lorraine Herger, M. Kauffmann, Ken Mak, J. Murdock, Charles O. Schulz, T. Basil Smith, R. Brett Tremaine, D. Yeh, L. Wong |
Durable Memory RS/6000 System Design. |
FTCS |
1994 |
DBLP DOI BibTeX RDF |
|
1 | |
Digest of Papers: FTCS/24, The Twenty-Fourth Annual International Symposium on Fault-Tolerant Computing, Austin, Texas, USA, June 15-17, 1994 |
FTCS |
1994 |
DBLP BibTeX RDF |
|
1 | Hung-Kuei Ku, John P. Hayes |
Connectivity and Fault Tolerance of Multiple-Bus Systems. |
FTCS |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Moncef Hamdaoui, Parameswaran Ramanathan |
A Service Policy for Real-Time Customers with (m, k, )-Firm Deadlines. |
FTCS |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Hongying Wang, Douglas M. Blough, Leon Alkalaj |
Analysis and Experimental Evaluation of Comparison-Based System-Level Diagnosis for Multiprocessor Systems. |
FTCS |
1994 |
DBLP DOI BibTeX RDF |
|
1 | Jehoshua Bruck, Robert Cypher, Ching-Tien Ho |
Wildcard Dimensions, Coding Theory and Fault-Tolerant Meshes and Hybercubes. |
FTCS |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Peter G. Bishop |
The Variation of Software Survival Time for Different Operational Input Profiles. |
FTCS |
1993 |
DBLP DOI BibTeX RDF |
|