%A Larry E. Druffel
%T Challenges for software engineering
%J Proceedings of the 17 Annual Conference
on the Foundations of Theoretical Computer Science
%C Pittsburgh, Pennsylvania
%D 1987
%K ftcs ftcs17 ftcs87

%A Raj Reddy
%T Rapid prototyping of digital systems
%J Proceedings of the 17 Annual Conference
on the Foundations of Theoretical Computer Science
%C Pittsburgh, Pennsylvania
%D 1987
%K ftcs ftcs17 ftcs87

%A B. Liskov
%A R. Scheifler
%A E. Walker
%A W. Weihl
%T Orphan detection
%J Proceedings of the 17 Annual Conference
on the Foundations of Theoretical Computer Science
%C Pittsburgh, Pennsylvania
%D 1987
%K ftcs ftcs17 ftcs87

%A M.P. Herlihy
%A N. Lynch
%A M. Merritt
%A W. Weihl
%T On the correctness of orphan elimination algorithms
%J Proceedings of the 17 Annual Conference
on the Foundations of Theoretical Computer Science
%C Pittsburgh, Pennsylvania
%D 1987
%K ftcs ftcs17 ftcs87

%A D.B. Johnson
%A W. Zwaenepoel
%T Sender-based message logging
%J Proceedings of the 17 Annual Conference
on the Foundations of Theoretical Computer Science
%C Pittsburgh, Pennsylvania
%D 1987
%K ftcs ftcs17 ftcs87

%A Y. Takamatsu
%A K. Kinoshita
%T CONT: a concurrent test generation algorithm
%J Proceedings of the 17 Annual Conference
on the Foundations of Theoretical Computer Science
%C Pittsburgh, Pennsylvania
%D 1987
%K ftcs ftcs17 ftcs87

%A D. Harel
%A B. Krishnamurthy
%T Is there hope for linear time fault simulation ?
%J Proceedings of the 17 Annual Conference
on the Foundations of Theoretical Computer Science
%C Pittsburgh, Pennsylvania
%D 1987
%K ftcs ftcs17 ftcs87

%A M. Aboulhamid
%A Y. Karkouri
%A E. Cerny
%A J. Rajski
%T Fault analysis in switch-level networks by implicit enumeration
%J Proceedings of the 17 Annual Conference
on the Foundations of Theoretical Computer Science
%C Pittsburgh, Pennsylvania
%D 1987
%K ftcs ftcs17 ftcs87

%A O. Babaoglu
%A R. Drummond
%T (Almost) no cost clock synchronization
%J Proceedings of the 17 Annual Conference
on the Foundations of Theoretical Computer Science
%C Pittsburgh, Pennsylvania
%D 1987
%K ftcs ftcs17 ftcs87

%A F.J. Meyer
%A D.K. Pradhan
%T Consensus with dual failure modes
%J Proceedings of the 17 Annual Conference
on the Foundations of Theoretical Computer Science
%C Pittsburgh, Pennsylvania
%D 1987
%K ftcs ftcs17 ftcs87

%A K.G. Shin
%A P. Ramanathan
%T Diagnosis of processors with Byzantine faults
in a distributed computing system
%J Proceedings of the 17 Annual Conference
on the Foundations of Theoretical Computer Science
%C Pittsburgh, Pennsylvania
%D 1987
%K ftcs ftcs17 ftcs87

%A K. Furuya
%T A probabilistic approach to locally exhaustive testing
%J Proceedings of the 17 Annual Conference
on the Foundations of Theoretical Computer Science
%C Pittsburgh, Pennsylvania
%D 1987
%K ftcs ftcs17 ftcs87

%A L.T. Wang
%A E.J. McCluskey
%A S. Mourad
%T Shift register testing of sequential machines
%J Proceedings of the 17 Annual Conference
on the Foundations of Theoretical Computer Science
%C Pittsburgh, Pennsylvania
%D 1987
%K ftcs ftcs17 ftcs87

%A E.J. Aas
%A M.R. Mercer
%T Algebraic and structural computation
of signal probability and fault detectability in combinational circuits
%J Proceedings of the 17 Annual Conference
on the Foundations of Theoretical Computer Science
%C Pittsburgh, Pennsylvania
%D 1987
%K ftcs ftcs17 ftcs87

%A D.J. Taylor
%T Crash recovery for binary trees
%J Proceedings of the 17 Annual Conference
on the Foundations of Theoretical Computer Science
%C Pittsburgh, Pennsylvania
%D 1987
%K ftcs ftcs17 ftcs87

%A I.J. Davis
%T A locally correctable AVL tree
%J Proceedings of the 17 Annual Conference
on the Foundations of Theoretical Computer Science
%C Pittsburgh, Pennsylvania
%D 1987
%K ftcs ftcs17 ftcs87

%A M.P. Herlihy
%A J.M. Wing
%T Avalon: language support for reliable distributed systems
%J Proceedings of the 17 Annual Conference
on the Foundations of Theoretical Computer Science
%C Pittsburgh, Pennsylvania
%D 1987
%K ftcs ftcs17 ftcs87

%A N.K. Jha
%A M.B. Vora
%T A systematic code for detecting t-unidirectional errors
%J Proceedings of the 17 Annual Conference
on the Foundations of Theoretical Computer Science
%C Pittsburgh, Pennsylvania
%D 1987
%K ftcs ftcs17 ftcs87

%A B. Bose
%T On unordered codes
%J Proceedings of the 17 Annual Conference
on the Foundations of Theoretical Computer Science
%C Pittsburgh, Pennsylvania
%D 1987
%K ftcs ftcs17 ftcs87

%A D.L. Tao
%A P.K. Lala
%A C.R.P. Hartman
%T Three-level totally self-checking checker for 1-out-of-n code
%J Proceedings of the 17 Annual Conference
on the Foundations of Theoretical Computer Science
%C Pittsburgh, Pennsylvania
%D 1987
%K ftcs ftcs17 ftcs87

%A J.-C. Laprie
%A J. Arlat
%A C.B. Beounes
%A K. Kanoun
%A C. Hourtolle
%T Hardware- and software-fault tolerance:
definition and analysis of architectural solutions
%J Proceedings of the 17 Annual Conference
on the Foundations of Theoretical Computer Science
%C Pittsburgh, Pennsylvania
%D 1987
%K ftcs ftcs17 ftcs87

%A P.E. Ammann
%A J.C. Knight
%T Data diversity: an approach to software fault tolerance
%J Proceedings of the 17 Annual Conference
on the Foundations of Theoretical Computer Science
%C Pittsburgh, Pennsylvania
%D 1987
%K ftcs ftcs17 ftcs87

%A K.S. Tso
%A A. Avizienis
%T Community error recovery in n-version software:
a design study with experimentation
%J Proceedings of the 17 Annual Conference
on the Foundations of Theoretical Computer Science
%C Pittsburgh, Pennsylvania
%D 1987
%K ftcs ftcs17 ftcs87

%A C.-C. Wu
%A T.-S. Wu
%T Concurrent error correction in unidirectional linear arithmetic arrays
%J Proceedings of the 17 Annual Conference
on the Foundations of Theoretical Computer Science
%C Pittsburgh, Pennsylvania
%D 1987
%K ftcs ftcs17 ftcs87

%A N.R. Saxena
%A E.J. McCluskey
%T Extended precision checksums
%J Proceedings of the 17 Annual Conference
on the Foundations of Theoretical Computer Science
%C Pittsburgh, Pennsylvania
%D 1987
%K ftcs ftcs17 ftcs87

%A D.R. Avresky
%A K.A. Boyadjiev
%A S.G. Marinov
%A S.D. Slavkov
%T An approach to fault diagnosis in multimicrocomputer systems:
algorithm and simulation
%J Proceedings of the 17 Annual Conference
on the Foundations of Theoretical Computer Science
%C Pittsburgh, Pennsylvania
%D 1987
%K ftcs ftcs17 ftcs87

%A B. Littlewood
%A D.R. Miller
%T A conceptual model of multi-version software
%J Proceedings of the 17 Annual Conference
on the Foundations of Theoretical Computer Science
%C Pittsburgh, Pennsylvania
%D 1987
%K ftcs ftcs17 ftcs87

%A S.D. Cha
%A N.G. Leveson
%A T.J. Shimeall
%A J.C. Knight
%T An empirical study of software error detection using self-checks
%J Proceedings of the 17 Annual Conference
on the Foundations of Theoretical Computer Science
%C Pittsburgh, Pennsylvania
%D 1987
%K ftcs ftcs17 ftcs87

%A F.M. Pittelli
%A H. Garcia-Molina
%T Efficient scheduling in a TMR database system
%J Proceedings of the 17 Annual Conference
on the Foundations of Theoretical Computer Science
%C Pittsburgh, Pennsylvania
%D 1987
%K ftcs ftcs17 ftcs87

%A D.B. Hunt
%A P.N. Marinos
%T A general purpose cache-aided rollback error-recovery (CARER) technique
%J Proceedings of the 17 Annual Conference
on the Foundations of Theoretical Computer Science
%C Pittsburgh, Pennsylvania
%D 1987
%K ftcs ftcs17 ftcs87

%A Y. Dishon
%A C.J. Georgiou
%T A highly available storage system using the checksum method
%J Proceedings of the 17 Annual Conference
on the Foundations of Theoretical Computer Science
%C Pittsburgh, Pennsylvania
%D 1987
%K ftcs ftcs17 ftcs87

%A P. Richardson
%A D. Mansor
%A T.S. Dillon
%A K.E. Forward
%T Design of a fault-tolerant signalling transfer point
within a telecommunications network
%J Proceedings of the 17 Annual Conference
on the Foundations of Theoretical Computer Science
%C Pittsburgh, Pennsylvania
%D 1987
%K ftcs ftcs17 ftcs87

%A R. Gupta
%A I.V. Ramakrishnan
%T System-level fault diagnosis in malicious environments
%J Proceedings of the 17 Annual Conference
on the Foundations of Theoretical Computer Science
%C Pittsburgh, Pennsylvania
%D 1987
%K ftcs ftcs17 ftcs87

%A G.F. Sullivan
%T System-level fault diagnosability in probabilistic and weighted models
%J Proceedings of the 17 Annual Conference
on the Foundations of Theoretical Computer Science
%C Pittsburgh, Pennsylvania
%D 1987
%K ftcs ftcs17 ftcs87

%A A. Sengupta
%A P.D. Joshi
%A S. Bandyopadhyay
%T A synthesis approach to design optimally fault-tolerant network architecture
%J Proceedings of the 17 Annual Conference
on the Foundations of Theoretical Computer Science
%C Pittsburgh, Pennsylvania
%D 1987
%K ftcs ftcs17 ftcs87

%A C. Aykanat
%A F. Ozguner
%T A concurrent error detecting conjugate gradient algorithm
on a hypercube multiprocessor
%J Proceedings of the 17 Annual Conference
on the Foundations of Theoretical Computer Science
%C Pittsburgh, Pennsylvania
%D 1987
%K ftcs ftcs17 ftcs87

%A G.R. Redinbo
%T Fault-tolerant convolution using real systematic cyclic codes
%J Proceedings of the 17 Annual Conference
on the Foundations of Theoretical Computer Science
%C Pittsburgh, Pennsylvania
%D 1987
%K ftcs ftcs17 ftcs87

%A D.M. Blough
%A G.M. Masson
%T Performance analysis of a generalized upset detection procedure
%J Proceedings of the 17 Annual Conference
on the Foundations of Theoretical Computer Science
%C Pittsburgh, Pennsylvania
%D 1987
%K ftcs ftcs17 ftcs87

%A R.M. Smith
%A K.S. Trivedi
%T A performability analysis of two multi-processor systems
%J Proceedings of the 17 Annual Conference
on the Foundations of Theoretical Computer Science
%C Pittsburgh, Pennsylvania
%D 1987
%K ftcs ftcs17 ftcs87

%A A.E. Conway
%A A. Goyal
%T Monte Carlo simulation of computer system availability/reliability models
%J Proceedings of the 17 Annual Conference
on the Foundations of Theoretical Computer Science
%C Pittsburgh, Pennsylvania
%D 1987
%K ftcs ftcs17 ftcs87

%A K. Kanoun
%A T. Sabourin
%T Software dependability of a telephone switching system
%J Proceedings of the 17 Annual Conference
on the Foundations of Theoretical Computer Science
%C Pittsburgh, Pennsylvania
%D 1987
%K ftcs ftcs17 ftcs87

%A L.A. Shombert
%A D.P. Siewiorek
%T Using redundancy for concurrent testing and repairing of systolic arrays
%J Proceedings of the 17 Annual Conference
on the Foundations of Theoretical Computer Science
%C Pittsburgh, Pennsylvania
%D 1987
%K ftcs ftcs17 ftcs87

%A A.D. Singh
%T A reconfigurable modular fault-tolerant binary tree architecture
%J Proceedings of the 17 Annual Conference
on the Foundations of Theoretical Computer Science
%C Pittsburgh, Pennsylvania
%D 1987
%K ftcs ftcs17 ftcs87

%A F. Lombardi
%A R. Negrini
%A M.G. Sami
%A R. Stefanelli
%T Reconfiguration of VLSI arrays: a covering approach
%J Proceedings of the 17 Annual Conference
on the Foundations of Theoretical Computer Science
%C Pittsburgh, Pennsylvania
%D 1987
%K ftcs ftcs17 ftcs87

%A H.-J. Wunderlich
%T Self test using unequiprobable random patterns
%J Proceedings of the 17 Annual Conference
on the Foundations of Theoretical Computer Science
%C Pittsburgh, Pennsylvania
%D 1987
%K ftcs ftcs17 ftcs87

%A B.B. Bhattacharya
%A S.C. Seth
%T On the reconvergent structure of combinational circuits
with applications to compact testing
%J Proceedings of the 17 Annual Conference
on the Foundations of Theoretical Computer Science
%C Pittsburgh, Pennsylvania
%D 1987
%K ftcs ftcs17 ftcs87

%A P. Mazumder
%A J.H. Patel
%T Methodologies for testing embedded content addressable memories
%J Proceedings of the 17 Annual Conference
on the Foundations of Theoretical Computer Science
%C Pittsburgh, Pennsylvania
%D 1987
%K ftcs ftcs17 ftcs87

%A N. Jarwala
%A D.K. Pradhan
%T Cost analysis of on chip error control coding for fault tolerant dynamic RAMs
%J Proceedings of the 17 Annual Conference
on the Foundations of Theoretical Computer Science
%C Pittsburgh, Pennsylvania
%D 1987
%K ftcs ftcs17 ftcs87

%A A. Chatterjee
%A J.A. Abraham
%T Test generation for arithmetic units by graph labelling
%J Proceedings of the 17 Annual Conference
on the Foundations of Theoretical Computer Science
%C Pittsburgh, Pennsylvania
%D 1987
%K ftcs ftcs17 ftcs87

%A M.C. Howells
%A V.K. Agarwal
%T Yield and reliability enhancement of large area binary tree architectures
%J Proceedings of the 17 Annual Conference
on the Foundations of Theoretical Computer Science
%C Pittsburgh, Pennsylvania
%D 1987
%K ftcs ftcs17 ftcs87