Carmel Smith

Learn More
This thesis describes the implementation of a provably good data-race detector, called the Nondeterminator-3, which runs efficiently in parallel. A data race occurs in a multithreaded program when two logically parallel threads access the same location while holding no common locks and at least one of the accesses is a write. The Nondeterminator-3 checks(More)
Computer networks have become critical to NATO operations. Much of NATO's computer traffic runs over civilian networks, and NATO computers are accessible to a wide variety of malicious activities. The scale of the network traffic involved makes monitoring and analysis difficult, and the rapid deployment of computer systems to new areas places additional(More)
Questionnaires provide a survey method which allows remote data collection in evaluation or organizational studies. We describe a system called Quest which provides computer based support for administrators and participants in evaluation and data collection methods. The system uses electronic mail and a graphical user interface to enhance the utility of the(More)
  • 1