40 Years of Computing at Newcastle
Department Technical Report Series - 1981
- 159: H. Whitfield. The challenge of the chip, Computing Laboratory, University of Newcastle upon Tyne, 1981.
- 160: M. Jegado. Recoverability aspects of a distributed file system, Computing Laboratory, University of Newcastle upon Tyne, 1981.
- 161: P.C. Treleaven and R.P. Hopkins. A recursive (VLSI) computer architecture, Computing Laboratory, University of Newcastle upon Tyne, 1981.
- 162: P.E. Lauer, M.W. Shields and J.Y. Cotronis. Formal behavioural specifications of concurrent systems without globality assumptions, Computing Laboratory, University of Newcastle upon Tyne, 1981.
- 163: P.E. Lauer. Synchronization of concurrent processes without globality assuptions, Computing Laboratory, University of Newcastle upon Tyne, 1981.
- 164: B. Randell. From analytical engine to electronic digital computer: the contributions of Ludgate (1883-1922), Torresy Quevedo (1852-1936) and Bush (1890-1974), Computing Laboratory, University of Newcastle upon Tyne, 1981.
- 165: E. Best and F. Cristian. Systematic detection of exception occurrences, Computing Laboratory, University of Newcastle upon Tyne, 1981.
- 166: J.M. Rushby. Verification of secure systems, Computing Laboratory, University of Newcastle upon Tyne, 1981.
- 167: X.D. Lu. A special-purpose VLSI chip-dynamic pipeline up-down counter, Computing Laboratory, University of Newcastle upon Tyne, 1981.
- 168: P.C. Treleaven, D.R. Brownbridge and R.P. Hopkins. Data driven and demand driven computer architecture, Computing Laboratory, University of Newcastle upon Tyne, 1981.
- 169: T. Anderson and J.C. Knight. Practical software fault tolerance for real-time systems, Computing Laboratory, University of Newcastle upon Tyne, 1981.
- 170: F. Cristian. Robust data types, Computing Laboratory, University of Newcastle upon Tyne, 1981.
- 171: S.K. Shrivastava and F. Panzieri. The design of a reliable remote procedure call mechanism, Computing Laboratory, University of Newcastle upon Tyne, 1981.
- 172: P.C. Treleaven. VLSI processor architectures, Computing Laboratory, University of Newcastle upon Tyne, 1981.
Department Technical Report Series Index
Contents Page - 40 years of Computing at Newcastle
Department Technical Report Series - 1981, 27 June 1997