Newcastle University

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

• Stewart, I.A.Complete Problems for Symmetric Logspace Involving Free Groups. Computing Laboratory. 1989. Computing Laboratory Technical Report Series 300 (download PDF).
• Holt, C.M.Intervals as Time Lattices. Computing Laboratory. 1989. Computing Laboratory Technical Report Series 299 (download PDF).
• Shrivastava SK, Dixon GN, Parrington GD. An Overview of Arjuna: A Programming System for Reliable Distributed Computing. Computing Laboratory. 1989. Computing Laboratory Technical Report Series 298 (download PDF).
• Rossiter, B.N. and Heather, M.A.Toward the Object-Oriented Textbase. Computing Laboratory. 1989. Computing Laboratory Technical Report Series 297 (download PDF).
• Megson, G.M.Sorting without Exchanges on a Bit Serial Systolic Array. Computing Laboratory. 1989. Computing Laboratory Technical Report Series 296 (download PDF).
• Dobson JE. Conversation Structures as a Means of Specifying Security Policy. Computing Laboratory. 1989. Computing Laboratory Technical Report Series 295 (download PDF).
• Chennells, R.S. and Foster, J.Survey of Network Information Services: A Report to the Computer Board. Computing Laboratory. 1989. Computing Laboratory Technical Report Series 294 (download PDF).
• Stewart, I.A.Obtaining Nielsen Reduced Sets in Free Groups. Computing Laboratory. 1989. Computing Laboratory Technical Report Series 293 (download PDF).
• Megson, G.M.A Unified Self-Systolic Torus for Ricatti Equation Solution. Computing Laboratory. 1989. Computing Laboratory Technical Report Series 292 (download PDF).
• Mancini, L.V.Reliability Issues in the Design of Distributed Object-Based Architectures. Computing Laboratory. 1989. Computing Laboratory Technical Report Series 291 (download PDF).
• Stewart, I.A.Logical and Schematic Characterization of Complexity Classes. Computing Laboratory. 1989. Computing Laboratory Technical Report Series 290 (download PDF).
• Wright K, Ahmed AHA, Seleman AH. Criteria for Mesh Selection in Collocation Algorithms for Ordinary Differential Boundary Value Problems. Computing Laboratory. 1989. Computing Laboratory Technical Report Series 289 (download PDF).
• Pucci, G.A New Approach to the Modelling of Recovery Block Structures. Computing Laboratory. 1989. Computing Laboratory Technical Report Series 288 (download PDF).
• Hopkins RP, Koutny M. Asynchronous Communication in Dynamically Structured Systems. Computing Laboratory. 1989. Computing Laboratory Technical Report Series 287 (download PDF).
• Yakovlev A. A Relation-based Approach to Analysing Semantics of Asynchronous Hardware Specifications. Computing Laboratory. 1989. Computing Laboratory Technical Report Series 286 (download PDF).
• Yakovlev A. Concurrency Models for Designing Interface Logic in Distributed Systems. Computing Laboratory. 1989. Computing Laboratory Technical Report Series 285 (download PDF).
• Pucci, G. Software Metrics and Design Diversity. Computing Laboratory. 1989. Computing Laboratory Technical Report Series 284 (download PDF).
• Dixon GN, Parrington GD, Shrivastava SK, Wheater SM. The Treatment of Persistent Objects in Arjuna. Computing Laboratory. 1989. Computing Laboratory Technical Report Series 283 (download PDF).
• Hopkins RP, Koutny M. Modelling Concurrent Systems with Dynamic Communication Structure. Computing Laboratory. 1989. Computing Laboratory Technical Report Series 282 (download PDF).
• Mancini LV, Shrivastava SK. Replication within Atomic Actions and Conversations: A Case Study in Fault-Tolerance Duality. Computing Laboratory. 1989. Computing Laboratory Technical Report Series 281 (download PDF).
• Shrivastava SK, Dixon GN, Parrington GD, Hedayati F, Wheater SM, Little MC. The Design and Implementation of Arjuna. Computing Laboratory. 1989. Computing Laboratory Technical Report Series 280 (download PDF).
• Dobson JE, McDermid JA. Security Models and Enterprise Models. Computing Laboratory. 1989. Computing Laboratory Technical Report Series 279 (download PDF).
• Ezhilchelvan PD, Mitrani I, Shrivastava SK. An Empirical Study of the Performance of Distributed Replicated Systems. Computing Laboratory. 1989. Computing Laboratory Technical Report Series 278 (download PDF).