40 Years of Computing at Newcastle
Department Technical Report Series - 1997
- 561: A. Romanovsky, B. Randell, R.J. Stroud, J. Xu and A. Zorzo Implementing Synchronous Co-ordinated Atomic Actions Based on Forward Error Recovery. Department of Computing Science, University of Newcastle upon Tyne, 1997.
[Abstract] /
[Full (postscript) Paper]
- 562: C. Carrión and A. Yakovlev Design and Evaluation of Two Asynchronous Token Ring Adapters Department of Computing Science, University of Newcastle upon Tyne, 1997.
[Abstract] /
[Full (postscript) Paper]
- 563: I. Mitrani and A. Yakovlev Tree Arbiter with Nearest-Neighbour Scheduling Department of Computing Science, University of Newcastle upon Tyne, 1997.
[Abstract] /
[Full (postscript) Paper]
- 564: H-D. Chu and J. Dobson FAST: A Framework for Automating Statistics-Based Testing. Department of Computing Science, University of Newcastle upon Tyne, 1997.
[Abstract] /
[Full (postscript) Paper]
- 565: A. Semenov, A. Yakovlev, E. Pastor, M.A. Pena and J. Cortadella Synthesis of Speed Independent Circuits from STG-unfolding Segment. Department of Computing Science, University of Newcastle upon Tyne, 1997.
[Abstract] /
[Full (postscript) Paper]
- 566: A. Semenov, A. Yakovlev, E. Pastor, M.A. Pena, J. Cortadella and L. Lavagno. Partial Order Based Approach to Synthesis of Speed-Independent Circuits. Department of Computing Science, University of Newcastle upon Tyne, 1997.
[Abstract] /
[Full (postscript) Paper]
- 567: S. Pearson and A. Saeed Information Structures for Traceability of Dependable Avionic Systems Department of Computing Science, University of Newcastle upon Tyne, 1997.
[Abstract] /
[Full (postscript) Paper]
- 568: R. de Lemos and J. Hall ERTL: An Extension to RTL for Requirements Analysis for Hybrid Systems Department of Computing Science, University of Newcastle upon Tyne, 1997.
[Abstract] /
[Full (postscript) Paper]
- 569: J. Wang, A. Saeed and R. de Lemos Subjective Safety Analysis of Safety Requirements Specifications Department of Computing Science, University of Newcastle upon Tyne, 1997.
[Abstract] /
[Full (postscript) Paper]
- 570: L. Lloyd An Open Question - Will the Properties of Electromigration and Thermomigration have an Adverse Effect on the Future of Asynchronous Logic Design? Department of Computing Science, University of Newcastle upon Tyne, 1997.
[Abstract] /
[Full (postscript) Paper]
- 571: N.V. Tikhomirova, I.V. Shturtz and A.B. Romanovsky Object-Oriented Approach to State Restoration by Reversion in Fault Tolerant Systems Department of Computing Science, University of Newcastle upon Tyne, 1997.
[Abstract] /
[Full (postscript) Paper]
- 572: A. Semenov and A. Yakovlev Contextual Net Unfolding and Asynchronous System Verification Department of Computing Science, University of Newcastle upon Tyne, 1997.
[Abstract] /
[Full (postscript) Paper]
- 573: L. Lloyd, A.V. Yakovlev and A.M. Koelmans A 2-Phase Asynchronous Event Driven Buffer with Completion Detection Signalling Department of Computing Science, University of Newcastle upon Tyne, 1997.
[Abstract] /
[Full (postscript) Paper]
- 574: M. Heather and B.N. Rossiter A Unifying Theory for Content Self-awareness in Distributed Multimedia Publishing Department of Computing Science, University of Newcastle upon Tyne, 1997.
[Abstract] /
[Full (postscript) Paper]
- 575: N.A. Anisimov and M. Koutny Compositional Petri Nets in Protocol Engineering Department of Computing Science, University of Newcastle upon Tyne, 1997.
[Abstract] /
[Full (postscript) Paper]
- 576: C.M. Angus Numerical Software Development with Functional Languages Department of Computing Science, University of Newcastle upon Tyne, 1997.
[Abstract] /
[Full (postscript) Paper]
- 577: C.M. Angus Constructing Configurable Applications by Combining Monads Department of Computing Science, University of Newcastle upon Tyne, 1997.
[Abstract] /
[Full (postscript) Paper]
- 578: S.M. Wheater and M.C. Little The Design and Implementation of a Framework for Configurable Software Department of Computing Science, University of Newcastle upon Tyne, 1997.
[Abstract] /
[Full (postscript) Paper]
- 579: M.C. Little and S.K. Shrivastava Using Application Specific Knowledge for Configuring Object Replicas Department of Computing Science, University of Newcastle upon Tyne, 1997.
[Abstract] /
[Full (postscript) Paper]
- 580: S. Tao Fault Injection Testing of Software Implemented Fault Tolerance Mechanisms of Distributed Systems Department of Computing Science, University of Newcastle upon Tyne, 1997.
[Abstract] /
[Copy of PhD Thesis. See note re. paper copies.]
- 581: F.V. Brasileiro, P.D. Ezhilchelvan, S.K. Shrivastava, N.A. Speirs and S. Tao Implementing Fail-Silent Nodes for Distributed Systems Department of Computing Science, University of Newcastle upon Tyne, 1997.
[Abstract] /
[Full (postscript) Paper]
- 582: P.D. Ezhilchelvan, F.V. Brasileiro and N.A. Speirs Time-out Based Message Ordering Protocols for Software Implementation of TMR Systems Department of Computing Science, University of Newcastle upon Tyne, 1997.
[Abstract] /
[Full (postscript) Paper]
- 583: H-D. Chu An Evaluation Scheme of Software Testing Techniques Department of Computing Science, University of Newcastle upon Tyne, 1997.
[Abstract] /
[Full (postscript) Paper]
- 584: H-D Chu and J.E. Dobson SITE: A Statistics-based Integrated Test Environment Department of Computing Science, University of Newcastle upon Tyne, 1997.
[Abstract] /
[Full (postscript) Paper]
- 585: M. Hesketh and M. Koutny An Axiomatisation of Duplication Equivalence in the Petri Box Calculus Department of Computing Science, University of Newcastle upon Tyne, 1997.
[Abstract] /
[Full (postscript) Paper]
- 586: A. Romanovsky, S.E. Mitchell and A.J. Wellings On Programming Atomic Actions in Ada 95 Department of Computing Science, University of Newcastle upon Tyne, 1997.
[Abstract] /
[Full (postscript) Paper]
- 587: F. Al-Harbi and B.N. Rossiter The Effect of the Iraqui Invasion on Organisations in Kuwait: A Study into Disaster Recovery Plans Department of Computing Science, University of Newcastle upon Tyne, 1997.
[Abstract] /
[Full (postscript) Paper]
- 588: R.C. Sugden and I.N. Purves Decision Support Paradigms for Prescribing in General Practice - Lessons from the PRODIGY Trials Department of Computing Science, University of Newcastle upon Tyne, 1997.
[Abstract] /
[Full (postscript) Paper]
- 589: J. Wang, A. Saeed and R. de Lemos Subjective Safety Analysis for Software Development Department of Computing Science, University of Newcastle upon Tyne, 1997.
[Abstract] /
[Full (postscript) Paper]
- 590: D.B. Ingham, M.C. Little, S.J. Caughey and S.K. Shrivastava W3Objects: Bringing Object-Oriented Technology to the Web Department of Computing Science, University of Newcastle upon Tyne, 1997.
[Abstract] /
[Full (postscript) Paper]
- 591: D.B. Ingham, S.J. Caughey and M.C. Little Fixing the "Broken-link" Problem: The W3Objects Approach Department of Computing Science, University of Newcastle upon Tyne, 1997.
[Abstract] /
[Full (postscript) Paper]
- 592: D.B. Ingham, S.J. Caughey and M.C. Little Supporting Highly Manageable Web Services Department of Computing Science, University of Newcastle upon Tyne, 1997.
[Abstract] /
[Full (postscript) Paper]
- 593: J. Xu, F. Di Giandomenico, A. Bondavalli and S. Chiaradonna Definition and Evaluation of Adaptive Fault-Tolerant Architectures in a Distributed Computing Environment Department of Computing Science, University of Newcastle upon Tyne, 1997.
[Abstract] /
[Full (postscript) Paper]
- 594: J. Xu and B. Randell The t/(n-1)-VP Approach to Fault-Tolerant Software Department of Computing Science, University of Newcastle upon Tyne, 1997.
[Abstract] /
[Full (postscript) Paper]
- 595: B. Randell, A. Romanovsky, R.J. Stroud, J. Xu and A.F. Zorzo Co-ordinated Atomic Actions: from Concept to Implementation Department of Computing Science, University of Newcastle upon Tyne, 1997.
[Abstract] /
[Full (postscript) Paper]
- 596: J. Xu, A. Romanovsky and B. Randell Co-ordinated Exception Handling in Distributed Object-Oriented Systems: Improved Algorithm, Correctness and Implementation Department of Computing Science, University of Newcastle upon Tyne, 1997.
[Abstract] /
[Full (postscript) Paper]
Department Technical Report Series Index
Contents Page - 40 years of Computing at Newcastle
Department Technical Report Series - 1997, 27 June 1997