Gregory F. Sullivan

Proceedings of the Computer Safety, 2003

1999

Run-time Result Certification for Distributed Computations.

[BibT_eX]

Hongxia Jin

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1999

1997

A Formally Verified Sorting Certifier.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 1997

1996

Learning nested concept classes with limited storage.

[BibT_eX]

[DOI]

J. Exp. Theor. Artif. Intell., 1996

1995

Certification of Computational Results.

[BibT_eX]

[DOI]

Dwight S. Wilson

IEEE Trans. Computers, 1995

Checking the Integrity of Trees.

[BibT_eX]

[DOI]

Proceedings of the Digest of Papers: FTCS-25, 1995

On-line Error Monitoring for Several Data Structures.

[BibT_eX]

[DOI]

Proceedings of the Digest of Papers: FTCS-25, 1995

1994

Checking Mergeable Priority Queues.

[BibT_eX]

[DOI]

Proceedings of the Digest of Papers: FTCS/24, 1994

1993

Some Results on the Computational Complexity of Symmetric Connectionist Networks.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 1993

Certification Trails and Software Design for Testability.

[BibT_eX]

[DOI]

Dwight S. Wilson

Proceedings of the Proceedings IEEE International Test Conference 1993, Designing, Testing, and Diagnostics, 1993

1992

Intermittent Fault Diagnosis in Multiprocessor Systems.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 1992

Efficient Diagnosis of Multiprocessor Systems under Probabilistic Models.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 1992

Experimental evaluation of certification trails using abstract data type validation.

[BibT_eX]

[DOI]

Dwight S. Wilson

Proceedings of the Sixteenth Annual International Computer Software and Applications Conference, 1992

1991

Certitication Trails for Data Structures.

[BibT_eX]

[DOI]

Proceedings of the 1991 International Symposium on Fault-Tolerant Computing, 1991

1990

A Comparison of Voting Strategies for Fault-Tolerant Distributed Systems.

[BibT_eX]

[DOI]

Proceedings of the Ninth Symposium on Reliable Distributed Systems, 1990

Using certification trails to achieve software fault tolerance.

[BibT_eX]

[DOI]

Proceedings of the 20th International Symposium on Fault-Tolerant Computing, 1990

1989

Locating Faults in a Constant Number of Parallel Testing Rounds.

[BibT_eX]

[DOI]

Richard Beigel

S. Rao Kosaraju

Proceedings of the ACM Symposium on Parallel Algorithms and Architectures, 1989

Fault diagnosis for sparsely interconnected multiprocessor systems.

[BibT_eX]

[DOI]

Proceedings of the Nineteenth International Symposium on Fault-Tolerant Computing, 1989

1988

An <i>O(t<sup>3</sup> + |E|)</i> Fault Identification Algorithm for Diagnosable Systems.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 1988

Detecting Cycles in Dynamic Graphs in Polynomial Time (Preliminary Version)

[BibT_eX]

[DOI]

S. Rao Kosaraju

Proceedings of the 20th Annual ACM Symposium on Theory of Computing, 1988

Almost certain diagnosis for intermittently faulty systems.

[BibT_eX]

[DOI]

Proceedings of the Eighteenth International Symposium on Fault-Tolerant Computing, 1988

1984

A Polynomial Time Algorithm for Fault Diagnosability

[BibT_eX]

[DOI]