Jonathan D. Bright

According to our database, Jonathan D. Bright authored at least 7 papers between 1993 and 2003.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2003

Data Integrity in a Distributed Storage System.

Jonathan D. Bright, John A. Chandy

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

A Scalable Architecture for Clustered Network Attached Storage.

Jonathan D. Bright, John A. Chandy

Proceedings of the 20th IEEE/11th NASA Goddard Conference on Mass Storage Systems and Technologies, 2003

1997

A Formally Verified Sorting Certifier.

Jonathan D. Bright, Gregory F. Sullivan, Gerald M. Masson

IEEE Trans. Computers, 1997

1995

Checking the Integrity of Trees.

Jonathan D. Bright, Gregory F. Sullivan, Gerald M. Masson

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

On-line Error Monitoring for Several Data Structures.

Jonathan D. Bright, Gregory F. Sullivan

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

1994

Checking Mergeable Priority Queues.

Jonathan D. Bright, Gregory F. Sullivan

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

1993

Range-Restricted Mergeable Priority Queues.

Jonathan D. Bright

Inf. Process. Lett., 1993