ANU Computer Science Technical Reports

1996

TR-CS-96-09

Ralph Back, Jim Grundy, and Joakim von Wright.
Structured calculational proof.
November 1996.
This paper is also available as Turku Centre for Computer Science TUCS Technical Report No 65.
[ABSTRACT] [POSTSCRIPT (86390 bytes)] [PDF (120426 bytes)]

TR-CS-96-08

David Hawking and Paul Thistlewaite.
Relevance weighting using distance between term occurrences.
August 1996.
[ABSTRACT] [POSTSCRIPT (139673 bytes)] [PDF (262322 bytes)]

TR-CS-96-07

Andrew Tridgell, Paul Mackerras, David Sitsky, and David Walsh.
AP/Linux - initial implementation.
June 1996.
[ABSTRACT] [POSTSCRIPT (104583 bytes)] [PDF (175895 bytes)]

TR-CS-96-06

M. Hegland, M. H. Kahn, and M. R. Osborne.
A parallel algorithm for the reduction to tridiagonal form for eigendecomposition.
June 1996.
[ABSTRACT] [POSTSCRIPT (133434 bytes)] [PDF (247019 bytes)]

TR-CS-96-05

Andrew Tridgell and Paul Mackerras.
The rsync algorithm.
June 1996.
[ABSTRACT] [POSTSCRIPT (92050 bytes)] [PDF (152912 bytes)]

TR-CS-96-04

Peter Bailey and David Hawking.
A parallel architecture for query processing over a terabyte of text.
June 1996.
[ABSTRACT] [POSTSCRIPT (148809 bytes)] [PDF (279492 bytes)]

TR-CS-96-03

Brendan D. McKay.
autoson -- a distributed batch system for unix workstation networks (version 1.3).
March 1996.
[ABSTRACT] [POSTSCRIPT (156941 bytes)] [PDF (303266 bytes)]

TR-CS-96-02

Richard P. Brent.
Factorization of the tenth and eleventh Fermat numbers.
February 1996.
[ABSTRACT] [POSTSCRIPT (193377 bytes)] [PDF (380293 bytes)]

TR-CS-96-01

Weifa Liang and Richard P. Brent.
Constructing the spanners of graphs in parallel.
January 1996.
A short version will appear in Proc. of 10th Intern. Conf. on Parallel Processing Sympo., 1996.
[ABSTRACT] [POSTSCRIPT (158293 bytes)] [PDF (317740 bytes)]