40 Years of Computing at Newcastle

Department Technical Report Series - 1992

• 371: A.M. Koelmans, A. Yakovlev and D.J. Kinniment. System-level Design Based on Transformational Synthesis: Problems and Options, Computing Laboratory, University of Newcastle upon Tyne, 1992.

• 372: A. Bondavalli, F. Di Giandomenico and J. Xu. A Cost Effective and Flexible Scheme for Software Fault Tolerance, Computing Laboratory, University of Newcastle upon Tyne, 1992.

• 373: E. Best and J. Hall. The Box Calculus: A new Causal Algebra with Multilabel Communication, Computing Laboratory, University of Newcastle upon Tyne, 1992.

• 374: A.V. Yakovlev. On Limitations and Extensions of STG Model for Designing Asynchronous Control Circuits, Computing Laboratory, University of Newcastle upon Tyne, 1992.

• 375: D.R. Hodge. Very Large Distributed System Management: A Dependable Approach, Computing Laboratory, University of Newcastle upon Tyne, 1992.

• 376: M.C. Little. Object Replication in a Distributed System, Computing Laboratory, University of Newcastle upon Tyne, 1992.

• 377: A.V. Yakovlev. Synthesis of Hazard-Free Asynchronous Circuits from Generalised Signal-Transition Graphs, Computing Laboratory, University of Newcastle upon Tyne, 1992.

• 378: M. Koutny, L.V. Mancini and G. Pappalardo. Replication in Acyclic Networks of Communicating Processes, Computing Laboratory, University of Newcastle upon Tyne, 1992.

• 379: C. Phillips. Fortran GEM2 Programmers' Manual, Computing Laboratory, University of Newcastle upon Tyne, 1992.

• 380: A. Saeed and T. Anderson. An Approach to the Requirements Analysis of Safety-Critical Systems, Computing Laboratory, University of Newcastle upon Tyne, 1992.

• 381: A. Saeed, R. DeLemos and T. Anderson. An Approach to the Assessment of Requirements Specifications for Safety-Critical Systems, Computing Laboratory, University of Newcastle upon Tyne, 1992.

• 382: A. Burns, J.A. McDermid and J.E. Dobson. On the meaning of safety and security, Computing Laboratory, University of Newcastle upon Tyne, 1992.

• 383: D.F. Poulson, G. Oswald, J.S. Chudge and M.R. Strens. Modelling organisational complexity using the ORDIT framework, Computing Laboratory, University of Newcastle upon Tyne, 1992.
  [Abstract]

• 384: R.P. Hopkins. A (Prioritised) Petri Box Algebra and its use for a Triple Modular Redundance Case Study, Computing Laboratory, University of Newcastle upon Tyne, 1992.
  [Abstract]

• 385: C. Phillips. Parallel Block LU Factorisation in the Global Element Method Part 1: Share Memory Implementation, Computing Laboratory, University of Newcastle upon Tyne, 1992.
  [Abstract]

• 386: L.F. Capretz and P.A. Lee. Reusability and Life Cycle Issues within an Object-Oriented Methodology, Computing Laboratory, University of Newcastle upon Tyne, 1992.
  [Abstract]

• 387: R. Cook and C. Phillips. Incorporating Advective Terms into the Global Element Method, Computing Laboratory, University of Newcastle upon Tyne, 1992.
  [Abstract]

• 388: J. Xu and B. Randell. Software Fault Tolerance: t(n-1)-Variant Programming, Computing Laboratory, University of Newcastle upon Tyne, 1992.
  [Abstract]

• 389: G.M. Megson. The Derivation of Uniform Recurrence Equations for the Knapsack Problem, Computing Laboratory, University of Newcastle upon Tyne, 1992.
  [Abstract]

• 390: D.L. McCue. Selective Transparency in Distributed Transaction Processing, Computing Laboratory, University of Newcastle upon Tyne, 1992.
  [Abstract]

• 391: S.J. Caughey, S.K. Shrivastava and D.L. McCue. Implementing Fault-Tolerant Object Systems on Distributed Memory Multiprocessors, Computing Laboratory, University of Newcastle upon Tyne, 1992.<
  [Abstract]

• 392: D.L. McCue and M.C. Little. Computing Replica Placement in Distributed Systems, Computing Laboratory, University of Newcastle upon Tyne, 1992.
  [Abstract] / [Full (postscript) Paper]

• 393: E. Diemoz, A.T. Jowett, D.B. Ingham, C. Lwanda, A.J. Morton, P.B. Mtema, S. Whittaker and D. Wright. An Analysis of International Electronic Mail Performance and Reliability, Computing Laboratory, University of Newcastle upon Tyne, 1992. STUDENTS ONLY
  [Abstract]

• 394: J.E. Dobson, A.J.C. Blyth, J. Chudge and M.R. Strens. The ORDIT Approach to Requirements Identification, Computing Laboratory, University of Newcastle upon Tyne, 1992.
  [Abstract]

• 395: A.V. Yakovlev and A.I. Petrov. Symbolic Signal Transition Graphs and Asynchronous Circuit Deisgn, Department of Computing Science, University of Newcastle upon Tyne, 1992.
  [Abstract]

• 396: B. Randell. System Dependability, Department of Computing Science, University of Newcastle upon Tyne, 1992.
  [Abstract]

• 397: G.M. Megson. Mapping a Class of Run-Time Dependencies onto Regular Arrays, Department of Computing Science, University of Newcastle upon Tyne, 1992.
  [Abstract]

• 398: L.F. Capretz and P.A. Lee. A Classification of Object-Oriented Development Methodologies, Department of Computing Science, University of Newcastle upon Tyne, 1992.
  [Abstract]

• 399: L.F. Capretz and P.A. Lee. CASE Tools for Object-Oriented Design Methodologies, Department of Computing Science, University of Newcastle upon Tyne, 1992.
  [Abstract]

• 400: L. Buzato and A. Calsavara. Stabilis: A Case Study in Writing Fault-Tolerant Distributed Applications Using Persistent Objects, Department of Computing Science, University of Newcastle upon Tyne, 1992. STUDENTS ONLY
  [Abstract] / [Full (postscript) Paper]

• 401: C. Phillips. Parallel Block LU Factorisation in the Global Element Method Part 2: Local Memory Implementation, Department of Computing Science, University of Newcastle upon Tyne, 1992.
  [Abstract]

• 402: C. Phillips and R. Cook. A Quasi-Newton Method for Global Element Calculations, Department of Computing Science, University of Newcastle upon Tyne, 1992.
  [Abstract]

• 403: J.M. Spencer. Using Instance Properties to Decide Object Placement in Distributed Systems, Department of Computing Science, University of Newcastle upon Tyne, 1992.
  [Abstract]

• 404: J.S. Fitzgerald, P.A. Lindsay and R. Moore. On Making Formal Proof More Tractable, Department of Computing Science, University of Newcastle upon Tyne, 1992.
  [Abstract]

• 405: K. Wright. Numerical Solutions of Differential Equations for the Analytic Singular Value Decomposition, Department of Computing Science, University of Newcastle upon Tyne, 1992.
  [Abstract]

• 406: B.N. Rossiter and M.A. Heather. Data Management of On-line Information Systems, Department of Computing Science, University of Newcastle uopn Tyne, 1992.
  [Abstract]

• 407: B.N. Rossiter and M.A. Heather. Applying Category Theory to Databases, Department of Computing Science, University of Newcastle upon Tyne, 1992.
  [Abstract]

• 408: L.F. Capretz and P.A. Lee. Towards an Object-Oriented Approach, Department of Computing Science, University of Newcastle upon Tyne, 1992.
  [Abstract]

• 409: R. de Lemos, A. Saeed and A. Waterworth. Exception Handling in Real-Time Software for Specification, Department of Computing Science, University of Newcastle upon Tyne, 1992.
  [Abstract]