40 Years of Computing at Newcastle
Department Technical Report Series - 1991
- 319: M.C. Little and S.K. Shrivastava.
Replicated K-Resilient Objects in Arjuna, Computing Laboratory,
University of Newcastle upon Tyne, 1991.
[Abstract] /
[Full (postscript) Paper]
- 320: J.E. Dobson and J.A. McDermid.
An Investigation into Modelling and categorisation of Non-Functional
Requirements (for the Specification of Surface Naval Command Systems),
Computing Laboratory, University of Newcastle upon Tyne, 1991.
- 321: F.P. Burns, D.J. Kinniment and A.M.
Koelmans. Correct Interactive Transformational Synthesis of DSP
Hardware, Computing Laboratory, University of Newcastle upon Tyne, 1991.
- 322: D.H. Song. An Accurate
Prefetching Policy for Object Oriented Systems, Computing Laboratory,
University of Newcastle upon Tyne, 1991.
- 323: I.A. Stewart. On Completeness
for NP via Projection Translations, Computing Laboratory, University of
Newcastle upon Tyne, 1991.
- 324: I.A. Stewart. Complete problems
for logspace involving lexicographic first paths in graphs, Computing
Laboratory, University of Newcastle upon Tyne, 1991.
- 325: I.A. Stewart. Logical
characterizations of bounded query classes I: logspace oracle machines,
Computing Laboratory, University of Newcastle upon Tyne, 1991.
- 326: I.A. Stewart. Logical
characterizations of bounded query classes II: polynomical-time oracle
machines, Computing Laboratory, University of Newcastle upon Tyne, 1991.
- 327: B. Randell. Programming: from
Babbage to Backus, Computing Laboratory, University of Newcastle upon Tyne,
1991.
- 328: A. Tully. Preventing state
divergence in replicated distributed systems, Computing Laboratory,
University of Newcastle upon Tyne, 1991.
- 329: J. Hall. A Petri Net Semantics
of Occam 2, Computing Laboratory, University of Newcastle upon Tyne, 1991.
- 330: B. Randell. Coping with the
past, Computing Laboratory, University of Nerwcastle upon Tyne, 1991.
- 331: G. Trouessin, Y. Deswarte, J.-C.
Fabre and B. Randell. Improvement of Data Processing security by means of
Fault Tolerance, 1991.
- 332: I.A. Stewart. Deciding whether a
planar graph has a cubic subgraph is NP-complete, Computing Laboratory,
University of Newcastle upon Tyne, 1991. (To appear in Discrete Mathematics)
- 333: S.K. Shrivastava, P. Ezhilchelvan,
N.A. Speirs and D.T. Seaton. Fail-controlled computer architectures for
distributed systems, Computing Laboratory, University of Newcastle upon
Tyne, 1991.
- 334: I.A. Stewart. Uniform sequences
of branching programs, Computing Laboratory, University of Newcastle upon
Tyne, 1991.
- 335: I.A. Stewart. Complete problems
involving Boolean labelled structures and projection, Computing Laboratory,
University of Newcastle upon Tyne, 1991.
- 336: I.A. Stewart. On the capture of
complexity classes using logic, Computing Laboratory, University of
Newcastle upon Tyne, 1991.
- 337: B. Randell and J.-C. Fabre. FDP
techniques in object-oriented systems, Computing Laboratory, University of
Newcastle upon Tyne, 1991.
- 338: I.A. Stewart. Methods for
proving completeness via logical reductions, Computing Laboratory,
University of Newcastle upon Tyne, 1991. (To appear in Theoretical Computer
Science)
- 339: R.P. Hopkins. Distributable
nets, Computing Laboratory, University of Newcastle upon Tyne, 1991.
- 340: J. Xu. The
t/(n-1)-diagnosability and its applications to fault tolerance, Computing
Laboratory, University of Newcastleupon Tyne, 1991.
- 341: R. de Lemos, A. Saeed and T.
Anderson. Requirements specification and verification for safety-critical
systems, Computing Laboratory, University of Newcastle upon Tyne, 1991.
- 342: I.A. Stewart. On the
expressibility of extensions of first-order logic, Computing Laboratory,
University of Newcastle upon Tyne, 1991.
- 343: B. Randell and J.-C. Laprie.
Predictably Dependable Computing Systems: Second Year Report, Computing
Laboratory, University of Newcastle upon Tyne, 1991.
- 344: P.A. Barrett and N.A. Speirs.
Towards an Integrated Approach to Fault Tolerance in Delta-4, Computing
Laboratory, University of Newcastle upon Tyne, 1991.
- 345: I.A. Stewart. Refining Known
Results on the Generalized Word Problem for Free Graphs, Computing
Laboratory, University of Newcastle upon Tyne, 1991. (To appear in International
Journal Algebra and Computation)
- 346: A.M. Koelmans and D.J. Kinniment.
Modelling and Verification of Timing Conditions with the Boyer-Moore
Prover, Computing Laboratory, University of Newcastle upon Tyne, 1991.
- 347: A.M. Koelmans and D.J. Kinniment.
Verification of Timing Conditions Using a Theorem Prover, Computing
Laboratory, University of Newcastle upon Tyne, 1991.
- 348: S.K. Shrivastava, P.D. Ezhilchelvan,
N.A. Speirs, S. Tao and A. Tully. Principal Features of the Voltan Family of
Reliable Node Architectures for Distributed Systems, Computing Laboratory,
University of Newcastle upon Tyne, 1991.
- 349: S.K. Shrivastava and A. Waterworth.
Using Objects and Actions to Provide Fault tolerance in Distributed,
Real-Time Applications, Computing Laboratory, University of Newcastle upon
Tyne, 1991.
- 350: K. Wright. Parallel Treatment of
Block Bi-Diagonal Matrics in the Solution of Ordinary Differentail Boundary Value
Problems, Computing Laboratory, University of Newcastle upon Tyne, 1991.
- 351: M. Koutny, L.V. Mancini and G.
Pappalardo. Verifying Correctness of Communicating Replicated
Processes, Computing Laboratory, University of Newcastle upon Tyne, 1991.
- 352: I.A. Stewart. On a Greedy
Heuristic for Finding Small Dominating Sets, Computing Laboratory,
University of Newcastle upon Tyne, 1991.
- 353: M. Koutny. Modelling Systems
with Dynamic Priorities, Computing Laboratory, University of Newcastle upon
Tyne, 1991.
- 354: D. McCue. Intercepting Fetch and
Store Operations in C ++, Computing Laboratory, University of Newcastle
upon Tyne, 1991.
- 355: R. Janicki and M. Koutny.
Invariants and Paradigms of Concurrency Theory, Computing Laboratory,
University of Newcastle upon Tyne, 1991.
- 356: M. Pietkiewicz-Koutny. Modelling
Reconfigurability using Graph Grammars and Petri Nets, Computing
Laboratory, University of Newcastle upon Tyne, 1991.
- 357: I.A. Stewart. On the
Reachability Problem for Some Classes of Petri Nets, Computing Laboratory,
University of Newcastle upon Tyne, 1991.
- 358: M.A. Stoker. The Exploitation of
Parallelism on Shared Memory Multiprocessors, Computing Laboratory,
University of Newcastle upon Tyne, 1991.
- 359: R. de Lemos, A. Saeed and T.
Anderson. Analysis of Timeliness Requirements in Safety-Critical
Systems, Computing Laboratory, University of Newcastle upon Tyne, 1991.
- 360: R. de Lemos, A. Saeed and T.
Anderson. Value Inconsistencies due to Time Uncertainties, Computing
Laboratory, University of Newcastle upon Tyne, 1991.
- 361: R. de Lemos, A. Saeed and T.
Anderson. A Train Set as a Case Study for the Requirements Analysis of
Safety-Critical Systems, Computing Laboratory, University of Newcastle upon
Tyne, 1991.
- 362: A. Yakovlev. A Structural
Technique for Fault-Protection in Asynchronous Interfaces, Computing
Laboratory, University of Newcastle upon Tyne, 1991.
- 363: G.M. Megson. Automating Systolic
Algorithm Design 1: Basic Synthesis Techniques, Computing Laboratory,
University of Newcastle upon Tyne, 1991.
- 364: G.M. Megson. Automating Systolic
Algorithm Design 2: A Practical Approach, Computing Laboratory, University
of Newcastle upon Tyne, 1991.
- 365: K. Wright. Differential
Equations for the Analytic Singular Value Decomposition of a Matrix,
Computing Laboratory, University of Newcastle upon Tyne, 1991.
- 366: C.M. Holt. Visualizing
Concurrent Relations, Computing Laboratory, University of Newcastle upon
Tyne, 1991.
- 367: M. Koutny and R. Janicki.
Structure of Concurrency, Computing Laboratory, University of Newcastle
upon Tyne, 1991.
- 368: I.A. Stewart. On Two
Approximation Algorithms for the Clique Problem, Computing Laboratory,
University of Newcastle upon Tyne, 1991.
- 369: R. Chakka and I. Mitrani.
Heterogeneous Multiprocessor Systems wilh Breakdowns: Performance and Optimal
Repair Strategies, Computing Laboratory, University of Newcastle
upon Tyne, 1991.
- 370: L.F. Capretz. Object-Oriented
Design Methodologies for Software Systems, Computing Laboratory, University
of Newcastle upon Tyne, 1991.
Department Technical Report Series Index
Contents Page - 40 years of Computing at Newcastle
Department Technical Report Series - 1991, 27 June 1997