%@ 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 1990
<%-- Include the code for the lines and navigation --%>
<%@ include file="/arch/middle.jsp" %>
<%@ include file="copyright.html" %>
- CS-RR-170
- A.R. Davies and R.G. Wilson,
Linear Feature Extraction using the Multiresolution Fourier Transform,
November 1, 1990
- CS-RR-169
- M.S. Paterson and U. Zwick,
Shallow Multiplication Circuits,
December 1, 1990
- CS-RR-168
- Ian P. Gent,
A Sequent System for Lewis's Counterfactual Logic VC,
November 1, 1990
- CS-RR-167
- J. Wong and R.G. Wilson,
Eigenvector Decomposition of a Multiresolution Operator,
September 1, 1990
- CS-RR-166
- M.S. Paterson, N. Pippenger and U. Zwick,
Optimal Carry Save Networks,
October 1, 1990
- CS-RR-165
- Zhiming Liu and M. Joseph,
Transformation of Programs for Fault-tolerance,
October 1, 1990
- CS-RR-164
- Paul Chown, D.W. Walton and Graham R. Nudd,
VLSI Design of a Pipelined CORDIC Processor,
October 1, 1990
- CS-RR-163
- W.M. Beynon, M. Slade and Y.P. Yung,
Protocol Specification in Concurrent Systems Software Development,
September 1, 1990
- CS-RR-162
- Paul Chown,
GROVER: A Graph Plotting Program for Sun Workstations,
August 1, 1990
- CS-RR-161
- Paul Chown,
Notes on the Design of a Barrel Shifter for the Warwick Pipelined CORDIC Processor,
August 1, 1990
- CS-RR-160
- S.G. Matthews,
Notes on Separability in Metric Sets,
August 1, 1990
- CS-RR-159
- M.S. Joy and T.H. Axford,
GCODE: A Revised Standard for a Graph Representation for Functional Programs,
June 1, 1990
- CS-RR-158
- M.S. Paterson and F.F. Yao,
Optimal Binary Space Partitions for Orthogonal Objects,
April 1, 1990
- CS-RR-157
- A.M. Gibbons and L.A. Novak,
Perfect Pairs of Trees in Graphs,
May 1, 1990
- CS-RR-156
- A.M. Gibbons and R. Ziani,
The Balanced Binary Tree Technique on Mesh Connected Computers,
May 1, 1990
- CS-RR-155
- M.S. Paterson and U. Zwick,
Improved Circuits and Formulae for Multiple Addition, Multiplication and Symmetric Boolean Functions,
March 1, 1990
- CS-RR-154
- A. Bhalerao and R.G. Wilson,
Multiresolution Image Segmentation Combining Region and Boundary Information,
April 1, 1990
- CS-RR-153
- M. Campbell-Kelly,
The Airy Tape An Early Chapter in the History of Debugging,
February 1, 1990
- CS-RR-148
- Simon L. Peyton Jones and M.S. Joy,
FLIC - a Functional Language Intermediate Code,
June 1, 1990
<%-- Include the code for the document footer --%>
<%@ include file="/arch/footer.jsp" %>