20. FTCS 1990: Newcastle Upon Tyne, UK

• Flaviu Cristian, Bob Dancey, Jon Dehn:
  Fault-tolerance in the Advanced Automation System. 6-17
  
• Roy A. Maxion:
  Anomaly detection for diagnosis. 20-27
  
• D. Simon, C. Hourtolle, H. Biondi, J. Bernelas, P. Duverneuil, S. Gallet, P. Vielcanet, S. De Viguerie, F. Gsell, J. N. Chelotti:
  A software fault tolerance experiment for space applications. 28-35
  
• C. Sayet, E. Pilaud:
  An experience of a critical software development. 36-45
  
• Chris J. Walter:
  Identifying the cause of detected errors. 48-55
  
• Srimat T. Chakradhar, Vishwani D. Agrawal, Michael L. Bushnell:
  Polynomial time solvable fault detection problems. 56-63
  
• Hideo Fujiwara:
  Three-valued neural networks for test generation. 64-71
  
• Chung-Chi Jim Li, W. Kent Fuchs:
  CATCH-compiler-assisted techniques for checkpointing. 74-81
  
• Rana Ejaz Ahmed, Robert C. Frazier, Peter N. Marinos:
  Cache-aided rollback error recovery (CARER) algorithm for shared-memory multiprocessor systems. 82-88
  
• Michel Banâtre, Philippe Joubert:
  Cache management in a tightly coupled fault tolerant multiprocessor. 89-96
  
• Luke Lin, Mustaque Ahamad:
  Checkpointing and rollback-recovery in distributed object based systems. 97-104
  
• Dechang Gu, Daniel J. Rosenkrantz, S. S. Ravi:
  Design and analysis of test schemes for algorithm-based fault tolerance. 106-113
  
• D. L. Tao, Carlos R. P. Hartmann, Y. S. Chen:
  A novel concurrent error detection scheme for FFT networks. 114-121
  
• Bapiraju Vinnakota, Niraj K. Jha:
  A dependence graph-based approach to the design of algorithm-based fault tolerant systems. 122-129
  
• Suku Nair, Jacob A. Abraham:
  Hierarchical design and analysis of fault-tolerant multiprocessor systems using concurrent error detection. 130-137
  
• Michael Waidner, Birgit Pfitzmann:
  Loss-tolerance for electronic wallets. 140-147
  
• Farnam Jahanian, Ambuj Goyal:
  A formalism for monitoring real-time constraints at run-time. 148-155
  
• Claude Thibeault, Jean-Louis Houle:
  Impact of reconfiguration logic on the optimization of defect-tolerant integrated circuits. 158-165
  
• Nany Hasan, C. L. Liu:
  Fault covers in reconfigurable PLAs. 166-173
  
• Chita R. Das, Lei Tien, Laxmi N. Bhuyan:
  Availability evaluation of MIN-connected multiprocessors using decomposition technique. 176-183
  
• Y. X. Wang, José A. B. Fortes:
  Estimates of MTTF and optimal number of spares of fault-tolerant processor arrays. 184-191
  
• Yung-Yuan Chen, Shambhu J. Upadhyaya:
  An analysis of a reconfigurable binary tree architecture based on multiple-level redundancy. 192-199
  
• Amiya Nayak, Nicola Santoro, Richard Tan:
  Fault-intolerance of reconfigurable systolic arrays. 202-209
  
• Prithviraj Banerjee:
  Strategies for reconfiguring hypercubes under faults. 210-217
  
• Michael Peercy, Prithviraj Banerjee:
  Distributed algorithms for shortest-path, deadlock-free routing and broadcasting in arbitrarily faulty hypercubes. 218-225
  
• Jos Nijhuis, Bernd Höfflinger, André van Schaik, Lambert Spaanenburg:
  Limits to the fault-tolerance of a feedforward neural network with learning. 228-235
  
• Edward W. Czeck, Daniel P. Siewiorek:
  Effects of transient gate-level faults on program behavior. 236-243
  
• Dong Tang, Ravishankar K. Iyer, Sujatha S. Subramani:
  Failure analysis and modeling of a VAXcluster system. 244-251
  
• Sandeep K. Gupta, Dhiraj K. Pradhan, Sudhakar M. Reddy:
  Zero aliasing compression. 254-263
  
• Aloke. K. Das, Debanjan Saha, A. Roy Chowdhury, Susanta Misra, P. Pal Chaudhuri:
  Signature analysers based on additive cellular automata. 265-272
  
• Seungjin Park, Bella Bose:
  Burst asymmetric/unidirectional error correcting/detecting codes. 273-280
  
• Kwang-Hae Kim, J. H. You:
  A highly decentralized implementation model for the programmer-transparent coordination (PTC) scheme for cooperative recovery. 282-289
  
• Pierre Goyer, Parham Momtahan, Bran Selic:
  A fault-tolerant strategy for hierarchical control in distributed computing systems. 290-297
  
• Lambert J. M. Nieuwenhuis:
  Static allocation of process replicas in fault tolerant computing systems. 298-306
  
• Xinfeng Ye, Brian Warboys, John A. Keane:
  Specification and proof of a distributed recovery algorithm. 307-314
  
• Douglas M. Blough, Andrzej Pelc:
  Reliable diagnosis and repair in constant-degree multiprocessor systems. 316-323
  
• Sunggu Lee, Kang G. Shin:
  Optimal multiple syndrome probabilistic diagnosis. 324-331
  
• Ronald Bianchini Jr., Ken Goodwin, Daniel S. Nydick:
  Practical application and implementation of distributed system-level diagnosis theory. 332-339
  
• Piotr Berman, Andrzej Pelc:
  Distributed probabilistic fault diagnosis for multiprocessor systems. 340-346
  
• Jürgen Dunkel:
  On the modeling of workload dependent memory faults. 348-355
  
• Geppino Pucci:
  On the modelling and testing of recovery block structures. 356-363
  
• Jean-Claude Laprie, Christian Béounes, Mohamed Kaâniche, Karama Kanoun:
  The transformation approach to the modeling and evaluation of the reliability and availability growth. 364-371
  
• Ankan K. Pramanick, Sudhakar M. Reddy:
  On the design of path delay fault testable combinational circuits. 374-381
  
• Xiaoqing Wen, Kozo Kinoshita:
  Fault detection and diagnosis of k-UCP circuits under totally observable condition. 382-389
  
• Bernhard Eschermann, Hans-Joachim Wunderlich:
  Optimized synthesis of self-testable finite state machines. 390-397
  
• John P. J. Kelly, Thomas I. McVittie, Susan C. Murphy:
  Techniques for building dependable distributed systems: multi-version software testing. 400-407
  
• Susan S. Brilliant, John C. Knight, Paul Ammann:
  On the performance of software testing using multiple versions. 408-415
  
• David J. Taylor:
  Error models for robust storage structures. 416-422
  
• Gregory F. Sullivan, Gerald M. Masson:
  Using certification trails to achieve software fault tolerance. 423-431
  
• Sheng-Chiech Liang, Sy-Yen Kuo:
  Concurrent error detection and correction in real-time systolic sorting arrays. 434-441
  
• Nancy J. Warter, Wen-mei W. Hwu:
  A software based approach to achieving optimal performance for signature control flow checking. 442-449
  
• Régis Leveugle, T. Michel, Gabriele Saucier:
  Design of microprocessors with built-in on-line test. 450-456
  
• Stanislaw J. Piestrak:
  The minimal test set for sorting networks and the use of sorting networks in self-testing checkers for unordered codes. 457-464
  
• Hermann Kopetz, Heinz Kantz, Günter Grünsteidl, Peter P. Puschner, Johannes Reisinger:
  Tolerating transient faults in MARS. 466-473
  
• Carel-Jan L. van Driel, R. J. B. Follon, A. A. C. Kohler, R. P. M. van Osch, J. M. Spanjers:
  The error-resistant interactively consistent architecture (ERICA). 474-480
  
• Peter A. Barrett, Andrew M. Hilborne, Peter G. Bond, Douglas T. Seaton, Paulo Veríssimo, Luís Rodrigues, Neil A. Speirs:
  The Delta-4 extra performance architecture (XPA). 481-488
  
• Victor F. Nicola, Marvin K. Nakayama, Philip Heidelberger, Ambuj Goyal:
  Fast simulation of dependability models with general failure, repair and maintenance processes. 491-498
  
• Robert Geist, Mark Smotherman, Ronald Talley:
  Modeling recovery time distributions in ultrareliable fault-tolerant systems. 499-504
  

Last update Fri May 25 08:14:28 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page