Australian Computer Journal, Volume 21

Volume 21, Number 1, February 1989

David Abramson, Kotagiri Ramamohanarao, M. L. Ross: A Scalable Cache Coherence Mechanism Using a Selectively Clearable Cache Memory. 2-12
J. R. Briggs, Arthur H. J. Sale: Fast Fourier Transforms on Multiprocessor Architectures. 13-18
Myung Ho Kim, Yong Rae Kwon: SPEX: A Method for Specifying the Dynamics of Structured Specifications Including Control Information. 19-26
Terry A. Halpin: Venn Diagrams and SQL Queries. 27-32
Graham J. Williams: FrameUP: A Frames Formalism for Expert Systems. 33-40

John N. Crossley, Pierre Lim, Peter J. Stuckey: Interface Logic Programming. 49-55
Mirka Miller, Jennifer Seberry: Relative Compromise of Statistical Databases. 56-61
Roger Duke, Graeme Smith: Temporal Logic and Z Specifications. 62-66
M. S. Cottingham: Interpolative Hidden Surface Removal Method for Polyhedra. 67-70
Arthur H. J. Sale: The Architecture of the PCM-1. 71-78
Bryan Beresford-Smith, Heiko Schröder: Effective Reconfiguration Algorithms in Fault Tolerant Mesh-Connected Networks. 79-84

Arthur H. J. Sale: The RISC Style of Architecture. 97-99
Keith P. Mason, S. T. Hood: KBESM: A Prolog Blackboard System. 100-107
Graeme Simsion: A Structured Approach to Data Modelling. 108-117
Richard T. Watson: Key Issues in Onformation Systems Management: An Australian Perspective 1988. 118-129
S. E. Little, D. B. Margetson: A Project-Based Approach to Information Systems Design for Undergraduates. 130-138