20. FTCS 1990:
Newcastle Upon Tyne,
UK
Proceedings of the 20th International Symposium on Fault-Tolerant Computing, FTCS 1990, Newcastle Upon Tyne, UK, 26-28 June, 1990.
IEEE Computer Society 1990, ISBN 0-8186-2051-X
- 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