40 Years of Computing at Newcastle
Department Technical Report Series - 1993
- 410: J.-C. Fabre, Y. Deswarte and B.
Randell. A Framework for the Design of Secure and Reliable Applications by
Fragmentation-Redundancy-Scattering, Department of Computing Science,
University of Newcastle, 1993.
[Abstract]
- 411: C.M. Holt. Multimedia Language
Design, Department of Computing Science, University of Newcastle upon Tyne,
1993.
[Abstract]
- 412: T. Anderson, R. de Lemos, J.
Fitzgerald and A. Saeed. On Formal Support for Industrial Scale Requirements
Analysis, Department of Computing Science, University of Newcastle upon
Tyne, 1993.
[Abstract] / [Full (postscript) Paper]
- 413: F. Brasileiro, P.D. Ezhilchelvan,
S.K. Shrivastava, N.A. Speirs and S. Tao. Efficient protocols for
fail-silent nodes in distributed systems, Department of Computing Science,
University of Newcastle upon Tyne, 1993.
[Abstract]
- 414: S.K. Shrivastava and D.L. McCue.
Structuring Fault-Tolerant Object Systems for Modularity in a Distributed
Environment, Department of Computing Science, University of Newcastle upon
Tyne, 1993.
[Abstract] /
[Full (postscript) Paper]
- 415: G.M. Megson and X. Chen. A
Survey and Analysis of Partitioning and Mapping Methods for Regular Arrays,
Department of Computing Science, University of Newcastle upon Tyne, 1993.
[Abstract]
- 416: G.M. Megson. Systematic
Construction of Trigonometric Neural Networks, Department of Computing
Science, University of Newcastle upon Tyne, 1993.
[Abstract]
- 417: C.M.F.R. Calsavara and R.J. Stroud.
Forward and Backward Error Recovery in C++, Department of Computing
Science, University of Newcastle upon Tyne, 1993.
[Abstract]
- 418: S.K. Shrivastava and A. Tully.
Active Replication of Distributed Programs: Problems and Solutions,
Department of Computing Science, University of Newcastle upon Tyne, 1993.
[Abstract]
- 419: J.-C. Fabre and B. Randell. An
Object-Oriented View of Fragmented Data Processing for Fault and Intrusion
Tolerance in Distributed Systems, Department of Computing Science,
University of Newcastle upon Tyne, 1993.
[Abstract]
- 420: C.R. Snow. On the Comparison of
Two Threads Packages, Department of Computing Science, University of
Newcastle upon Tyne, 1993.
[Abstract]
- 421: G.M. Megson. Mapping Certain
Non-Linear Dependencies onto Regular Arrays, Department of Computing
Science, University of Newcastle upon Tyne, 1993.
[Abstract]
- 422: M.C. Little, D.L. McCue and S.K.
Shrivastava. Maintaining Information about Persistent Replicated Objects in
a Distributed System, Department of Computing Science, University of
Newcastle upon Tyne, 1993.
[Abstract] /
[Full (postscript) Paper]
- 423: G.M. Megson and X. Chen. A
Methodology of Partitioning and Mapping for Fixed-Shape and Given-Mesh Regular
Arrays, Department of Computing Science, University of Newcastle upon Tyne,
1993.
[Abstract]
- 424: J.S. Fitzgerald and R. Moore.
Experiences in Developing a Proof Theory for VDM Specifications,
Department of Computing Science, University of Newcastle upon Tyne, 1993.
[Abstract] / [Full (postscript) Paper]
- 425: R. Janicki and M. Koutny. Order
Structures and Generalisations of Szpilrajn's Theorem, Department of
Computing Science, University of Newcastle upon Tyne, 1993.
[Abstract] / [Full (postscript) Paper]
- 426: A.M. Koelmans, F.P. Burns and D.J.
Kinniment. Use of a Theorem Prover for Transformational Synthesis,
Department of Computing Science, University of Newcastle upon Tyne, 1993.
[Abstract] / [Full (postscript) Paper]
- 427: A. Yakovlev, A.I. Petrov and L.
Lavagno. High Speed Asynchronous Arbiter, Department of Computing
Science, University of Newcastle upon Tyne, 1993.
[Abstract] / [Full (postscript) Paper]
- 428: G.M. Megson and X. Chen. A LSGP
Partitioning Method for Mapping onto a Given-Shape Regular Array, Department
of Computing Science, University of Newcastle upon Tyne, 1993.
[Abstract]
- 429: A. Saeed, R. de Lemos and T.
Anderson. The Role of Formal Methods in the Requirements Analysis of Safety
Critical Systems: a Train Set Example, Department of Computing Science,
University of Newcastle upon Tyne, 1993.
[Abstract]
- 430: A. Saeed, R. de Lemos and T.
Anderson. Formal Techniques for Requirements Analysis for Safe Reactor
Control, Department of Computing Science, University of Newcastle upon
Tyne, 1993.
[Abstract]
- 431: L. Rapanotti and G.M. Megson.
Pre-Processing in SADE: Stage I, Department of Computing Science,
University of Newcastle upon Tyne, 1993.
[Abstract]
- 432: B.N. Rossiter and M.A. Heather.
Database Architecture and Functional Dependencies Expressed with Formal
Categories and Functors, Department of Computing Science, University of
Newcastle upon Tyne, 1993.
[Abstract]
- 433: J.M. Armstrong and R.J. Mitchell.
Managing Inheritance on Programming Projects, Department of Computing
Science, University of Newcastle upon Tyne, 1993.
[Abstract]
- 434: J.M. Armstrong, J.R. Howse, R.J.
Mitchell and I. Maung. The Role of Inheritance as an Import/Export
Mechanism, Department of Computing Science, University of Newcastle upon
Tyne, 1993.
[Abstract]
- 435: X. Chen and G.M. Megson. A
Methodology of Partitioning and Mapping for Given Regular Arrays with Lower
Dimension, Department of Computing Science, University of Newcastle upon
Tyne, 1993.
[Abstract]
- 436: C.M. Holt. Proof Sketches,
Department of Computing Science, University of Newcastle upon Tyne, 1993.
[Abstract]
- 437: M.C. Little and D.L. McCue.
Construction and Use of a Simulation Package in C++, Department of
Computing Science, University of Newcastle upon Tyne, 1993.
[Abstract]
- 438: J.-C. Fabre, Y. Deswarte and B.
Randell. Designing Secure and Reliable Applications using FRS: an
Object-Oriented Approach, Department of Computing Science, University of
Newcastle upon Tyne, 1993.
[Abstract]
- 439: R.P. Hopkins. Voting
Communications in Networks of Concurrent Processes, Department of Computing
Science, University of Newcastle upon Tyne, 1993.
[Abstract]
- 440: R.P. Hopkins. Recursion and
Refinement for a Generalisation of the Petri Box Calculus, Department of
Computing Science, University of Newcastle upon Tyne, 1993.
[Abstract]
- 441: Z. Duan and C.M. Holt. Negation
by Default for Framing Temporal Logic Programming, Department of Computing
Science, University of Newcastle upon Tyne, 1993.
[Abstract]
- 442: J. Xu, A. Bondavalli and F. Di
Giandomenico. Software Fault Tolerance: Dynamic Combination of Dependability
and Efficiency, Department of Computing Science, University of Newcastle
upon Tyne, 1993.
[Abstract]
- 443: J. Xu and Q. Lee. Topological
Properties of Typical Interconnection Networks: Fault Tolerance, Communication
Delay and Connection Cost, Department of Computing Science, University of
Newcastle upon Tyne, 1993.
[Abstract]
- 444: J. Xu and B. Randell.
Object-oriented Construction of Fault-tolerant Software, Department of
Computing Science, University of Newcastle upon Tyne, 1993.
[Abstract]
- 445: D.R. Hodge. Effective Management
of Very Large Computer Systems, Department of Computing Science, University
of Newcastle upon Tyne, 1993.
[Abstract]
- 446: L. Rapanotti and G.M. Megson.
Pre-Processing in SADE: Stage II, Department of Computing Science,
University of Newcastle upon Tyne, 1993.
[Abstract]
- 447: L.F. Capretz and P.A. Lee.
Object-oriented Design: Guidelines and Techniques, Department of
Computing Science, University of Newcastle upon Tyne, 1993.
[Abstract]
- 448: G.M. Megson, V.N. Aleksandrov and
I.T. Dimov. Systolic Matrix Inversion using Monte Carlo Method,
Department of Computing Science, University of Newcastle upon Tyne, 1993.
[Abstract]
- 449: P.A. Barrett, S.K. Shrivastava, N.A.
Speirs and A. Waterworth. Building Fault-tolerant Distributed Computing
Systems using Standard Components, Department of Computing Science,
University of Newcastle upon Tyne, 1993.
[Abstract]
- 450: D. Kaya and K. Wright. Parallel
Algorithms for LU Decomposition on a Shared Memory Multiprocessor,
Department of Computing Science, University of Newcastle upon Tyne, 1993.
[Abstract]
- 451: A. Saeed, T. Anderson and R. de
Lemos. Robust Requirements Specifications for Safety-Critical Systems,
Department of Computing Science, University of Newcastle upon Tyne, 1993.
[Abstract]
- 452: Z. Duan, M. Koutny and C.M. Holt.
Projection in Temporal Logic Programming, Department of Computing
Science, University of Newcastle upon Tyne, 1993.
[Abstract] / [Full (postscript) Paper]
- 453: S.J. Caughey, G.D. Parrington and
S.K. Shrivastava. SHADOWS - A Flexible Support System for Objects in
Distributed Systems, Department of Computing Science, University of
Newcastle upon Tyne, 1993.
[Abstract]
- 454: N.A. Speirs, S. Tao, F.V. Brasileiro,
P.D. Ezhilchelvan and S.K. Shrivastava. The Design and Implementation of
Voltan Fault-tolerant Nodes for Distributed Systems, Department of
Computing Science, University of Newcastle upon Tyne, 1993.
[Abstract]
- 455: A.J.C. Blyth, J. Chudge, J.E. Dobson
and M.R. Strens. A Framework for Modelling Evolving Requirements,
Department of Computing Science, University of Newcastle upon Tyne, 1993.
[Abstract]
- 456: A.J.C. Blyth, J. Chudge, J.E. Dobson
and M.R. Strens. ORDIT: A New Methodology to Assist in the Process of
Eliciting and Modelling Organisational Requirements, Department of
Computing Science, University of Newcastle upon Tyne, 1993.
[Abstract]
- 457: P.A. Barrett and N.A. Speirs.
Delta-4: An open architecture for dependable systems, Department of
Computing Science, University of Newcastle upon Tyne, 1993.
[Abstract]
- 458: P.A. Lee and C. Phillips.
Visualising parallel numerical software performance on a shared memory
multiprocessors, Department of Computing Science, University of Newcastle
upon Tyne, 1993.
[Abstract]
- 459: C.R. Snow and H. Whitfield.
Simple Authentication, Department of Computing Science, University of
Newcastle upon Tyne, 1993.
[Abstract]
- 460: A.V. Yakovlev, A.M. Koelmans and L.
Lavagno. High Level Modelling and Design of Asynchronous Interface
Logic, Department of Computing Science, University of Newcastle upon Tyne,
1993.
[Abstract] / [Full (postscript) Paper]
Department Technical Report Series Index
Contents Page - 40 years of Computing at Newcastle
Department Technical Report Series - 1993, 27 June 1997