40 Years of Computing at Newcastle
Department Technical Report Series - 1994
- 461: P.D. Ezhilchelvan and S.K.
Shrivastava. rel/REL: A Family of Reliable Multicast Protocols for
Distributed Real-time Systems, Department of Computing Science, University
of Newcastle upon Tyne, 1994.
[Abstract]
- 462: V.N. Aleksandrov and S. Fidanova.
2D regular arrays for a special class of non uniform recurrence
equations, Department of Computing Science, University of Newcastle upon
Tyne, 1994.
[Abstract]
- 463: A. Yakovlev, M. Kishinevsky, A.
Kondratyev and L. Lavagno. On the Models for Asynchronous Circuit Behaviour
with OR Causality, Department of Computing Science, University of Newcastle
upon Tyne, 1994.
[Abstract] / [Full (postscript) Paper]
- 464: B.N. Rossiter, T.J. Sillitoe and M.A.
Heather. Models for Legal Documentation: using Formal Methods for Quality
Assurance in Hypertext Systems, Department of Computing Science, University
of Newcastle upon Tyne, 1994.
[Abstract]
- 465: B.N. Rossiter, K.G. Huntley and M.A.
Heather. Behavioural modelling of formal documents and active
instruments, Department of Computing Science, University of Newcastle upon
Tyne, 1994.
[Abstract]
- 466: B. Moszkowski. Some very
compositional temporal properties, Department of Computing Science,
University of Newcastle upon Tyne, 1994.
[Abstract]
- 467: R. Cook, M. Pakzad and C. Phillips.
Parallel preconditioners for the conjugate gradient method, Department
of Computing Science, University of Newcastle upon Tyne, 1994.
[Abstract]
- 468: R. de Lemos, A. Saeed and T.
Anderson. Formal techniqes for requirements analysis for safety-critical
systems, Department of Computing Science, University of Newcastle upon
Tyne, 1994.
[Abstract]
- 469: R. de Lemos, A. Saeed and T.
Anderson. Requirements analysisfor safety-critical systems: a chemical batch processing example, Department of Computing Science, University of
Newcastle upon Tyne, 1994.
[Abstract]
- 470: M.A. Heather and B.N. Rossiter.
Representing legal norms with the pullback functor f*, Department of
Computing Science, University of Newcastle upon Tyne, 1994.
[Abstract]
- 471: L. Rapanotti and G.M. Megson.
Pre-Processing in SADE: Stage III, Department of Computing Science,
University of Newcastle upon Tyne, 1994.
[Abstract]
- 472: M.C. Little and D.L. McCue. The replica management system: a scheme for flexible and dynamic replication, Department of Computing Science, University of Newcastle upon Tyne, 1994.
[Abstract] /
[
Full (postscript) Paper]
- 473: R. Cook and C. Phillips. A
reformulated preconditioned conjugate gradient square method Part 1: The
algorithm, Department of Computing Science, University of Newcastle upon
Tyne, 1994.
[Abstract]
- 474: G. Cho and L.F. Marshall. A
multicast service for mobile computing, Department of Computing Science,
University of Newcastle upon Tyne, 1994.
[Abstract]
- 475: A. Romanovsky and L. Strigini.
Implementation of conversations in the conventional Ada, Department of Computing Science, University of Newcastle upon Tyne, 1994.
[Abstract]
- 476: M.A. Heather and B.N. Rossiter.
Category theory: the mathematics for the humanities ?, Department of
Computing Science, University of Newcastle upon Tyne, 1994.
[Abstract]
- 477: R. Burnett and T. Anderson.
Reliability allocation for a system using Markov analysis, Department
of Computing Science, University of Newcastle upon Tyne, 1994.
[Abstract]
- 478: L. Rapanotti and G.M. Megson.
Uniformisation techniques for integral recurrence equations, Department of Computing Science, University of Newcastle upon Tyne, 1994.
[Abstract]
- 479: B. Randell and J. Xu. Recovery
blocks, Department of Computing Science, University of Newcastle upon Tyne, 1994.
[Abstract]
- 480: C. Robertson and G.M. Megson.
Scene analysis - a brief survey, Department of Computing Science,
University of Newcastle upon Tyne, 1994.
[Abstract]
- 481: J. Xu. Sequentially
t-diagnosable systems, Department of Computing Science, University of
Newcastle upon Tyne, 1994.
[Abstract]
- 482: C.M. Holt. Program verification in a visual language, Department of Computing Science, University of
Newcastle upon Tyne, 1994.
[Abstract]
- 483: C.M. Holt. An algebra of lines
and boxes, Department of Computing Science, University of Newcastle upon
Tyne, 1994.
[Abstract]
- 484: R. de Lemos, A. Saeed and T.
Anderson. An approach for the risk analysis of safety specifications,
Department of Computing Science, University of Newcastle upon Tyne, 1994.
[Abstract]
- 485: M. Banatre, A. Gefflaut, P. Joubert, C. Morin and P.A. Lee. An architecture for tolerating processor failures in shared-memory multiprocessors, Department of Computing Science, University of Newcastle upon Tyne, 1994.
[Abstract]
- 486: G.M. Megson and X. Chen.
Synthesis of knapsack problems into fixed size arrays with lower
dimensions, Department of Computing Science, University of Newcastle upon
Tyne, 1994.
[Abstract]
- 487: A. Semenov and A. Yakovlev.
Event-based framework for verifying high-level models of asynchronous
circuits, Department of Computing Science, University of Newcastle upon
Tyne, 1994.
[Abstract] / [Full (postscript) Paper]
- 488: D.A. Nelson, B.N. Rossiter and M.A.
Heather. The functorial data model - an extension to functional
databases, Department of Computing Science, University of Newcastle upon
Tyne, 1994.
[Abstract] / [Full (postscript) Paper]
- 489: J. C. Bicarregui, J. S. Fitzgerald, R. Moore and B. Ritchie. Proof in VDM: Reader's Notes, Department of Computing Science, University of Newcastle upon Tyne, 1994 (*This TR was not for distribution, but purchase only.)
[Abstract]
- 490: D. Kaya and K. Wright. Parallel
algorithms for reduction of a general matrix to upper Hessenberg form on a
shared memory multiprocessor, Department of Computing Science, University
of Newcastle upon Tyne, 1994.
[Abstract]
- 491: M. Koutny, L.V. Mancini and G.
Pappalardo. Two implementation relations and the correctness of
communicating replicated processes, Department of Computing Science,
University of Newcastle upon Tyne, 1994.
[Abstract] / [Full (postscript) Paper]
- 492: L. Rapanotti and G.M. Megson.
Mapping integral recurrences onto regular arrays, Department of
Computing Science, University of Newcastle upon Tyne, 1994.
[Abstract]
- 493: R. de Lemos, A. Saeed and T.
Anderson. On the safety analysis of requirements specifications,
Department of Computing Science, University of Newcastle upon Tyne, 1994.
[Abstract]
- 494: A.J.C. Blyth and J. Chudge.
Modelling organisational behaviour using social and linguistic
constructs, Department of Computing Science, University of Newcastle upon
Tyne, 1994.
[Abstract]
- 495: M. Koutny and M. Pietkiewicz-Koutny.
On the sleep sets method for partial order verification of concurrent
systems, Department of Computing Science, University of Newcastle upon
Tyne, 1994.
[Abstract] /
[Full (postscript) Paper]
- 496: P.A. Lee and R.J. Stroud. C++ as an introductory programming language, Department of Computing Science,
University of Newcastle upon Tyne, 1994.
[Abstract]
- 497: A.J.C. Blyth. Modelling and
eliciting organisational and information system requirements for medical
information systems, Department of Computing Science, University of
Newcastle upon Tyne, 1994.
[Abstract]
- 498: J. Xu, B. Randell, C.M.F.
Rubira-Calsavara and R.J. Stroud. Software fault-tolerance: towards an
object-oriented approach, Department of Computing Science, University of
Newcastle upon Tyne, 1994.
[Abstract]
- 499: J. Xu, F. Giandomenico and A.
Bondavalli. Adaptive architectures for hybrid fault tolerance in distributed computing systems, Department of Computing Science, University of Newcastle upon Tyne, 1994.
[Abstract] /
[Full (postscript) Paper]
- 500: M.J. Kim, D.A. Nelson and B.N.
Rossiter. Evaluation of the object-relational dbms, Department of
Computing Science, University of Newcastle upon Tyne, 1994.
[Abstract] /
[Full (postscript) Paper]
- 501: A. Semenov and A. Yakovlev.
Combining Partial Orders and Symbolic Traversal for Eficient Verification of Asynchronous Circuits, Department of Computing Science, University of
Newcastle upon Tyne, 1994.
[Abstract] /
[Full (postscript) Paper]
- 502: X. Chen and G.M. Megson.
Automatic Parallel Code Generation for Given Arrays, Department of
Computing Science, University of Newcastle upon Tyne, 1994.
[Abstract]
- 503: R. de Lemos, A. Saeed and T.
Anderson. Formal Techniques for Requirements Analysys for Safety-Critical
Systems, Department of Computing Science, University of Newcastle upon
Tyne, 1994.
[Abstract]
- 504: R. de Lemos, B. Fields and A. Saeed. Analysis of Safety Requirements in the Context of System Faults and Human Errors, Department of Computing Science, University of Newcastle upon Tyne, 1994.
[Abstract]
Department Technical Report Series Index
Contents Page - 40 years of Computing at Newcastle
Department Technical Report Series - 1994, 27 June 1997