<%@ page language="java" contentType="text/html" %>
<%-- Include common initialisation code --%>
<%@ include file="/arch/common.jsp" %>
<%-- The current tab --%>
<% String currentTab = "Research"; %>
<%-- Content of navigation pane --%>
<%@ include file="nav.jsp" %>
<% showCurrentLink=true; %>
<%-- Current navigation location --%>
<% String currentNav = "Reports and Theses"; %>
<%-- Include the code for the document header --%>
<%@ include file="/arch/header.jsp" %>
Research Reports 1992
<%-- Include the code for the lines and navigation --%>
<%@ include file="/arch/middle.jsp" %>
<%@ include file="copyright.html" %>
- CS-RR-235
- M.S. Joy,
Ginger - A Simple Functional Language,
December 1, 1992
- CS-RR-234
- C. Clarke and Graham R. Nudd,
A Redundant Arithmetic CORDIC System with a Unit Scale Factor,
December 1, 1992
- CS-RR-233
- I.D. Craig,
The New Implementation of Cassandra,
October 1, 1992
- CS-RR-232
- I.D. Craig,
Replacing Cassandra,
October 1, 1992
- CS-RR-231
- Hugh Scott and R.G. Wilson,
A Comparison of Filters For Audio Signal Segmentation in Audio Restoration,
October 1, 1992
- CS-RR-230
- W.M. Ferreira, M.R. Hill and M. Joseph,
Automated Timing Analysis of Real-time Programs,
December 1, 1992
- CS-RR-229
- Zhiming Liu, Anders P. Ravn, Erlin V. Sorensen and Chaochen Zhou,
Towards a Calculus of Systems Dependability,
September 1, 1992
- CS-RR-228
- S.G. Matthews,
The Cycle Contraction Mapping Theorem,
August 1, 1992
- CS-RR-227
- I.D. Craig,
Where Do You Want To Go On Holiday,
July 1, 1992
- CS-RR-226
- Tao-I Hsu, A.D. Calway and R.G. Wilson,
Analysis of Structured Texture Using the Multiresolution Fourier Transform,
June 1, 1992
- CS-RR-225
- Artur Czumaj,
Parallel Algorithm for the Matrix Chain Product Problem,
June 1, 1992
- CS-RR-224
- Artur Czumaj,
An Optimal Parallel Algorithm for Computing a Near-Optimal Order of Matrix Multiplications,
February 1, 1992
- CS-RR-223
- Somasundaram Ravindran and A.M. Gibbons,
Dense Edge-Disjoint Embedding of Complete Binary Trees in the Hypercube,
July 1, 1992
- CS-RR-222
- S.G. Matthews,
The Topology of Partial Metric Spaces,
June 1, 1992
- CS-RR-221
- M.J. Fischer and M.S. Paterson,
Fishspear: A Priority Queue Algorithm,
June 1, 1992
- CS-RR-220
- Francoise Baude,
PRAM Implementation on Fine-Grained MIMD Multicomputers,
May 1, 1992
- CS-RR-219
- T.H. Axford and M.S. Joy,
List Processing in Parallel Languages,
May 1, 1992
- CS-RR-218
- Zhiming Liu, Anders P. Ravn, Erlin V. Sorensen and Chaochen Zhou,
A Probabilistic Duration Calculus,
May 1, 1992
- CS-RR-217
- D.J. Walker,
Objects in the Pi-calculus,
April 1, 1992
- CS-RR-216
- Per Bro Miltersen, M.S. Paterson and Jun Tarui,
The Asymptotic Complexity of Merging Networks,
April 1, 1992
- CS-RR-215
- J.A. Dain,
Minimum Distance Error Recovery for LR Parsers,
April 1, 1992
- CS-RR-214
- Y. Zheng, Darren J. Kerbyson and Graham R. Nudd,
Efficient Load Balancing Techniques for Image Analysis on an M-SIMD Machine,
June 1, 1992
- CS-RR-213
- T.J. Atherton, Darren J. Kerbyson and Graham R. Nudd,
An Heterogeneous M-SIMD Architecture for Kalman Filter Controlled Processing of Image Sequences,
December 1, 1992
- CS-RR-212
- S.G. Matthews,
Partial Metric Spaces,
March 1, 1992
- CS-RR-211
- L.A. Novak and A.M. Gibbons,
Hybrid Bases in Graphs,
March 1, 1992
- CS-RR-210
- M.S. Joy and T.H. Axford,
Parallel Combinator Reduction: Some Performance Bounds,
March 1, 1992
- CS-RR-209
- M.S. Paterson and U. Zwick,
Shallow Multiplication Circuits and Wise Financial Investments,
February 1, 1992
- CS-RR-208
- A.M. Gibbons and M.S. Paterson,
Dense Edge-Disjoint Embedding of Binary Trees in the Mesh,
February 1, 1992
- CS-RR-207
- W.M. Beynon and S.B. Russ,
The Interpretation of States: a New Foundation for Computation?,
February 1, 1992
- CS-RR-206
- Zhiming Liu and M. Joseph,
A Transformational Approach to Specifying Recovery in Asynchronous Communicating Systems,
February 1, 1992
- CS-RR-205
- W.M. Beynon,
Programming Principles for the Semantics of the Semantics of Programs,
January 1, 1992
- CS-RR-204
- R.G. Wilson, A.D. Calway, E.R.S. Pearson and A.R. Davies,
An Introduction to the Multiresolution Fourier Transform and its Applications,
June 1, 1992
- CS-RR-203
- Doron Peled,
Sometimes 'Some' is as Good as 'All' (Preliminary Version),
March 1, 1992
- CS-RR-185
- A.M. Gibbons,
A Tutorial Introduction to Distributed Memory Models of Parallel Computation,
November 1, 1992
<%-- Include the code for the document footer --%>
<%@ include file="/arch/footer.jsp" %>