Technical Reports
Year: 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 2003 2002 2001 2000 1999 1998 1997 1996 1995 1994 1993 1992 1991 1990 1989 1988 1987 1986 1985 1984 1983 1982 1981 1980 1979 1978 1977 1976 1975 1974 1973 1972 1971 1970 1969
- Kuszynski, C.A., Busfield, T., Koelmans, A.M., McLauchlan, M.R. and Kinniment, D.J.Graphical Representation of a Hardware Description Language. Computing Laboratory. 1990. Computing Laboratory Technical Report Series 318 (download PDF).
- Iqbal, R.A Modification of Roulier's Algorithm for Shape-preserving Surface Interpolation. Computing Laboratory. 1990. Computing Laboratory Technical Report Series 317 (download PDF).
- Wheater SM. Constructing Reliable Distributed Applications using Actions and Objects. Computing Laboratory. 1990. Computing Laboratory Technical Report Series 316 (download PDF).
- Shrivastava SK, Wheater SM. Implementing Fault-tolerant Distributed Applications using Objects and Multi-coloured Actions. Computing Laboratory. 1990. Computing Laboratory Technical Report Series 315 (download PDF).
- Stewart, I.A.Comparing the Expressibility of Languages Formed using NP-complete Operators. Computing Laboratory. 1990. Computing Laboratory Technical Report Series 314 (download PDF).
- Koutny M. Axiom System Induced by CTL Logic. Computing Laboratory. 1990. Computing Laboratory Technical Report Series 313 (download PDF).
- Janicki R, Koutny M. Net Implementation of Optimal Simulations. Computing Laboratory. 1990. Computing Laboratory Technical Report Series 312 (download PDF).
- Randell B. Electronic Computing: A Continuing Revolution. Computing Laboratory. 1990. Computing Laboratory Technical Report Series 311 (download PDF).
- Stewart, I.A.The Demise of the Turing Machine in Complexity Theory. Computing Laboratory. 1990. Computing Laboratory Technical Report Series 310 (download PDF).
- Stewart, I.A.Using the Hamiltonian Path Operator to Capture NP. Computing Laboratory. 1990. Computing Laboratory Technical Report Series 309 (download PDF).
- Parrington, G.D.Reliable Distributed Programming in C++: The Arjuna Approach. Computing Laboratory. 1990. Computing Laboratory Technical Report Series 308 (download PDF).
- Dobson JE. A Methodology for Analysing Human and Computer-related Issues in Secure Systems. Computing Laboratory. 1990. Computing Laboratory Technical Report Series 307 (download PDF).
- Dobson JE, McDermid J, Randell B. On the Trustworthiness of Computing Systems. Computing Laboratory. 1990. Computing Laboratory Technical Report Series 306 (download PDF).
- Shrivastava SK, Mancini LV, Randell B. The Duality of Fault-Tolerant System Structures. Computing Laboratory. 1990. Computing Laboratory Technical Report Series 305 (download PDF).
- Ezhilchelvan PD. Design and Development of Algorithms for Fault Tolerant Distributed Systems. Computing Laboratory. 1990. Computing Laboratory Technical Report Series 304 (download PDF).
- Calzarossa, M., Marie, R. and Trivedi, K.S.System Performance with User Behavior Graphs. Computing Laboratory. 1990. Computing Laboratory Technical Report Series 303 (download PDF).
- Iqbal, R.A One-Pass Algorithm for Shape-Preserving Quadratic Spline Interpolation. Computing Laboratory. 1990. Computing Laboratory Technical Report Series 302 (download PDF).
- Carter, W.C.PDCS from a Designer's Viewpoint. Computing Laboratory. 1990. Computing Laboratory Technical Report Series 301 (download PDF).