Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Bharat P. Dave, Niraj K. Jha |
COFTA: Hardware-Software Co-Synthesis of Heterogeneous Distributed Embedded System Architectures for Low Overhead Fault Tolerance. |
FTCS |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Richard K. Shehady, Daniel P. Siewiorek |
A Methodology to Automate User Interface Testing Using Variable Finite State Machines. |
FTCS |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Volkmar Sieh, Oliver Tschäche, Frank Balbach |
VERIFY: Evaluation of Reliability Using VHDL-Models with Embedded Fault Descriptions. |
FTCS |
1997 |
DBLP DOI BibTeX RDF |
|
1 | J. Terry Sims |
Redundancy Management Software Services for Seawolf Ship Control System. |
FTCS |
1997 |
DBLP DOI BibTeX RDF |
|
1 | João P. Marques Silva, Karem A. Sakallah |
Robust Search Algorithms for Test Pattern Generation. |
FTCS |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Christof Fetzer, Flaviu Cristian |
Fail-Awareness: An Approach to Construct Fail-Safe Applications. |
FTCS |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Seungjae Han, Kang G. Shin |
Experimental Evaluation of Failure-Detection Schemes in Real-time Communication Networks. |
FTCS |
1997 |
DBLP DOI BibTeX RDF |
|
1 | David T. Stott, Mei-Chen Hsueh, Gregory L. Ries, Ravishankar K. Iyer |
Dependability Analysis of a Commercial High-Speed Network. |
FTCS |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Steininger, Christoph Scherrer |
On Finding an Optimal Combination of Error Detection Mechanisms Based on Results of Fault Injection Experiments. |
FTCS |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Samuel Norman Hamilton, Alex Orailoglu |
Microarchitectural Synthesis of ICs with Embedded Concurrent Fault Isolation. |
FTCS |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Yoshio Masubuchi, Satoshi Hoshina, Tomofumi Shimada, Hideaki Hirayama, Nobuhiro Kato |
Fault Recovery Mechanism for Multiprocessor Servers. |
FTCS |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Fred J. Meyer, Xiao-Tao Chen, Wei-Kang Huang, Fabrizio Lombardi |
Using Virtual Links for Reliable Information Retrieval Across Point-to-Point Networks. |
FTCS |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Roy A. Maxion, Philip A. Syme |
MetriStation: A Tool for User-Interface Fault Detection. |
FTCS |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Ann T. Tai, Herbert Hecht, Kishor S. Trivedi, Bing Zhang |
Toward Accessibility Enhancement of Dependability Modeling Techniques and Tools. |
FTCS |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Karpjoo Jeong, Dennis E. Shasha, Surendranath Talla, Peter Wyckof |
An Approach to Fault-Tolerant Parallel Processing on Intermittently Idle, Heterogeneous Workstations. |
FTCS |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Rico Piantoni, Constantin Stanescu |
Implementing the Swiss Exchange Trading System. |
FTCS |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Weiping Shi, Douglas B. West |
Optimal Structural Diagnosis of Wiring Networks. |
FTCS |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Robert Y. Hou, Yale N. Patt |
Using Non-Volatile Storage to Improve the Reliability of RAID5 Disk Arrays. |
FTCS |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Koji Hashimoto, Tatsuhiro Tsuchiya, Tohru Kikuno |
A New Approach to Realizing Fault-Tolerant Multiprocessor Scheduling by Exploiting Implicit Redundancy. |
FTCS |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Paulo Veríssimo, José Rufino, Li Ming |
How Hard is Hard Real-time Communication on Field-Buses?. |
FTCS |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Douglas M. Blough, Tatsuhiro Torii |
Fault-Injection-Based Testing of Fault-Tolerant Algorithms in Message-Passing Parallel Computers. |
FTCS |
1997 |
DBLP DOI BibTeX RDF |
|
1 | |
Digest of Papers: FTCS-27, The Twenty-Seventh Annual International Symposium on Fault-Tolerant Computing, Seattle, Washington, USA, June 24-27, 1997 |
FTCS |
1997 |
DBLP BibTeX RDF |
|
1 | Emmanuelle Anceaume |
A Lightweight Solution to Uniform Atomic Broadcast for Asynchronous Systems. |
FTCS |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Bondavalli, Silvano Chiaradonna, Felicita Di Giandomenico, Fabrizio Grandoni 0002 |
Discriminating Fault Rate and Persistency to Improve Fault Treatment. |
FTCS |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Satoshi Morinaga |
A General Model for Reliability Maximization Problem Under Given Redundancy. |
FTCS |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Yi-Min Wang, Pi-Yu Chung, Yennun Huang, E. N. Elnozahy |
Integrating Checkpointing with Transaction Processing. |
FTCS |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Gurjeet S. Saund, Michael S. Hsiao, Janak H. Patel |
Partial Scan beyond Cycle Cutting. |
FTCS |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Luca G. Tallini, Bella Bose |
On the Design of Constant Weight Codes for VLSI Systems. |
FTCS |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Tsu-Wei Chen, Paul Krzyzanowski, Michael R. Lyu, Cormac J. Sreenan, John A. Trotter |
Renegotiable Quality of Service - A New Scheme for Fault Tolerance in Wireless Networks. |
FTCS |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Bina Ramamurthy, Shambhu J. Upadhyaya, Ravishankar K. Iyer |
An Object-Oriented Testbed for the Evaluation of Checkpointing and Recovery Systems. |
FTCS |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Irith Pomeranz, Sudhakar M. Reddy |
ACTIV-LOCSTEP: A Test Generation Procedure Based on Logic Simulation and Fault Activation. |
FTCS |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Matthew Clegg, Keith Marzullo |
Predicting Physical Processes in the Presence of Faulty Sensor Readings. |
FTCS |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Silke Draber |
Reliability-Oriented Design of a Distributed Control System for High-Voltage Switchgear Stations. |
FTCS |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Baldoni, Jean-Michel Hélary, Achour Mostéfaoui, Michel Raynal |
A Communication-Induced Checkpointing Protocol that Ensures Rollback-Dependency Trackability. |
FTCS |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Arturo M. Amendola, Leonardo Impagliazzo, P. Marmo, Fabio Poli |
Experimental Evaluation of Computer-Based Railway Control Systems. |
FTCS |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Parameswaran Ramanathan |
Fault-Tolerance in Real-time Control Applications Using (m, k)-Firm Guarantee. |
FTCS |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Hyo-Chang Nam, Jong Kim 0001, Sung Je Hong, Sunggu Lee |
Probabilistic Checkpointing. |
FTCS |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Jiri Gaisler |
Evaluation of a 32-bit Microprocessor with Built-in Concurrent Error-Detection. |
FTCS |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Pascale Thévenod-Fosse, Hélène Waeselynck |
Towards a Statistical Approach to Testing Object-Oriented Programs. |
FTCS |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Edgar Nett, Michael Mock, Peter Theisohn |
Managing Dependencies - A Key Problem in Fault-Tolerant Distributed Algorithms. |
FTCS |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Nadine Peyrouze, Gilles Muller |
FT-NFS: An Efficient Fault-Tolerant NFS Server Designed for Off-the-Shelf Workstations. |
FTCS |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Myung M. Bae, Bella Bose |
Spare Processor Allocation for Fault Tolerance in Torus-Based Multicomputers. |
FTCS |
1996 |
DBLP DOI BibTeX RDF |
|
1 | B. Acevedo, L. Bahler, E. N. Elnozahy, Vivek Ratan, Mark E. Segal |
Highly Available Directory Services in DCE. |
FTCS |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Lama Nachman, Kewal K. Saluja, Shambhu J. Upadhyaya, Robert Reuse |
Random Pattern Testing for Sequential Circuits Revisited. |
FTCS |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Shinji Sumimoto |
Design and Evaluation of Fault-Tolerant Shared File System for Cluster Systems. |
FTCS |
1996 |
DBLP DOI BibTeX RDF |
|
1 | C. L. Chen |
Symbol Error Correctin Codes for Memory Applications. |
FTCS |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Tzi-cker Chiueh, Peitao Deng |
Evaluation of Checkpoint Mechanisms for Massively Parallel Machines. |
FTCS |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Rolf Johansson 0003 |
Two Error-Detecting and Correcting Circuits for Space Applications. |
FTCS |
1996 |
DBLP DOI BibTeX RDF |
|
1 | S. Ayache, Eric Conquet, Philippe Humbert, Carlos Rodriguez, Joseph Sifakis, R. Gerlich |
Formal Methods for the Validation of Fault Tolerance in Autonomous Spacecraft. |
FTCS |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Nihar R. Mahapatra, Shantanu Dutt |
Hardware-Efficient and Highly-Reconfigurable 4- and 2-Track: Fault-Tolerant Designs for Mesh-Connected Multicomputers. |
FTCS |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Jen-Yao Chung, Nicholas S. Bowen, Mei-Chen Hsueh, Ravishankar K. Iyer, Mitsuhiro Kishimoto, Luiz A. Laranjeira |
Availability of Commercial Parallel Systems. |
FTCS |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Naoki Wakita, Ken-ich Takagi, Yoshihiro Iwadare |
The Design of Totally Self-Checking Checkers for Classes of Hadamard Codes. |
FTCS |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Zhiming Liu 0001, Mathai Joseph |
Verification of Fault Tolerance and Real Time. |
FTCS |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Nobuhiro Yanagida, Hiroshi Takahashi, Yuzo Takamatsu |
Multiple Fault Diagnosis in Sequential Circuits Using Sensitizing Sequence Pairs. |
FTCS |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Noriyoshi Itazaki, Yasutaka Idomoto, Kozo Kinoshita |
A Fault Simulation Method for Crosstalk Faults in Synchronous Sequential Circuits. |
FTCS |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Timothy K. Tsai, Ravishankar K. Iyer, Doug Jewitt |
An Approach towards Benchmarking of Fault-Tolerant Commercial Systems. |
FTCS |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Yair Amir, Avishai Wool |
Evaluating Quorum Systems over the Internet. |
FTCS |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Q. M. Tan, Alexandre Petrenko, Gregor von Bochmann |
A Framework for Conformance Testing of Systems Communicating through Rendezvous. |
FTCS |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Klaus Echtle, Asif Masum |
A Multiple Bus Broadcast Protocol Resilient to Non-Cooperative Byzantine Faults. |
FTCS |
1996 |
DBLP DOI BibTeX RDF |
|
1 | J. Hamilton Slye, E. N. Elnozahy |
Supporting Nondeterministic Execution in Fault-Tolerant Systems. |
FTCS |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Vamsi Boppana, Ismed Hartanto, W. Kent Fuchs |
Fault Diagnosis Using State Information. |
FTCS |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Karama Kanoun, Marie Borrel, Thierry Morteveille, Alain Peytavin |
Modeling the Dependability of CAUTRA, a Subset of the French Air Traffic Control System. |
FTCS |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Jean Arlat, Nobuyasu Kanekawa, Arturo M. Amendola, Jean-Luis Dufour, Yuji Hirao, Joseph A. Profeta III |
Dependability of Railway Control Systems. |
FTCS |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Ganesh Lakshminarayana, Anand Raghunathan, Niraj K. Jha |
Behavioral Synthesis of Fault Secure Controller?Datapaths using Aliasing Probability Analysis. |
FTCS |
1996 |
DBLP DOI BibTeX RDF |
|
1 | |
Digest of Papers: FTCS-26, The Twenty-Sixth Annual International Symposium on Fault-Tolerant Computing, Sendai, Japan, June 25-27, 1996 |
FTCS |
1996 |
DBLP BibTeX RDF |
|
1 | Mário Zenha Rela, Henrique Madeira, João Gabriel Silva |
Experimental Evaluation of the Fail-Silent Behaviour in Programs with Consistency Checks. |
FTCS |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Jörgen Christmansson, Ram Chillarege |
Generation of Error Set that Emulates Software Faults Based on Field Data. |
FTCS |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Guevara Noubir, Berthe Y. Choueiry |
Algebraic Techniques for the Optimization of Control Flow Checking. |
FTCS |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Kyoya Kawamura, Takashi Matsubara 0002, Yoshiaki Koga |
Technologies for Designing Dependable A/D Converters. |
FTCS |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Nobuyasu Kanekawa, Makoto Nohmi, Yoshimichi Satoh, Hiroshi Satoh |
Self-Checking and Fail-Safe LSIs by Intra-Chip Redundancy. |
FTCS |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Scott Dawson, Farnam Jahanian, Todd Mitton, Teck-Lee Tung |
Testing of Fault-Tolerant and Real-Time Distributed Systems via Protocol Fault Injektion. |
FTCS |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Dhiraj K. Pradhan, P. Krishna, Nitin H. Vaidya |
Recoverable Mobile Environment: Design and Trade-Off Analysis. |
FTCS |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Venkatesh Akella, Nitin H. Vaidya, G. Robert Redinbo |
Limitations of VLSI Implementation of Delay-Insensitive Codes. |
FTCS |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Inhwan Lee, Gilbert Pitt, Ravishankar K. Iyer |
Efficient Service of Rediscovered Software Problems. |
FTCS |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Luis Dega |
The Redundancy Mechanisms of the Ariane 5 Operational Control Center. |
FTCS |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Christophe Rabéjac, Jean-Paul Blanquart, Jean-Pierre Queille |
Executable Assertions and Timed Traces for On-Line Software Error Detection. |
FTCS |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Flaviu Cristian |
Group, Majority, and Strict Agreement in Timed Asynchronous Distributed Systems. |
FTCS |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Rachid Guerraoui, André Schiper |
Consensus Service: A Modular Approach for Building Agreement Protocols in Distributed Systems. |
FTCS |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Muhammad A. Qureshi, William H. Sanders |
A New Methodology for Calculating Distributions of Reward Accumulated During a Finite Interval. |
FTCS |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Feng Bao 0004, Yoshihide Igarashi |
Reliable Broadcasting in Product Networks with Byzantine Faults. |
FTCS |
1996 |
DBLP DOI BibTeX RDF |
|
1 | João Gabriel Silva, João Carreira, Henrique Madeira, Diamantino Costa, Francisco Moreira 0001 |
Experimental Assessment of Parallel Systems. |
FTCS |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Michael F. Buckley, Daniel P. Siewiorek |
A Comparative Analysis of Event Tupling Schemes. |
FTCS |
1996 |
DBLP DOI BibTeX RDF |
|
1 | John M. Rushby |
Reconfiguration and Transient Recovery in State Machine Architectures. |
FTCS |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Amber Roy-Chowdhury, Prithviraj Banerjee |
Compiler-Assisted Generation of Error-Detecting Parallel Programs. |
FTCS |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Tepparit Ritthongpitak, Masato Kitakami, Eiji Fujiwara |
Optimal Two-Level Unequal Error Control Codes for Computer Systems. |
FTCS |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Irith Pomeranz, Sudhakar M. Reddy |
Dynamic Test Compaction for Synchronous Sequential Circuits using Static Compaction Techniques. |
FTCS |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Roy A. Maxion, Philip A. Syme |
Mitigating Operator-Induced Unavailability by Matching Imprecise Queries. |
FTCS |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Michael R. Lyu, Jinsong S. Yu, Elaine Keramidas, Siddhartha R. Dalal |
ARMOR: Analyzer for Reducing Module Operational Risk. |
FTCS |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Yennun Huang, Yi-Min Wang |
Why Optimistic Message Logging Has Not Been Used In Telecommunications Systems. |
FTCS |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Steininger, Herbert Schweinzer |
A Model for the Analysis of the Fault Injection Process. |
FTCS |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Sampath Rangarajan, Karunaharan Ratnam, Anton T. Dahbura |
A Fault-Tolerant Protocol for Location Directory Maintenance in Mobile Networks. |
FTCS |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Richard W. Buskens, Ronald P. Bianchini Jr. |
Self-Stabilizing Mutual Exclusion in the Presence of Faulty Nodes. |
FTCS |
1995 |
DBLP DOI BibTeX RDF |
|
1 | 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. |
FTCS |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Eiji Fujiwara, Masato Kitakami |
A Class of Optimal Fixed-Byte Error Protection Codes for Computer Systems. |
FTCS |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Yingquan Zhou, Mike W. T. Wong, Yinghua Min |
Feasibility and Effectiveness of the Algorithm for Overhead Reduction in Analog Checkers. |
FTCS |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Ronald Riter |
Modeling and Testing a Critical Fault-Tolerant Multi-Process System. |
FTCS |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Hirokazu Ihara, Ekkehard Blanz, Daniel J. Valentino, Lynn Elliott, Thomas L. Lincoln |
Dependability of Medical Computing. |
FTCS |
1995 |
DBLP BibTeX RDF |
|
1 | Christopher P. Dingman, Joe Marshall, Daniel P. Siewiorek |
Measuring Robustness of a Fault Tolerant Aerospace System. |
FTCS |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Tullio Vardanega, P. David, J.-F. Chane, Wolfgang R. Mader, R. Messaros, Jean Arlat |
On the Development of Fault-Tolerant On-Board Control Software and its Evaluation by Fault Injection. |
FTCS |
1995 |
DBLP DOI BibTeX RDF |
|
1 | James S. Plank, Youngbae Kim, Jack J. Dongarra |
Algorithm-Based Diskless Checkpointing for Fault Tolerant Matrix Operations. |
FTCS |
1995 |
DBLP DOI BibTeX RDF |
|