40 Years of Computing at Newcastle
Department Technical Report Series - 1996
- 543: F.V. Brasileiro. Constructing Fail-Controlled Nodes for Distributed Systems: A
Software Approach. Department of Computing Science, University of
Newcastle upon Tyne, 1996.
[Abstract]
- 544: M. Pakzad, J.L. Lloyd and C. Phillips. Independent Columns: A New Parallel ILU Preconditioner for the PCG Method. Department of Computing Science, University of
Newcastle upon Tyne, 1996.
[Abstract]
- 545: A. Romanovsky. Practical Exception Handling and Resolution in Concurrent Programs. Department of Computing Science, University of Newcastle upon Tyne, 1996.
[Abstract] /
[Full (postscript) Paper]
- 546: J.N. Coleman, D.J. Kinniment, F.P. Burns and A.M. Koelmans. A Self-Taught Computer Engineering Course. Department of Computing Science, University of Newcastle upon Tyne, 1996.
[Abstract] /
[Full (postscript) Paper]
- 547: M. Pietkiewicz-Koutny. Transition Systems of Elementary Net Systems with Inhibitor Arcs. Department of Computing Science, University of Newcastle upon Tyne, 1996.
[Abstract]
- 548: P. Watson, M. Ward and K. Hoyle. The System Management of the ICL GOLDRUSH Parallel Database Server. Department of Computing Science, University of Newcastle upon Tyne, 1996.
[Abstract] /
[Full (postscript) Paper]
- 549: C.M. Holt. Making Visual Languages More Effective. Department of Computing Science, University of Newcastle upon Tyne, 1996.
[Abstract] /
[Full (postscript) Paper]
- 550: A.J. Lait and B. Randell. An Assessment of Name Matching Algorithms. Department of Computing Science, University of Newcastle upon Tyne, 1996.
[Abstract]
- 551: L.J. Steggles and M. Wirsing. Formal Software and Hardware Development: A Case Study in the Use of CSDM, SPECTRUM and HOLCF. Department of Computing Science, University of Newcastle upon Tyne, 1996.
[Abstract]
- 552: M. Hesketh. On Synthesis of Box Expressions from Petri Boxes. Department of Computing Science, University of Newcastle upon Tyne, 1996.
[Abstract]
- 553: J. A. Smith and S.K. Shrivastava. A System for Fault-Tolerant Execution of Data and Compute Intensive Programs Over a Network of Workstations. Department of Computing Science, University of Newcastle upon Tyne, 1996.
[Abstract] /
[Full (postscript) Paper]
- 554: M. Heather and B.N. Rossiter. Formal Representation of the Logic Embedded in Legal Language. Department of Computing Science, University of Newcastle upon Tyne, 1996.
[Abstract]
- 555: M. Heather and B.N. Rossiter. Standards for Assured Legacy Systems. Department of Computing Science, University of Newcastle upon Tyne, 1996.
[Abstract]
- 556: Z. H. Duan An Extended Interval Temporal Logic and a Framing Technique for Temporal Logic Programming. Department of Computing Science, University of Newcastle upon Tyne, 1996.
[Abstract]
- 557: A. Calsavara and S.K. Shrivastava. A Toolkit for Constructing Distributed Object-Oriented Metainformation Systems. Department of Computing Science, University of Newcastle upon Tyne, 1996.
[Abstract]
- 558: H. Blair, S.J. Caughey, H. Green and S.K. Shrivastava. Structuring Call Control Software Using Distributed Objects. Department of Computing Science, University of Newcastle upon Tyne, 1996.
[Abstract]
- 559: K. Meinke and L.J. Steggles Correctness of Dataflow and Systolic Algorithms: Case Studies in Higher-Order Algebra. Department of Computing Science, University of Newcastle upon Tyne, 1996.
[Abstract]
- 560: A. Romanovsky. Atomic Actions Based on Distributed/Concurrent Exception Resolution. Department of Computing Science, University of Newcastle upon Tyne, 1996.
[Abstract] /
[Full (postscript) Paper]
Department Technical Report Series Index
Contents Page - 40 years of Computing at Newcastle
Department Technical Report Series - 1996, 27 June 1997