Newcastle University

Technical Reports

Year: 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 2003 2002 2001 2000 1999 1998 1997 1996 1995 1994 1993 1992 1991 1990 1989 1988 1987 1986 1985 1984 1983 1982 1981 1980 1979 1978 1977 1976 1975 1974 1973 1972 1971 1970 1969

• Romanovsky A, Xu J, Randell B. Exception Handling and Resolution in Distributed Object-Oriented Systems. Department of Computing Science. 1995. Department of Computing Science Technical Report Series 542 (download PDF).
• Steggles LJ. Higher-Order Algebra with Transfinite Types. Department of Computing Science. 1995. Department of Computing Science Technical Report Series 541 (download PDF).
• Starodoubstev NA, Yakovlev A, Petrov SY. Use of VHDL Enviroment for Interactive Synthesis of Asynchronous Circuits. Department of Computing Science. 1995. Department of Computing Science Technical Report Series 540 (download PDF).
• Semenov A, Koelmans AM, Lloyd L, Yakovlev A. Designing an Asynchronous Processor Using Petri-Nets. Department of Computing Science. 1995. Department of Computing Science Technical Report Series 539 (download PDF).
• Koelmans AM, Yakovlev A, Kinniment DJ, Xu Y. PNIF: An Interchange Format for System Specification with Coloured Petri Nets. Department of Computing Science. 1995. Department of Computing Science Technical Report Series 538 (download PDF).
• Low KS, Yakovlev A. Token Ring Arbiters: An Excercise in Asynchronous Logic Design with Petri-Nets. Department of Computing Science. 1995. Department of Computing Science Technical Report Series 537 (download PDF).
• Holt, C.M.Comparing Visual and Textual Languages. Department of Computing Science. 1995. Department of Computing Science Technical Report Series 536 (download PDF).
• Wu Z, Stroud RJ. Using Metaobject Protocols to Structure Operating Systems. Department of Computing Science. 1995. Department of Computing Science Technical Report Series 535 (download PDF).
• Burnett R, Anderson T. Trade-Off Between Cost and Reliability During the Design Phase. Department of Computing Science. 1995. Department of Computing Science Technical Report Series 534 (download PDF).
• Stroud RJ, Wu Z. Using Metaobject Protocols to Satisfy Non-Functional Requirements. Department of Computing Science. 1995. Department of Computing Science Technical Report Series 533 (download PDF).
• D.A. Nelson and B.N. Rossiter. Prototyping a Formal Object-Oriented Database in P/FDM. Department of Computing Science. 1995. Department of Computing Science Technical Report Series 532 (download PDF).
• M.A. Heather and B.N. Rossiter. Geometric Theory of Machine Awareness for Legal Information Retrieval and Reasoning. Department of Computing Science. 1995. Department of Computing Science Technical Report Series 531 (download PDF).
• C.M Holt. Language Spaces. Department of Computing Science. 1995. Department of Computing Science Technical Report Series 530 (download PDF).
• Holt, C.M.Programing Within VR. Department of Computing Science. 1995. Department of Computing Science Technical Report Series 529 (download PDF).
• Pietkiewicz-Koutny M, Yakovlev A. Non-Pure Nets and Their Transition Systems. Department of Computing Science. 1995. Department of Computing Science Technical Report Series 528 (download PDF).
• Thomas N, Mitrani I. Routing Among Servers with Breakdowns and Retained Queues. Department of Computing Science. 1995. Department of Computing Science Technical Report Series 527 (download PDF).
• L. Rapanotti and G.M. Megson. A Class of Dynamic Data Dependencies and Their Localisation. Department of Computing Science. 1995. Department of Computing Science Technical Report Series 526 (download PDF).
• J.W. Harley. Dataflow Development of Medium-Grained Parallel Software. Department of Computing Science. 1995. Department of Computing Science Technical Report Series 525 (download PDF).
• R.J. de A. Macedo. Fault-Tolerant Group Communication Protocols for Asynchronous Systems. Department of Computing Science. 1995. Department of Computing Science Technical Report Series 524 (download PDF).
• L.E. Buzato. Management of Object-Oriented Action Based Distributed Programs. Department of Computing Science. 1995. Department of Computing Science Technical Report Series 523 (download PDF).
• Yakovlev A. Designing Control Logic for Counterflow Pipeline Processor Using Petri Nets. Department of Computing Science. 1995. Department of Computing Science Technical Report Series 522 (download PDF).
• R.C Sugden and M.R. Strens. Change Handling Criteria for the Assessment of Requirements and Design Methods. Department of Computing Science. 1995. Department of Computing Science Technical Report Series 521 (download PDF).
• M.R. Strens and R.C. Sugden. Criteria for the Assessment of Representation Methods as Vehicles for Handling Change. Department of Computing Science. 1995. Department of Computing Science Technical Report Series 520 (download PDF).
• Wu Z, Stroud RJ, Moody K, Bacon J. The Design and Implementation of a Distributed Transaction System Based on Atomic Data Types. Department of Computing Science. 1995. Department of Computing Science Technical Report Series 519 (download PDF).
• Wu Z, Stroud RJ, Moody K, Bacon J. Data Consistency in a Distributed Persistent Object System. Department of Computing Science. 1995. Department of Computing Science Technical Report Series 518 (download PDF).
• Fabre J-C, Nicomette V, Perenou T, Stroud RJ, Wu Z. Implementing Fault Tolerant Applications Using Reflective Object-Oriented Programming. Department of Computing Science. 1995. Department of Computing Science Technical Report Series 517 (download PDF).
• Semenov A, Yakovlev A, Anisimov N. Specification and Verification of a Self-Timed Token Ring Protocol. Department of Computing Science. 1995. Department of Computing Science Technical Report Series 516 (download PDF).
• Xu J, Randell B. Responsive Roll-Forward Recovery in Embedded Real-Time Systems. Department of Computing Science. 1995. Department of Computing Science Technical Report Series 515 (download PDF).
• Yakovlev A, Koelmans AM, Semenov A, Kinniment DJ. Modelling, Analysis and Synthesis of Asynchronous Control Circuits Using Petri Nets. Department of Computing Science. 1995. Department of Computing Science Technical Report Series 514 (download PDF).
• Stroud RJ, Wu Z. Using Meta-Objects to Adapt a Persistent Object System to Meet Application Needs. Department of Computing Science. 1995. Department of Computing Science Technical Report Series 513 (download PDF).
• Stroud RJ, Wu Z. Using Meta-Object Protocols to Implement Atomic Data Types. Department of Computing Science. 1995. Department of Computing Science Technical Report Series 512 (download PDF).
• D.A. Nelson and B.N. Rossiter. Suitability of Programing Languages for Categorical Databases. Department of Computing Science. 1995. Department of Computing Science Technical Report Series 511 (download PDF).
• G.D. Parrington. A Stub Generation System for C++. Department of Computing Science. 1995. Department of Computing Science Technical Report Series 510 (download PDF).
• Parrington GD, Shrivastava SK, Wheater SM, Little MC. The Design and Implementation of Arjuna. Department of Computing Science. 1995. Department of Computing Science Technical Report Series 509 (download PDF).
• Cho G, Marshall LF. An Efficient Location and Routing Scheme for Mobile Computing Environments. Department of Computing Science. 1995. Department of Computing Science Technical Report Series 508 (download PDF).
• Xu J, Randell B, Romanovsky A, Rubira-Calsavara CMF, Stroud RJ, Wu Z. Fault Tolerance in Concurrent Object-Oriented Software Through Co-ordinated Error Recovery. Department of Computing Science. 1995. Department of Computing Science Technical Report Series 507 (download PDF).
• X. Chen and G.M. Megson. Automatic Parallel Code Generation for Given Arrays. (Part 2: Practice and Results). Department of Computing Science. 1995. Department of Computing Science Technical Report Series 506 (download PDF).
• 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. 1995. Department of Computing Science Technical Report Series 505 (download PDF).
• R. de Lemos, R. Fields and A. Saeed. Analysis of Safety Requirements in the Context of System Faults and Human Errors. Department of Computing Science. 1995. Department of Computing Science Technical Report Series 504 (download PDF).
• de Lemos R, Saeed A, Anderson T. Formal Techniques for Requirements Analysys for Safety-Critical Systems. Department of Computing Science. 1995. Department of Computing Science Technical Report Series 503 (download PDF).
• Chen, X. and G.M. Megson. Automatic Parallel Code Generation for Given Arrays. Department of Computing Science. 1995. Department of Computing Science Technical Report Series 502 (download PDF).
• Semenov A, Yakovlev A. Combining Partial Orders and Symbolic Traversal for Eficient Verification of Asynchronous Circuits. Department of Computing Science. 1995. Department of Computing Science Technical Report Series 501 (download PDF).
• Koutny M, Pietkiewicz-Koutny M. On the Sleep Sets Method for Partial Order Verification of Concurrent Systems. Department of Computing Science. 1995. Department of Computing Science Technical Report Series 495 (download PDF).