The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "FTCS"( http://dblp.L3S.de/Venues/FTCS )

URL (DBLP): http://dblp.uni-trier.de/db/conf/ftcs

Publication years (Num. hits)
1988 (58) 1989 (70) 1990 (59) 1991 (67) 1992 (60) 1993 (73) 1994 (51) 1995 (60) 1996 (47) 1997 (43) 1998 (51) 1999 (46)
Publication types (Num. hits)
inproceedings(673) proceedings(12)
Venues (Conferences, Journals, ...)
FTCS(685)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 102 occurrences of 89 keywords

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