40 Years of Computing at Newcastle
Department Technical Report Series - 1995
- 505: B.N. Rossiter, D.A. Nelson and M.A.
Heather. The Categorical Product Data Model as a Formalism for
Object-Relational Databases, Department of Computing Science, University of
Newcastle upon Tyne, 1995.
[Abstract] /
[Full (postscript) Paper]
- 506: X. Chen and G.M. Megson.
Automatic Parallel Code Generation for Given Arrays. (Part 2: Practice and
Results), Department of Computing Science, University of Newcastle upon
Tyne, 1995.
[Abstract]
- 507: J. Xu, B. Randell, A.B. Romanovsky,
C.M.F.R. Rubira, R.J. Stroud and Z. Wu. Fault Tolerance in Concurrent
Object-Oriented Software Through Co-ordinated Error Recovery., Department
of Computing Science, University of Newcastle upon Tyne, 1995.
[Abstract] /
[Full (postscript) Paper]
- 508: G. Cho and L.F. Marshall. An
Efficient Location and Routing Scheme for Mobile Computing Environments.,
Department of Computing Science, University of Newcastle upon Tyne, 1995.
[Abstract]
- 509: G.D. Parrington, S.K. Shrivastava,
S.M. Wheater and M.C. Little. The Design and Implementation of Arjuna.,
Department of Computing Science, University of Newcastle upon Tyne, 1995.
[Abstract] / [
Full (postscript) Paper]
- 510: G.D. Parrington. A Stub
Generation System for C++, Department of Computing Science, University of
Newcastle upon Tyne, 1995.
[Abstract] / [
Full (postscript) Paper]
- 511: D.A. Nelson and B.N. Rossiter.
Suitability of Programing Languages for Categorical Databases.,
Department of Computing Science, University of Newcastle upon Tyne, 1995.
[Abstract] / [Full (postscript) Paper]
- 512: R.J. Stroud and Z. Wu. Using
Meta-Object Protocols to Implement Atomic Data Types, Department of
Computing Science, University of Newcastle upon Tyne, 1995.
[Abstract]
- 513: R.J. Stroud and Z. Wu. Using
Meta-Objects to Adapt a Persistent Object System to Meet Application Needs.,
Department of Computing Science, University of Newcastle upon Tyne, 1995.
[Abstract]
- 514: A.V. Yakovlev, A.M. Koelmans, A.
Semenov and D.J. Kinniment. Modelling, Analysis and Synthesis of
Asynchronous Control Circuits Using Petri Nets, Department of Computing
Science, University of Newcastle upon Tyne, 1995.
[Abstract] / [Full (postscript) Paper]
- 515: J. Xu and B. Randell. Responsive
Roll-Forward Recovery in Embedded Real-Time Systems, Department of
Computing Science, University of Newcastle upon Tyne, 1995.
[Abstract] /
[Full (postscript) Paper]
- 516: A. Semenov, A. Yakovlev and N.
Anisimov. Specification and Verification of a Self-Timed Token Ring
Protocol, Department of Computing Science, University of Newcastle upon
Tyne, 1995.
[Abstract] / [Full (postscript) Paper]
- 517: J.-C. Fabre, V. Nicomette, T.
Perenou, R.J. Stroud and Z. Wu. Implementing Fault Tolerant Applications
Using Reflective Object-Oriented Programming, Department of Computing
Science, University of Newcastle upon Tyne, 1995.
[Abstract]
- 518: Z. Wu, R.J. Stroud, K. Moody and J.
Bacon. Data Consistency in a Distributed Persistent Object System,
Department of Computing Science, University of Newcastle upon Tyne, 1995.
[Abstract]
- 519: Z. Wu and R.J. Stroud. The
Design and Implementation of a Distributed Transaction System Based on Atomic
Data Types, Department of Computing Science, University of Newcastle upon
Tyne, 1995.
[Abstract]
- 520: M.R. Strens and R.C. Sugden.
Criteria for the Assessment of Representation Methods as Vehicles for
Handling Change, Department of Computing Science, University of Newcastle
upon Tyne, 1995.
[Abstract]
- 521: R.C. Sugden and M.R. Strens.
Change Handling Criteria for the Assessment of Requirements and Design
Methods, Department of Computing Science, University of Newcastle upon
Tyne, 1995.
[Abstract]
- 522: A. Yakovlev. Designing Control
Logic for Counterflow Pipeline Processor Using Petri Nets, Department of
Computing Science, University of Newcastle upon Tyne, 1995.
[Abstract] / [Full (postscript) Paper]
- 523: L.E. Buzato. Management of
Object-Oriented Action Based Distributed Programs, Department of Computing
Science, University of Newcastle upon Tyne, 1995.
[Abstract]
- 524: R.J. De Araujo Macedo.
Fault-Tolerant Group Communication Protocols for Asynchronous Systems,
Department of Computing Science, University of Newcastle upon Tyne, 1995.
[to be printed]
[Abstract]
- 525: J.W. Harley. Dataflow
Development of Medium-Grained Parallel Software, Department of Computing
Science, University of Newcastle upon Tyne, 1995.
[Abstract]
- 526: L. Rapanotti and G.M. Megson. A
Class of Dynamic Data Dependencies and Their Localisation, Department of
Computing Science, University of Newcastle upon Tyne, 1995.
[Abstract]
- 527: N. Thomas and I. Mitrani.
Routing Among Servers with Breakdowns and Retained Queues, Department
of Computing Science, University of Newcastle upon Tyne, 1995.
[Abstract]
- 528: M. Pietkiwicz-Koutny and A. Yakovlev.
Non-Pure Nets and Their Transition Systems, Department of Computing
Science, University of Newcastle upon Tyne, 1995.
[Abstract]
/ [Full (postscript) Paper]
- 529: C.M. Holt. Programing Within
VR., Department of Computing Science, University of Newcastle upon Tyne,
1995.
[Abstract]
/ [Full (postscript) Paper]
- 530: C.M. Holt. Language Spaces,
Department of Computing Science, University of Newcastle upon Tyne, 1995.
[Abstract]
/ [Full (postscript) Paper]
- 531: M.A. Heather and B.N. Rossiter.
Geometric Theory of Machine Awareness for Legal Information Retrieval and
Reasoning., Department of Computing Science, University of Newcastle upon
Tyne, 1995.
[Abstract] /
[Full (postscript) Paper]
- 532: D.A. Nelson and B.N. Rossiter.
Prototyping a Formal Object-Oriented Database in P/FDM, Department of
Computing Science, University of Newcastle upon Tyne, 1995.
[Abstract] / [Full (postscript) Paper]
- 533: R.J. Stroud and Z. Wu. Using
Metaobject Protocols to Satisfy Non-Functional Requirements, Department of
Computing Science, University of Newcastle upon Tyne, 1995.
[Abstract]
- 534: R. Burnett and T. Anderson.
Trade-Off Between Cost and Reliability During the Design Phase,
Department of Computing Science, University of Newcastle upon Tyne, 1995.
[Abstract]
- 535: Z. Wu and R.J. Stroud. Using
Metaobject Protocols to Structure Operating Systems, Department of
Computing Science, University of Newcastle upon Tyne, 1995.
[Abstract]
- 536: C.M. Holt. Comparing Visual and
Textual Languages, Department of Computing Science, University of Newcastle
upon Tyne, 1995.
[Abstract]
/ [Full (postscript) Paper]
- 537: K.S. Low and A. Yakovlev. Token
Ring Arbiters: An Excercise in Asynchronous Logic Design with Petri-Nets,
Department of Computing Science, University of Newcastle upon Tyne, 1995.
[Abstract]
/ [Full (postscript) Paper]
- 538: A.M. Koelmans and A. Yakovlev.
PNIF: An Interchange Format for System Specification with Coloured Petri
Nets, Department of Computing Science, University of Newcastle upon Tyne,
1995.
[Abstract] /
[Full (postscript) Paper]
- 539: A. Semenov, A.M. Koelmans, L. Lloyd
and A. Yakovlev. Designing an Asynchronous Processor Using Petri-Nets,
Department of Computing Science, University of Newcastle upon Tyne, 1995.
[Abstract] / [Full (postscript) Paper]
- 540: N.A. Starodoubstev, A. Yakovlev and
S.Y. Petrov. Use of VHDL Enviroment for Interactive Synthesis of
Asynchronous Circuits, Department of Computing Science, University of
Newcastle upon Tyne, 1995.
[Abstract] / [Full (postscript) Paper]
- 541: L.J. Steggles. Higher-Order
Algebra with Transfinite Types. Department of Computing Science, University
of Newcastle upon Tyne, 1995.
[Abstract] /
[Full (postscript) Paper]
- 542: A.B. Romanovsky, J. Xu and B.
Randell. Exception Handling and Resolution in Distributed Object-Oriented
Systems, Department of Computing Science, University of Newcastle upon
Tyne, 1995.
[Abstract]
Department Technical Report Series Index
Contents Page - 40 years of Computing at Newcastle
Department Technical Report Series - 1995, 27 June 1997