Jonathan D. Bright

Learn More
We present several examples of programs which ee-ciently monitor the answers from queries performed on data structures to determine if any errors are present. Our paper includes the rst eecient on-line error monitor for a data structure designed to perform nearest neighbor queries. Applications of nearest neighbor queries are extensive and include learning,(More)
Network attached storage systems must provide highly available access to data while maintaining high performance , easy management, and maximum scalability. In this paper, we describe a clustered storage system that was designed with these goals in mind. The system provides a unified file system image across multiple nodes, which allows for simplified(More)
1994 ii Abstract For many years, there has been tremendous interest in methods to make computation more reliable. In this thesis, we explore various techniques that can be implemented in software to help insure the correctness of the output of a program. The basic tool we use is a generalization of the notion of a program checker called a certiier. A(More)
  • 1