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
- Treleavan, P.C.VLSI Processor Architectures. Computing Laboratory. 1981. Computing Laboratory Technical Report Series 172 (download PDF).
- Shrivastava SK, Panzieri F. The Design of a Reliable Remote Procedure Call Mechanism. Computing Laboratory. 1981. Computing Laboratory Technical Report Series 171 (download PDF).
- Cristian, F.Robust Data Types. Computing Laboratory. 1981. Computing Laboratory Technical Report Series 170 (download PDF).
- Anderson T, Knight JC. Practical Software Fault Tolerance for Real-time Systems. Computing Laboratory. 1981. Computing Laboratory Technical Report Series 169 (download PDF).
- Treleavan, P.C., Brownbridge, D.R. and Hopkins, R.P.Data Driven and Demand Driven Computer Architecture. Computing Laboratory. 1981. Computing Laboratory Technical Report Series 168 (download PDF).
- Lu, X.D.A Special-purpose VLSI Chip-dynamic Pipeline Up-down Counter. Computing Laboratory. 1981. Computing Laboratory Technical Report Series 167 (download PDF).
- Rushby, J.M.Verification of Secure Systems. Computing Laboratory. 1981. Computing Laboratory Technical Report Series 166 (download PDF).
- Best, E. and Cristian, F.Systematic Detection of Exception Occurrences. Computing Laboratory. 1981. Computing Laboratory Technical Report Series 165 (download PDF).
- Randell B. From Analytical Engine to Electronic Digital Computer: The Contributions of Ludgate (1883-1922), Torres y Quevedo (1852-1936) and Bush (1890-1974). Computing Laboratory. 1981. Computing Laboratory Technical Report Series 164 (download PDF).
- Lauer, P.E.Synchronization of Concurrent Processes without Globality Assuptions. Computing Laboratory. 1981. Computing Laboratory Technical Report Series 163 (download PDF).
- Lauer, P.E., Shields, M.W. and Cotronis, B.Y.Formal Behavioural Specification of Concurrent Systems without Globality Assumptions. Computing Laboratory. 1981. Computing Laboratory Technical Report Series 162 (download PDF).
- Treleavan, P.C. and Hopkins, R.P. A Recursive (VLSI) Computer Architecture. Computing Laboratory. 1981. Computing Laboratory Technical Report Series 161 (download PDF).
- Jegado, M.Recoverability Aspects of a Distributed File System. Computing Laboratory. 1981. Computing Laboratory Technical Report Series 160 (download PDF).
- Whitfield H. The Challenge of the Chip. Computing Laboratory. 1981. Computing Laboratory Technical Report Series 159 (download PDF).