<%@ 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 1994
<%-- Include the code for the lines and navigation --%>
<%@ include file="/arch/middle.jsp" %>
<%@ include file="copyright.html" %>
- CS-RR-279
- E. Papaefstathiou, Darren J. Kerbyson, Graham R. Nudd and T.J. Atherton,
An Analysis of Processor Resource Models for Use in Performance Prediction,
March 1, 1994
- CS-RR-275
- Tomasz Janowski,
Stepwise Transformations for Fault-Tolerant Design of CCS Processes,
December 1, 1994
- CS-RR-274
- R.G. Wilson and H. Knutsson,
Seeing Things,
November 1, 1994
- CS-RR-273
- I.D. Craig,
A Perspective on Multi-Agent Systems,
November 1, 1994
- CS-RR-272
- Xinxin Liu and D.J. Walker,
Confluence of Processes and Systems of Objects,
October 1, 1994
- CS-RR-271
- Simon Clippingdale and R.G. Wilson,
Self-Similar Neural Networks Based On A Kohonen Learning Rule,
October 1, 1994
- CS-RR-270
- Tomasz Janowski,
Fault-Tolerant Bisimulation and Process Transformations,
September 1, 1994
- CS-RR-269
- Nicola Cross and R.G. Wilson,
Object Representation Using Circular Harmonics,
June 1, 1994
- CS-RR-268
- M.S. Paterson and Vlado Dancik,
Longest Common Subsequences,
May 1, 1994
- CS-RR-267
- Per Bro Miltersen,
On the Cell Probe Complexity of Polynomial Evaluation,
April 1, 1994
- CS-RR-266
- I.D. Craig,
Agents That Model Themselves,
March 1, 1994
- CS-RR-265
- C. Clarke and Graham R. Nudd,
Highly non-linear encoders for Current Mode Multiple-Valued Logic,
March 1, 1994
- CS-RR-264
- C. Clarke and Graham R. Nudd,
Three Dimensional CORDIC with reduced iterations,
March 1, 1994
- CS-RR-263
- S. Kautz and Per Bro Miltersen,
Relative to a Random Oracle, NP is not Small,
March 1, 1994
- CS-RR-262
- E. Papaefstathiou, Darren J. Kerbyson and Graham R. Nudd,
A Layered Approach to Parallel Software Performance Prediction: A Case Study,
March 1, 1994
- CS-RR-261
- I.D. Craig,
The Formal Specification of ELEKTRA,
April 1, 1994
- CS-RT-259
- Yogesh Naik,
A Temporal Logic for the Specification and Verification of Real-Time Systems,
March 1, 1994
<%-- Include the code for the document footer --%>
<%@ include file="/arch/footer.jsp" %>