Date: Wed, 15 Jan 1997 00:18:07 GMT Server: NCSA/1.5.1 Last-modified: Wed, 06 Nov 1996 01:34:50 GMT Content-type: text/html Content-length: 1874 Gregory Sullivan's download page

Selected Papers Available for Download

  1. Certification of Computational Results. by G. Sullivan, D. Wilson and G. Masson. IEEE Transactions on Computers, IEEE Computer Society Press, Vol. 44, pp. 833-847, 1995. (340K Postscript)
  2. Checking the Integrity of Trees. by J. D. Bright, G. Sullivan, and G. M. Masson, Digest of the 25th Symposium on Fault-Tolerant Computing, IEEE Computer Society Press, pp. 402-411, 1995. (241K Postscript)
  3. Checking Mergeable Priority Queues. by J. D. Bright and G. Sullivan, Proceedings of the 24th Annual Symposium on Fault-Tolerant Computing, pp. 144-153, 1994. (250K Postscript. Revised version.)
  4. Certification Trails and Software Design for Testability. by D. Wilson, G. Sullivan and G. Masson. Proceedings of the 1993 International Test Conference, pp. 200-209, International Test Conference - IEEE Computer Society Press, October 1993. (194K Postscript)
  5. Certification Trails for Data Structures. by G. Sullivan, D. Wilson and G. Masson. extensively revised version of a paper that appeared in Proceedings of the 21st Annual Symposium on Fault-Tolerant Computing, pp. 240-247, 1991. (344K postscript)
Limited permission is hereby granted to download these articles and to make a printed copy for research and educational purposes only.

Back to Gregory F. Sullivan's Home Page

WebTechs Mozilla Checked!