ANU Computer Science Technical Reports

1994

TR-CS-94-10

John N. Zigman and Peiyi Tang.
Implementing global address space in distributed local memories.
October 1994.
[POSTSCRIPT (104007 bytes)] [PDF (268929 bytes)]

TR-CS-94-09

Nianshu Gao and Peiyi Tang.
Vectorization using reversible data dependencies.
October 1994.
[POSTSCRIPT (76224 bytes)] [PDF (216645 bytes)]

TR-CS-94-08

David Sitsky.
Implementation of MPI on the Fujitsu AP1000: Technical details release 1.1.
September 1994.
[ABSTRACT] [POSTSCRIPT (63539 bytes)] [PDF (213295 bytes)]

TR-CS-94-07

Markus Hegland.
Real and complex fast fourier transformations on the Fujitsu VPP500.
June 1994.
[POSTSCRIPT (84494 bytes)] [PDF (205093 bytes)] [DVI]

TR-CS-94-06

Richard P. Brent.
Uses of randomness in computation.
June 1994.
(rpb147).
[POSTSCRIPT (65484 bytes)] [PDF (226785 bytes)] [DVI]

TR-CS-94-05

Trevor Vickers and Paul Gardner.
A language of refinements.
May 1994.
[POSTSCRIPT (44222 bytes)] [PDF (140478 bytes)] [DVI]

TR-CS-94-04

Trevor Vickers and Carroll Morgan.
Procedures and invariants in the refinement calculus.
May 1994.
[POSTSCRIPT (56962 bytes)] [PDF (177006 bytes)] [DVI]

TR-CS-94-03

Adam Czezowski and Peter Strazdins.
Optimisations for the memory hierarchy of a singular value decomposition algorithm implemented on the MIMD architecture..
February 1994.

TR-CS-94-02

Scott Milton and Heinz Schmidt.
Dynamic dispatch in object-oriented languages.
January 1994.
[POSTSCRIPT (83623 bytes)] [PDF (222275 bytes)]

TR-CS-94-01

T. Bossomaier and C.W. Johnson.
The role of literate computing in undergraduate curricula.
January 1994.
[BROWSE HTML] [DVI]