Alkazemi, B.Y.
Exploiting the Architectural Characteristics of Software Components to Improve Software Re-use
School of Computing Science, University of Newcastle upon Tyne, 2009

Wilkinson, R.
Towards Certifiable Reconfigurable Real-time Mission Critical Software Systems
School of Computing Science, University of Newcastle upon Tyne, 2009

Slegers, J.
On Dynamic Resource Allocation in Systems with Bursty Sources
School of Computing Science, University of Newcastle upon Tyne, 2009

Banks, R. A.
Qualitatively Modelling Genetic Regulatory Networks: Petri Net Techniques and Tools
School of Computing Science, University of Newcastle upon Tyne, 2009

Mazzucco, M.
Revenue Maximization Problems in Commercial Data Centers
School of Computing Science, University of Newcastle upon Tyne, 2009

Iliasov, A. Sh.
Design Components
School of Computing Science, University of Newcastle upon Tyne, 2008

Ha, H.N.
Automatic Lighting Design
School of Computing Science, University of Newcastle upon Tyne, 2008

Coleman, J.W.
Constructing a Tractable Reasoning Framework upon a Fine-Grained Structural Operational Semantics
School of Computing Science, University of Newcastle upon Tyne, 2008

Chen, Y.
WS-Mediator for Improving Dependability of Service Composition
School of Computing Science, University of Newcastle upon Tyne, 2008

Mukherjee, A.
Exploiting Dynamic Deployment in a Distributed Query Processor for the Grid
School of Computing Science, University of Newcastle upon Tyne, 2008

Colquhoun, J.
A BitTorrent-Based Peer-to-Peer Database Server
School of Computing Science, University of Newcastle upon Tyne, 2008

Woodman, S.
A Programming System for Process Coordination in Virtual Organisations
School of Computing Science, University of Newcastle upon Tyne, 2008

Aaron, S.
A Domain Specific Language for Dynamic Interest Management within Virtual Environments
School of Computing Science, University of Newcastle upon Tyne, 2008

Cooper, D.E.
Encounter Gossip: A High Coverage Broadcast protocol for MANET
School of Computing Science, University of Newcastle upon Tyne, 2008

Ellis, M. A.
Correct Synthesis and Integration of Compiler-Generated Function Units
School of Computing Science, University of Newcastle upon Tyne, 2008

Martin, S.P.
Routing and Transfers Amongst Parallel Queues
School of Computing Science, University of Newcastle upon Tyne, 2008

Ferrari, G.
QoS Control of E-business Systems through Performance Modelling and Estimation
School of Computing Science, University of Newcastle upon Tyne, 2007

Pitsilis, G. K.
Choosing Reputable Resources in Unstructured Peer-to-Peer Networks using Trust Overlays
School of Computing Science, University of Newcastle upon Tyne, 2007

Shaw, O.J.
Modelling Bacterial Regulatory Networks with Petri Nets
School of Computing Science, University of Newcastle upon Tyne, 2007

Fowler, C.P.
Dynamic Deployment of Web Services on the Internet or Grid
School of Computing Science, University of Newcastle upon Tyne, 2007

Storey, K.
Scalable Collision Detection for Distributed Virtual Environments
School of Computing Science, University of Newcastle upon Tyne, 2007
British Lending Library DSC stock location number: DXN107710

Batarfi, O.A.
Certificate Validation in Untrusted Domains
School of Computing Science, University of Newcastle upon Tyne, 2007
British Lending Library DSC stock location number: DXN106714

Lin, N.
System Support for Client-Server Based Interactive Applications in Ad Hoc Networks
School of Computing Science, University of Newcastle upon Tyne, 2007
British Lending Library DSC stock location number: DXN109139

Parkin, S.
Monitoring Middleware for Distributed Applications
School of Computing Science, University of Newcastle upon Tyne, 2007

Di Ferdinando, A.
Design and Implementation of a QoS-Supportive System for Reliable Multicast
School of Computing Science, University of Newcastle upon Tyne, 2007

Tariq, Q.I.
Design and Performance Analysis of Fail-Signal Based Concensus Protocols for Byzantine Faults
School of Computing Science, University of Newcastle upon Tyne, 2007

Craddock, T.
Integrating distributed post-genomic data to infer the molecular basis of bacterial phenotypes
School of Computing Science, University of Newcastle upon Tyne, 2007

Arkley, P.
Benefits of Traceability in Software Development
School of Computing Science, University of Newcastle upon Tyne, 2007

Khayyambashi, M.-R.
Scalable Internet Auctions
School of Computing Science, University of Newcastle upon Tyne, 2006
British Lending Library DSC stock location number: DXN097979

Jefferson, N.
Dependable Compositions: a Formal Approach
School of Computing Science, University of Newcastle upon Tyne, 2006

Lawrie, A.T.
The Effect of Diverse Development Goals on Computer-Based System Dependability
School of Computing Science, University of Newcastle upon Tyne, 2006
British Lending Library DSC stock location number: DXN098099

Achmatowicz, R.
Combating State Explosion in the Detection of Dynamic Properties of Distributed Computations
School of Computing Science, University of Newcastle upon Tyne, 2006
British Lending Library DSC stock location number: DXN091614

Kistijantoro, A.I.
Component replication in application servers
School of Computing Science, University of Newcastle upon Tyne, 2006
British Lending Library DSC stock location number: DXN104536

Lu, F.
Middleware Services for Distributed Virtual Environments
School of Computing Science, University of Newcastle upon Tyne, 2006
British Lending Library DSC stock location number: DXN097982

Dwiartanto, J.
Exploiting Method Semantics in Client Cache Consistency Protocols for Object-oriented Databases
School of Computing Science, University of Newcastle upon Tyne, 2006
British Lending Library DSC stock location number: DXN101699

Al-Humaidan, F.M.
Evaluation and Development Models for Business Processes
School of Computing Science, University of Newcastle upon Tyne, 2006
British Lending Library DSC stock location number: DXN094959

Palmer, J. G.
Resource Allocation Policies for Service Provisioning Systems
School of Computing Science, University of Newcastle upon Tyne, 2006
British Lending Library DSC stock location number: DXN098061

Cook, N.
Middleware Support for Non-repudiable Business-to-Business Interactions
School of Computing Science, University of Newcastle upon Tyne, 2006
British Lending Library DSC stock location number: DXN104527

Peacock, T.
Guess My Vote: A Study of Opacity and Information Flow in Voting Systems
School of Computing Science, University of Newcastle upon Tyne, 2006
British Lending Library DSC stock location number: DXN102703

Robinson, P.F.
Design and Implementation of Extensible Middleware for Non-Repudiable Interactions
School of Computing Science, University of Newcastle upon Tyne, 2006
British Lending Library DSC stock location number: DXN098006

Zhang, Y.
Text Mining for Neuroscience
School of Computing Science, University of Newcastle upon Tyne, 2005

Vollset, E.W.
Design and Evaluation of Crash Tolerant Protocols for Mobile Ad-hoc Networks
School of Computing Science, University of Newcastle upon Tyne, 2005
British Lending Library DSC stock location number: DXN091618

Mpoeleng, D.
From Crash Tolerance to Byzantine Tolerance: Fail Signalling Dependable Distributed Systems
School of Computing Science, University of Newcastle upon Tyne, 2005
British Lending Library DSC stock location number: DXN084205

Niaouris, A.
An algebra of Petri nets with arc-based timing restrictions
School of Computing Science, University of Newcastle upon Tyne, 2005
British Lending Library DSC stock location number: DXN098097

Owen, D.J.
Incorporating faults and fault-tolerance into real-time networks: a graph-transformational approach
School of Computing Science, University of Newcastle upon Tyne, 2005

Henderson, N.
Formal Modelling and Analysis of an Asynchronous Communication Mechanism
School of Computing Science, University of Newcastle upon Tyne, 2005
British Lending Library DSC stock location number: DXN084176

Slegers, J.A.L.
On stochastic work preservation and completion time in a loss and repair environment
Faculty of Applied Mathematics, University of Twente, 2005

Alfuraih, S.I.
E-Commerce Protocol Supporting Automated Online Dispute Resolution
School of Computing Science, University of Newcastle upon Tyne, 2005
British Lending Library DSC stock location number: DX234128

Wang, B.
Metadata Based Approach to E-Marketing Intelligence
School of Computing Science, University of Newcastle upon Tyne, 2004

Coleman, J.W.
Features of BPEL Modelled via Structural Operational Semantics
School of Computing Science, University of Newcastle upon Tyne, 2004

Burton, J.
The Theory and Practice of Refinement-After-Hiding
School of Computing Science, University of Newcastle upon Tyne, 2004
British Lending Library DSC stock location number: DXN073281

Solaiman, E.
Contract Representation for Validation and Run Time Monitoring
School of Computing Science, University of Newcastle upon Tyne, 2004
British Lending Library DSC stock location number: DXN071504

Aljareh, S.S.
Security Management for Services that are integrated across Enterprise Boundaries
School of Computing Science, University of Newcastle upon Tyne, 2004
British Lending Library DSC stock location number: DXN076575

Alessandri, D.
Attack-Class-Based Analysis of Intrusion Detection Systems
School of Computing Science, University of Newcastle upon Tyne, 2004
British Lending Library DSC stock location number: DX228960

Welch, I.S.
Using a Loadtime Metaobject Protocol to Enforce Access Control Policies upon User-Level Compiled Code
School of Computing Science, University of Newcastle upon Tyne, 2004
British Lending Library DSC stock location number: DXN088777

Khomenko, V.
Model Checking Based on Prefixes of Petri Net Unfoldings.
School of Computing Science, University of Newcastle upon Tyne, 2003
British Lending Library DSC stock location number: DXN061636

Zamli, K.Z.
Supporting Software Processes for Distributed Software Engineering Teams
School of Computing Science, University of Newcastle upon Tyne, 2003
British Lending Library DSC stock location number: DXN067582

Rischbeck, T.
Managing Active Object Scalability on Distributed Memory, With a Case Study in Parallel VRML
School of Computing Science, University of Newcastle upon Tyne, 2003
British Lending Library DSC stock location number: DXN061641

Eldresi, F.Y.M.
NeuroSearch: a Search Engine Specialised for Neuroscience Webpages
School of Computing Science, University of Newcastle upon Tyne, 2003

Sala-Oliveras, C.
Suggestions for the Development of Software
Department of Computing Science, University of Newcastle upon Tyne, 2002

Nasseef, O.A.
The Usage of MIS Applications to Raise the Efficiency and Peformance of the Telecommunications Services in the Kingdom of Saudi Arabia.
School of Management, University of Newcastle upon Tyne, 2002
British Lending Library DSC stock location number: DXN054243

Mason, P.A.J.
MATrA: Meta-modelling Approach to Traceability for Avionics.
Department of Computing Science, University of Newcastle upon Tyne, 2002
British Lending Library DSC stock location number: DXN091349

Pietschker, A.
Automated Test Generation from Algebraic Specifications.
Department of Computing Science, University of Newcastle upon Tyne, 2002
British Lending Library DSC stock location number: DXN054206

Hermansyah, E.
An Investigation of Collocation Algorithms for Solving Boundary Value Problems System of ODEs.
Department of Computing Science, University of Newcastle upon Tyne, 2001
British Lending Library DSC stock location number: DXN045408

Arief, L.B.
A Framework for Supporting Automatic Simulation Generation from Design.
Department of Computing Science, University of Newcastle upon Tyne, 2001
British Lending Library DSC stock location number: DXN044320

Kendall, D.
Formal Modelling and Analysis of Broadcasting Embedded Control Systems.
Department of Computing Science, University of Newcastle upon Tyne, 2001
British Lending Library DSC stock location number: DXN044357

Molina-Jiménez, C.
Anonymous and Confidential Communication using PDAs.
Department of Computing Science, University of Newcastle upon Tyne, 2000
British Lending Library DSC stock location number: DXN036960

McGough, A.S.
Parallel simulations using recurrence relations and relaxation.
Department of Computing Science, University of Newcastle upon Tyne, 2000
British Lending Library DSC stock location number: DXN041060

Pietkiewicz-Koutny, M.
Relating Formal Models of Concurrency for the Modelling of Asynchronous Digital Hardware.
Department of Computing Science, University of Newcastle upon Tyne, 2000
British Lending Library DSC stock location number: DXN036976

Webber, J.
Visual Object-Oriented Development of Parallel Applications
Department of Computing Science, University of Newcastle upon Tyne, 2000
British Lending Library DSC stock location number: DXN037997

Periorellis, P.
Dynamic Enterprise Modelling: A Methodology for Animating Dynamic Social Networks.
Department of Computing Science, University of Newcastle upon Tyne, 2000
British Lending Library DSC stock location number: DXN 042251

Parastatidis, S.
Run-Time Support for Parallel Object-Oriented Computing: The NIP Lazy Task Creation Technique and the NIP Object-based Software Distributed Shared Memory.
Department of Computing Science, University of Newcastle upon Tyne, 2000
British Lending Library DSC stock location number: DXN038005

Xu, J.
Fault-Tolerant Software: Dependability/Performance Trade-Offs, Concurrency and System Support.
Department of Computing Science, University of Newcastle upon Tyne, 1999
British Lending Library DSC stock location number: DXN029087

Morgan, G.
A Middleware Service for Fault-Tolerant Group Communications.
Department of Computing Science, University of Newcastle upon Tyne, 1999
British Lending Library DSC stock location number: DX211761

Angus, C.
Large Scale Numerical Software Development Using Functional Languages.
Department of Computing Science, University of Newcastle upon Tyne, 1998
British Lending Library DSC stock location number: DXN020733

Hesketh, M.
Synthesis and Axiomatisation for Structural Equivalences in the Petri Box calculus.
Department of Computing Science, University of Newcastle upon Tyne, 1998
British Lending Library DSC stock location number: DXN023004

Barcellos, A.M.P.
PRMP: A Scalable Polling-based Reliable Multicast Protocol.
Department of Computing Science, University of Newcastle upon Tyne, 1998
British Lending Library DSC stock location number: DXN019906

Semenov, A.
Verification and Synthesis of Asynchronous Control Circuits Using Petri Net Unfoldings.
Department of Computing Science, University of Newcastle upon Tyne, 1998
British Lending Library DSC stock location number: DX217617

Chu, H.D.
Towards Quality Programming in the Automated Testing of Distributed Applications.
Department of Computing Science, University of Newcastle upon Tyne, 1998
British Lending Library DSC stock location number: DXN020729

Robertson, C.
Image Categorisation Using Parallel Network Constructs: An Emulation of Early Human Colour Processing and Context Evaluation.
Department of Computing Science, University of Newcastle upon Tyne, 1998
British Lending Library DSC stock location number: DXN016993

Nelson, D.A.
To Formalise and Implement a Categorical Object-Relational Database System.
Department of Computing Science, University of Newcastle upon Tyne, 1998
British Lending Library DSC stock location number: DXN025924

Ranno, F.
A Language and Tool Kit for the Specification, Execution and Monitoring of Dependable Distributed Applications.
Department of Computing Science, University of Newcastle upon Tyne, 1998
British Lending Library DSC stock location number: DXN025928

Iqbal, R.
Shape-Preserving Algorithms for Curve and Surface Design.
Department of Computing Science, University of Newcastle upon Tyne, 1998
British Lending Library DSC stock location number: DXN019746

Smith, J.
Fault-Tolerant Parallel Applications Using a Network of Workstations.
Department of Computing Science, University of Newcastle upon Tyne, 1997
British Lending Library DSC stock location number: DXN015493

Thomas, N.A.
Performance and Reliability in Distributed Systems.
Department of Computing Science, University of Newcastle upon Tyne, 1997
British Lending Library DSC stock location number: DX202818

Misra, M.
Performance Modelling of Replication Protocols.
Department of Computing Science, University of Newcastle upon Tyne, 1997
British Lending Library DSC stock location number: DX202817

Allen, R.S.
A Graphical System for Parallel Software Development.
Department of Computing Science, University of Newcastle upon Tyne, 1997
British Lending Library DSC stock location number: DXN012850

Al-Harbi, F.
Development of A Methodology and An Expert System for Disaster Recovery.
Department of Computing Science, University of Newcastle upon Tyne, 1997
British Lending Library DSC stock location number: DX204773

Rapanotti, L.
On the Synthesis of Integral and Dynamic Recurrences.
Department of Computing Science, University of Newcastle upon Tyne, 1996
British Lending Library DSC stock location number: DX189874

Tao, S.
Fault Injection Testing of Software Implemented Fault Tolerance Mechanisms of Distributed Systems.
Department of Computing Science, University of Newcastle upon Tyne, 1996
British Lending Library DSC stock location number: DXN007839

Hodge, D.R.
Dependability and the Management of Large Distributed Systems.
Department of Computing Science, University of Newcastle upon Tyne, 1996
British Lending Library DSC stock location number: DXN008487

Hall, J.G.
An Algebra of High Level Petri Nets.
Department of Computing Science, University of Newcastle upon Tyne, 1996
British Lending Library DSC stock location number: DXN007842

Duan, Z.
An Extended Interval Temporal Logic and a Framing Technique for Temporal Logic Programming.
Department of Computing Science, University of Newcastle upon Tyne, 1996
British Lending Library DSC stock location number: DXN025437

Calsavara, A.
Constructing Highly-Available Distributed Metainformation Systems.
Department of Computing Science, University of Newcastle upon Tyne, 1996
British Lending Library DSC stock location number: DXN005726

Blyth, A.J.C.
Enterprise modelling and Its Application To Organisational Requirements, Capture and Definition.
Department of Computing Science, University of Newcastle upon Tyne, 1995
British Lending Library DSC stock location number: DX188286

Burnett, R.C.
A Trade-off Model Between Cost and Reliability During the Design Phase of Software Development.
Department of Computing Science, University of Newcastle upon Tyne, 1995
British Lending Library DSC stock location number: DX188675

Brasileiro, F.V.
Constructing Fail-Controlled Nodes For Distributed Systems: A Software Approach.
Department of Computing Science, University of Newcastle upon Tyne, 1995
British Lending Library DSC stock location number: DX185900

Koelmans, A.
STRICT: A language and tool set for the design of Very Large Scale Integrated Circuits.
Department of Computing Science, University of Newcastle upon Tyne, 1995
British Lending Library DSC stock location number: DXN008267

Pappalardo, G.
Specification and Verification Issues in a Process Language.
Department of Computing Science, University of Newcastle upon Tyne, 1995
British Lending Library DSC stock location number: DXN025441

Kaya, D.
Parallel Algorithms For Numerical Linear Algebra on a Shared Memory Multiprocessor.
Department of Computing Science, University of Newcastle upon Tyne, 1995
British Lending Library DSC stock location number: DX187252

Pakzad, M.
Parallel Implementation of the Finite Element Method on Shared Memory Multiprocessors.
Department of Computing Science, University of Newcastle upon Tyne, 1995
British Lending Library DSC stock location number: DX188276

Chakka, R.
Performance and Reliability Modelling of Computing Systems Using Spectral Expansion.
Department of Computing Science, University of Newcastle upon Tyne, 1995
British Lending Library DSC stock location number: DX188306

Chen, X.
Automatic Parallelisation for a Class of URE Problems.
Department of Computing Science, University of Newcastle upon Tyne, 1995
British Lending Library DSC stock location number: DX188925

Cho, G.H
Location and Routing Optimisation Protocols Supporting Internet Host Mobility.
Department of Computing Science, University of Newcastle upon Tyne, 1995
British Lending Library DSC stock location number: DX189783

Macedo, R.J.A.
Fault-Tolerant Group Communication Protocols For Asynchronous Systems.
Department of Computing Science, University of Newcastle upon Tyne, 1994
British Lending Library DSC stock location number: DX182594

Rubira, C.M.F.
Structuring Fault-Tolerant Object-Oriented Systems Using Inheritance and Delegation.
Department of Computing Science, University of Newcastle upon Tyne, 1994
British Lending Library DSC stock location number: DX182591

Eyoh, E.O.
Exploiting Parallelism in n-D Convex Hull Algorithms.
Department of Computing Science, University of Newcastle upon Tyne, 1994

Buzato, L.E.
Management of Object-Oriented Action-Based Distributed Programs.
Department of Computing Science, University of Newcastle upon Tyne, 1994
British Lending Library DSC stock location number: DX182602

Danish, T.Y.
A Knowledge-Based Decision Support System For Computer Disaster Prevention In IT Centres.
Department of Computing Science, University of Newcastle upon Tyne, 1994
British Lending Library DSC stock location number: DX183365

de Lemos, R.
A Methodology For The Requirements Analysis of Critical Real-Time Systems.
Department of Computing Science, University of Newcastle upon Tyne, 1994
British Lending Library DSC stock location number: DX182590

van Moorsel, A.
Performability Evaluation Concepts and Techniques
Computer Science Department, Universiteit Twente, 1993

Harley, J.W.
Dataflow Development of Medium-Grained Parallel Software.
Department of Computing Science, University of Newcastle upon Tyne, 1993
British Lending Library DSC stock location number: DX177266

Paynter, S.E.
The Formalisation of Software Development Using MASCOT
Mathematics Department, University of Southampton, 1993
British Lending Library DSC stock location number: DX178950

McCue, D.L.
Selective Transparency in Distributed Transaction Processing.
Department of Computing Science, University of Newcastle upon Tyne, 1992
British Lending Library DSC stock location number: DX181536

Locksley, H.W.
Indirect Methods for the Numerical Solution of Ordinary Linear Boundary Value Problems.
Department of Computing Science, University of Newcastle upon Tyne, 1992
British Lending Library DSC stock location number: DX182830

Waterworth, A.
Replication and Fault-Tolerance in Real-Time Systems.
Department of Computing Science, University of Newcastle upon Tyne, 1992
British Lending Library DSC stock location number: DX173176

Khallaf, N.S.
Error Estimation Techniques for the Numerical Solution of First and Second Order Differential Equation
Computing Laboratory, University of Newcastle upon Tyne, 1991

Little, M.C.
Object Replication in a Distributed System.
Department of Computing Science, University of Newcastle upon Tyne, 1991
British Lending Library DSC stock location number: DX173035

Capretz, L.F.
Object-Oriented Design Methodologies for Software Systems.
Department of Computing Science, University of Newcastle upon Tyne, 1991
British Lending Library DSC stock location number: DX172632

Stoker, M.A.
The Exploitation of Parallelism on Shared Memory Multiprocessors.
Department of Computing Science, University of Newcastle upon Tyne, 1990
British Lending Library DSC stock location number: DX172518

Tully, A.
Preventing State Divergence in Replicated Distributed Systems.
Department of Computing Science, University of Newcastle upon Tyne, 1990
British Lending Library DSC stock location number: DX172721

Song, D.H.
An Accurate Prefetching Policy For Object Oriented Systems.
Department of Computing Science, University of Newcastle upon Tyne, 1990
British Lending Library DSC stock location number: DX172710

Wheater, S.M.
Constructing Reliable Distributed Applications Using Actions and Objects.
Department of Computing Science, University of Newcastle upon Tyne, 1990
British Lending Library DSC stock location number: DX93798

Saeed, A.
A Framework For The Requirements Analysis of Safety-Critical Computing Systems.
Department of Computing Science, University of Newcastle upon Tyne, 1990
British Lending Library DSC stock location number: DX172697

Eakins, J.P.
Design and Evaluation of a Shape Retrieval System.
Department of Computing Science, University of Newcastle upon Tyne, 1990
British Lending Library DSC stock location number: DX172657

Garnsworthy, J.R.
Fundamental Concepts For Fault Tolerant Systems.
Department of Computing Science, University of Newcastle upon Tyne, 1990
British Lending Library DSC stock location number: DX89679

Weaver, I. C.
Architectural soup: A proposed very general purpose computer
Department of Computing Science, University of Newcastle upon Tyne, 1989
British Lending Library DSC stock location number: DX89960

Mancini, L.V.
Reliability Issues in the Design of Distributed Object-Based Architectures.
Department of Computing Science, University of Newcastle upon Tyne, 1989
British Lending Library DSC stock location number: DX188856

Ezhilchelvan, P.D.
Design and Development of Algorithms For Fault Tolerant Distributed Systems.
Department of Computing Science, University of Newcastle upon Tyne, 1989
British Lending Library DSC stock location number: DX88807

Parrington, G.D.
Management of Concurrency in a Reliable Object-Orientated Computing System.
Department of Computing Science, University of Newcastle upon Tyne, 1988
British Lending Library DSC stock location number: DX84901

Dixon, G.N.
Object Management For Persistence and Recoverability.
Department of Computing Science, University of Newcastle upon Tyne, 1988
British Lending Library DSC stock location number: DX84867

Brown, A.W.
A View Mechanism For An Integrated Project Support Environment.
Department of Computing Science, University of Newcastle upon Tyne, 1988
British Lending Library DSC stock location number: DX82249

Mundy, D.H.
Decentralised Control Flow: A Computational Model for Distributed Systems.
Department of Computing Science, University of Newcastle upon Tyne, 1988
British Lending Library DSC stock location number: DX82851

Wiseman, S.R.
Garbage Collection in Distributed Systems.
Department of Computing Science, University of Newcastle upon Tyne, 1988
British Lending Library DSC stock location number: DX85777

Stroud, R.J.
Naming Issues in the Design of Transparently Distributed Operating Systems.
Department of Computing Science, University of Newcastle upon Tyne, 1987
British Lending Library DSC stock location number: DX80202

Afzal, T.M.
Load Sharing In Distributed Computer Systems.
Department of Computing Science, University of Newcastle upon Tyne, 1987
British Lending Library DSC stock location number: DX80193

Hughes, L.
Multicast Communications in Distributed Systems.
Department of Computing Science, University of Newcastle upon Tyne, 1986
British Lending Library DSC stock location number: D73028/87

Lynch, M.A.
Algorithm to Layout (ATL) Systems For VLSI Design.
Department of Computing Science, University of Newcastle upon Tyne, 1986
British Lending Library DSC stock location number: D68740/86

Rothwell, N.J.
The Generation of Concurrent Code for Declarative Languages.
Department of Computing Science, University of Newcastle upon Tyne, 1986
British Lending Library DSC stock location number: DX80955

Panzieri, F.
Design and Development of Communication Protocols For Local Area Networks.
Department of Computing Science, University of Newcastle upon Tyne, 1985
British Lending Library DSC stock location number: D65601/86

Bettess, J.A.
Efficient Methods for the Solution of Boundary Integral Matrix Equations.
Department of Computing Science, University of Newcastle upon Tyne, 1985

Bull, M.A.
The Problems of Data Base Designs for Microcomputers.
Department of Computing Science, University of Newcastle upon Tyne, 1985

Brownbridge, D.R.
Recursive Structures in Computer Systems.
Department of Computing Science, University of Newcastle upon Tyne, 1984
British Lending Library DSC stock location number: D54851/85

Anyanwu, J.A
Robust Data Storage In a Network of Computer Systems.
Department of Computing Science, University of Newcastle upon Tyne, 1984
British Lending Library DSC stock location number: D55279/85

Seleman, A.H.
An Investigation of MESH Selection Algorithms in the Numerical Solution of Boundary Value Problems By Piecewise Polynomial Collocation Method.
Department of Computing Science, University of Newcastle upon Tyne, 1984
British Lending Library DSC stock location number: D54062/85

Lima, I.G.
Programming Decentralised Computers.
Department of Computing Science, University of Newcastle upon Tyne, 1984
British Lending Library DSC stock location number: D54057/85

Millichamp, R.C.
Computer Architecture for Functional and Logic Languages.
Department of Computing Science, University of Newcastle upon Tyne, 1983
British Lending Library DSC stock location number: D53324/85

Salmon, J.R.W.
Numerical Algorithms for the Control of Mechanisms.
Department of Computing Science, University of Newcastle upon Tyne, 1983

Hopkins, R.P.
General Purpose Decentralised Computer Architecture.
Department of Computing Science, University of Newcastle upon Tyne, 1983
British Lending Library DSC stock location number: D51042/84

Cotronis, J.Y.
Programming and Verifying Asynchronous Systems.
Department of Computing Science, University of Newcastle upon Tyne, 1982
British Lending Library DSC stock location number: D46908/83

Jones, S.B.
The Performance Evaluation of Interpreter Based Computer Systems.
Department of Computing Science, University of Newcastle upon Tyne, 1981
British Lending Library DSC stock location number: D39117/82

Best, E.
Semantics, Verification and Design of Concurrent Programs Using Atomic Actions.
Department of Computing Science, University of Newcastle upon Tyne, 1981
British Lending Library DSC stock location number: D40970/82

Heine, M.H.
The Extension and Application of Swet's Theory of Information Retrieval.
Department of Computing Science, University of Newcastle upon Tyne, 1981
British Lending Library DSC stock location number: D39114/82

Kanellopoulos, N.G.K.
Action-Replay: A Real-Time Debugging Technique.
Department of Computing Science, University of Newcastle upon Tyne, 1981

Ahmed, A.H.
Collocation Algorithms and Error Analysis For Approximate Solutions of Ordinary Differential Equations.
Department of Computing Science, University of Newcastle upon Tyne, 1981
British Lending Library DSC stock location number: D39105/82

Betteridge, T.
An Algebraic Analysis of Storage Fragmentation.
Department of Computing Science, University of Newcastle upon Tyne, 1979

Gerrard, C.
Computable Error Bounds For Approximate Solutions of Ordinary Differential Equations.
Department of Computing Science, University of Newcastle upon Tyne, 1979

Prince, P.J.
Runge - Kutta Processes and Global Error Estimation.
Department of Computing Science, University of Newcastle upon Tyne, 1979

King, P.J.B.
Numerical Analysis of Infinite Markov Processes.
Department of Computing Science, University of Newcastle upon Tyne, 1979
British Lending Library DSC stock location number: D030666

White, P.R.
A Recursive Virtual Machine Architecture - Implementation and Associated Protection Problems
Department of Computing Science, University of Newcastle upon Tyne, 1979

Gimson, R.B.
On The Selection and Implementation of Data Structure Representations.
Department of Computing Science, University of Newcastle upon Tyne, 1978

Kanellopoulos, N.G.K.
An Investigation into Hardware, Firmware and Software techniques for Providing a Generalised Console for a Microcomputer System.
Department of Computing Science, University of Newcastle upon Tyne, 1978

Bowman, D.M.
An Algebraic Approach to the Graph Isomorphism Problem.
Department of Computing Science, University of Newcastle upon Tyne, 1978

McGlade, D.
Static Allocation of Processes in Distributed Systems.
Department of Computing Science, University of Newcastle upon Tyne, 1978

Jones, D.A.
Performance Measurement and Analysis of Large Filestores.
Department of Computing Science, University of Newcastle upon Tyne, 1978

Rushby, J.M.
LR(k) Sparse-Parsers and their Optimisation.
Department of Computing Science, University of Newcastle upon Tyne, 1977

Verhofstad, J.S.M.
The Construction of Recoverable Multi-Level Systems.
Department of Computing Science, University of Newcastle upon Tyne, 1977

Wyeth, D.
On the Comparison of Protection Systems.
Department of Computing Science, University of Newcastle upon Tyne, 1976

Scolley, A.J.
The implementation of SIMULA 67 by translation into ALGOL W.
Department of Computing Science, University of Newcastle upon Tyne, 1976

Hayden, G.N.
The Numerical Solution of Differential Equations.
Department of Computing Science, University of Newcastle upon Tyne, 1976

Campbell, R.H.
Path Expressions: A Technique For Specifying Process Synchronization.
Department of Computing Science, University of Newcastle upon Tyne, 1976

Oddy, R.N.
Reference Retrieval Based On User Induced Dynamic Clustering.
Department of Computing Science, University of Newcastle upon Tyne, 1975

Szwarcfiter, J.L.
On Optimal and Near-Optimal Algorithms For Some Computational Graph Problems.
Department of Computing Science, University of Newcastle upon Tyne, 1975

Snowdon, R.A.
Interactive Use of a Computer In the Preparation of Structured Programs.
Department of Computing Science, University of Newcastle upon Tyne, 1974

Cooke, M.
Application of a Multi-Access Computer to the Interactive Allocation of Accomodation.
Department of Computing Science, University of Newcastle upon Tyne, 1974

Cruickshank, D.M.
Error analysis of Collocation Methods For the Numerical Solution of Ordinary Differential Equations.
Department of Computing Science, University of Newcastle upon Tyne, 1974

Snow, C.R.
An Analysis of the Structure of Trees and Graphs.
Department of Computing Science, University of Newcastle upon Tyne, 1973

Segelman, Z.
Computer Graphics and its use in Geography.
Department of Computing Science, University of Newcastle upon Tyne, 1973

Knight, J.C.
Analysis of Some Algorithms For Use On Paged Virtual Memory Computers.
Department of Computing Science, University of Newcastle upon Tyne, 1973

Lloyd, J.L.
A Numerical Investigation of the Rayleigh-Ritz Method for the Solution of Variational Problems.
Department of Computing Science, University of Newcastle upon Tyne, 1972

Appleton, D.R.
Simulation in an Interactive Computer Environment.
Department of Computing Science, University of Newcastle upon Tyne, 1972

Mitrani, I.
Congestion Problems in Computing Systems.
Department of Computing Science, University of Newcastle upon Tyne, 1972

Anderson, T.
Syntactic analysis of LR(k) languages.
Computing Laboratory, University of Newcastle upon Tyne, 1972

Waller, L.
Interactive Approaches to the Solution of a Class of Combinatorial Problems.
Department of Computing Science, University of Newcastle upon Tyne, 1971

Harrison, E.S.
Computer representation of graphical information with applications.
Department of Computing Science, University of Newcastle upon Tyne, 1971

Henderson, P.
The Design and Semantic Analysis of a Programming Language and Its Compiler.
Department of Computing Science, University of Newcastle upon Tyne, 1970

Dowsey, M.W.
The Design, Implementation and Use of a Computer Assisted-Instruction System.
Department of Computing Science, University of Newcastle upon Tyne, 1970

Miller, W.L.
The Evaluation of Large Information Retrieval Systems With Application to MEDLARS.
Department of Computing Science, University of Newcastle upon Tyne, 1970

Guy, M.R.
The Computer Solution of Problems in Integer Programming.
Department of Computing Science, University of Newcastle upon Tyne, 1969

Obruca, A.K.
The Manipulation of Trees and Linear Graphs Within a Computer and Some Applications.
Department of Computing Science, University of Newcastle upon Tyne, 1966