40 Years of Computing at Newcastle
Department Technical Report Series - 1990
- 301: W.C. Carter. PDCS from a
Designer's Viewpoint, Computing Laboratory, University of Newcastle upon
Tyne, 1990.
- 302: R. Iqbal. A One-Pass Algorithm
for Shape-Preserving Quadratic Spline Interpolation, Computing Laboratory,
University of Newcastle upon Tyne, 1990.
- 303: M. Calzarossa, R. Marie and K.S.
Trivedi. System Performance with User Behavior Graphs, Computing
Laboratory, University of Newcastle upon Tyne, 1990.
- 304: P.D. Ezhilchelvan. Design and
Development of Algorithms for Fault Tolerant Distributed Systems, Computing
Laboratory, University of Newcastle upon Tyne, 1990.
- 305: S.K. Shrivastava, L.V. Mancini and B.
Randell. The Duality of Fault-Tolerant System Structures, Computing
Laboratory, University of Newcastle upon Tyne, 1990.
- 306: J.E. Dobson, J. McDermid and B.
Randell. On the Trustworthiness of Computing Systems, Computing
Laboratory, University of Newcastle upon Tyne, 1990.
- 307: J.E. Dobson. A Methodology for
Analysing Human and Computer-related Issues in Secure Systems, Computing
Laboratory, University of Newcastle upon Tyne, 1990.
- 308: G.D. Parrington. Reliable
Distributed Programming in C++: The Arjuna Approach, Computing Laboratory,
University of Newcastle upon Tyne, 1990.
[Abstract] /
[Full (postscript) Paper]
- 309: I.A. Stewart. Using the
Hamiltonian Path Operator to Capture NP, Computing Laboratory, University
of Newcastle upon Tyne, 1990. (To appear in J. Computer and System Sciences)
- 310: I.A. Stewart. The Demise of the
Turing Machine in Complexity Theory, Computing Laboratory, University of
Newcastle upon Tyne, 1990.
- 311: B. Randell. Electronic
Computing: A Continuing Revolution, Computing Laboratory, University of
Newcastle upon Tyne, 1990.
- 312: R. Janicki and M. Koutny. Net
Implementation of Optimal Simulations, Computing Laboratory, University of
Newcastle upon Tyne, 1990.
- 313: M. Koutny. Axiom System Induced
by CTL Logic, Computing Laboratory, University of Newcastle upon Tyne,
1990.
- 314: I.A. Stewart. Comparing the
expressibility of languages formed using NP-complete operators, Computing
Laboratory, University of Newcastle upon Tyne, 1990.
- 315: S.K. Shrivastava and S.M. Wheater.
Implementing fault-tolerant distributed applications using objects and
multi-coloured actions, Computing Laboratory, University of Newcastle upon
Tyne, 1990.
[Abstract] /
[Full (postscript) Paper]
- 316: S.M. Wheater. Constructing
reliable distributed applications using actions and objects, Computing
Laboratory, University of Newcastle upon Tyne, 1990.
- 317: R. Iqbal. A Modification of
Roulier's Algorithm for Shape-preserving Surface Interpolation, Computing
Laboratory, University of Newcastle upon Tyne, 1990.
- 318: C.A. Kuszynski, T. Busfield, A.M.
Koelmans, M.R. McLauchlan and D.J. Kinniment. Graphical Representation of a
Hardware Description Language, Computing Laboratory, University of
Newcastle upon Tyne, 1990.
Department Technical Report Series Index
Contents Page - 40 years of Computing at Newcastle
Department Technical Report Series - 1990, 27 June 1997