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

• M.J. Kim, D.A. Nelson and B.N. Rossiter. Evaluation of the Object-relational dbms. Department of Computing Science. 1994. Department of Computing Science Technical Report Series 500 (download PDF).
• J. Xu, F. Giandomenico and A. Bondavalli. Adaptive Architectures for Hybrid Fault Tolerance in Distributed Computing Systems. Department of Computing Science. 1994. Department of Computing Science Technical Report Series 499 (download PDF).
• Xu J, Randell B, Rubira-Calsavara CMF, Stroud RJ. Software Fault-tolerance: Towards an Object-oriented Approach. Department of Computing Science. 1994. Department of Computing Science Technical Report Series 498 (download PDF).
• A.J.C. Blyth. Modelling and Eliciting Organisational and Information System Requirements for Medical Information Systems. Department of Computing Science. 1994. Department of Computing Science Technical Report Series 497 (download PDF).
• Lee PA, Stroud RJ. C++ As an Introductory Programming Language. Department of Computing Science. 1994. Department of Computing Science Technical Report Series 496 (download PDF).
• A.J.C. Blyth and J. Chudge. Modelling Organisational Behaviour using Social and Linguistic Constructs. Department of Computing Science. 1994. Department of Computing Science Technical Report Series 494 (download PDF).
• de Lemos R, Saeed A, Anderson T. On the Safety Analysis of Requirements Specifications. Department of Computing Science. 1994. Department of Computing Science Technical Report Series 493 (download PDF).
• L. Rapanotti and G.M. Megson. Mapping Integral Recurrences onto Regular Arrays. Department of Computing Science. 1994. Department of Computing Science Technical Report Series 492 (download PDF).
• Koutny M, Mancini LV, Pappalardo G. Two Implementation Relations and the Correctness of Communicating Replicated Processes. Department of Computing Science. 1994. Department of Computing Science Technical Report Series 491 (download PDF).
• Kaya D, Wright K. Parallel Algorithms for Reduction of a General Matrix to Upper Hessenberg form on a Shared Memory Multiprocessor. Department of Computing Science. 1994. Department of Computing Science Technical Report Series 490 (download PDF).
• Bicarregui JC, Fitzgerald JS, Moore R, Ritchie B. Proof in VDM: Reader's Notes. Department of Computing Science. 1994. Department of Computing Science Technical Report Series 489 (download PDF).
• D.A. Nelson, B.N. Rossiter and M.A. Heather. The Functorial Data Model - An Extension to Functional Databases. Department of Computing Science. 1994. Department of Computing Science Technical Report Series 488 (download PDF).
• Semenov A, Yakovlev A. Event-based Framework for Verifying High-level Models of Asynchronous Circuits. Department of Computing Science. 1994. Department of Computing Science Technical Report Series 487 (download PDF).
• G.M. Megson and X. Chen. Synthesis of Knapsack Problems into Fixed Size Arrays with Lower Dimensions. Department of Computing Science. 1994. Department of Computing Science Technical Report Series 486 (download PDF).
• Banatre M, Gefflaut A, Joubert P, Morin C, Lee PA. An Architecture for Tolerating Processor Failures in Shared-memory Multiprocessors. Department of Computing Science. 1994. Department of Computing Science Technical Report Series 485 (download PDF).
• de Lemos R, Saeed A, Anderson T. An Approach for the Risk Analysis of Safety Specifications. Department of Computing Science. 1994. Department of Computing Science Technical Report Series 484 (download PDF).
• Holt, C.M.An Algebra of Lines and Boxes. Department of Computing Science. 1994. Department of Computing Science Technical Report Series 483 (download PDF).
• Holt, C.M.Program Verification in a Visual Language. Department of Computing Science. 1994. Department of Computing Science Technical Report Series 482 (download PDF).
• Xu, J.Sequentially T-diagnosable Systems. Department of Computing Science. 1994. Department of Computing Science Technical Report Series 481 (download PDF).
• Robertson, C. and Megson, G.M.Scene Analysis - A Brief Survey. Department of Computing Science. 1994. Department of Computing Science Technical Report Series 480 (download PDF).
• Randell B, Xu J. Recovery Blocks. Department of Computing Science. 1994. Department of Computing Science Technical Report Series 479 (download PDF).
• Rapanotti, L. and Megson, G.M.Uniformisation Techniques for Integral Recurrence Equations. Department of Computing Science. 1994. Department of Computing Science Technical Report Series 478 (download PDF).
• Burnett R, Anderson T. Reliability Allocation for a System Using Markov Analysis. Department of Computing Science. 1994. Department of Computing Science Technical Report Series 477 (download PDF).
• Heather, M.A. and Rossiter, B.N.Category Theory: The Mathematics for the Humanities ?. Department of Computing Science. 1994. Department of Computing Science Technical Report Series 476 (download PDF).
• Romanovsky A, Strigini L. Implementation of Conversations in the Conventional Ada. Department of Computing Science. 1994. Department of Computing Science Technical Report Series 475 (download PDF).
• Cho G, Marshall LF. A Multicast Service for Mobile Computing. Department of Computing Science. 1994. Department of Computing Science Technical Report Series 474 (download PDF).
• Cook, R. and Phillips, C.A Reformulated Preconditioned Conjugate Gradient Square Method Part 1: The Algorithm. Department of Computing Science. 1994. Department of Computing Science Technical Report Series 473 (download PDF).
• Little MC, McCue DL. The Replica Management System: A Scheme for Flexible and Dynamic Replication. Department of Computing Science. 1994. Department of Computing Science Technical Report Series 472 (download PDF).
• Rapanotti, L. and Megson, G.M.Pre-Processing in SADE: Stage III. Department of Computing Science. 1994. Department of Computing Science Technical Report Series 471 (download PDF).
• Heather, M.A. and Rossiter, B.N.Representing Legal Norms with the Pullback Functor f*. Department of Computing Science. 1994. Department of Computing Science Technical Report Series 470 (download PDF).
• de Lemos R, Saeed A, Anderson T. Requirements Analysis for Safety-critical Systems: A Chemical Batch Processing Example. Department of Computing Science. 1994. Department of Computing Science Technical Report Series 469 (download PDF).
• de Lemos R, Saeed A, Anderson T. Formal Techniqes for Requirements Analysis for Safety-critical Systems. Department of Computing Science. 1994. Department of Computing Science Technical Report Series 468 (download PDF).
• Cook, R., Pakzad, M. and Phillips, C.Parallel Preconditioners for the Conjugate Gradient Method. Department of Computing Science. 1994. Department of Computing Science Technical Report Series 467 (download PDF).
• Aleksandrov, V.N. and Fidanova, S.2D Regular Arrays for a Special Class of Non Uniform Recurrence Equations. Department of Computing Science. 1994. Department of Computing Science Technical Report Series 462 (download PDF).
• Barrett PA, Speirs NA. Delta-4: An Open Architecture for Dependable Systems. Department of Computing Science. 1994. Department of Computing Science Technical Report Series 457 (download PDF).