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

Andreou, M.S.
Message Traceback Systems. Dancing with the Devil
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

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

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

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

Pierce, K.G.
Enhancing the Usability of Rely-Guarantee Conditions for Atomicity Refinement
School of Computing Science, University of Newcastle upon Tyne, 2009

Strano, M.
Contract Specification for Compliance Checking of Business Interactions
School of Computing Science, University of Newcastle upon Tyne, 2009

Flanagan, K.
A Grid and Cloud-based framework for high throughput bioinformatics
School of Computing Science, University of Newcastle upon Tyne, 2009

Ellis, M. A.
Correct Synthesis and Integration of Compiler-Generated Function Units
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

Colquhoun, J.
A BitTorrent-Based Peer-to-Peer Database Server
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

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

Iliasov, A. Sh.
Design Components
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

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

Shearer, J.
Persuasive Interactive Non-Verbal Behaviour in Embodied Conversational Agents
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

Woodman, S.
A Programming System for Process Coordination in Virtual Organisations
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

Parkin, S.
Monitoring Middleware for Distributed Applications
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

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

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

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

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

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

Di Ferdinando, A.
Design and Implementation of a QoS-Supportive System for Reliable Multicast
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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Brown, A.W.
A View Mechanism For An Integrated Project Support Environment.
Computing Laboratory, 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.
Computing Laboratory, University of Newcastle upon Tyne, 1988
British Lending Library DSC stock location number: DX82851

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

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

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

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

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

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

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

Panzieri, F.
Design and Development of Communication Protocols For Local Area Networks.
Computing Laboratory, 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.
Computing Laboratory, University of Newcastle upon Tyne, 1985

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

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

Brownbridge, D.R.
Recursive Structures in Computer Systems.
Computing Laboratory, 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.
Computing Laboratory, University of Newcastle upon Tyne, 1984
British Lending Library DSC stock location number: D55279/85

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

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

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

Cotronis, J.Y.
Programming and Verifying Asynchronous Systems.
Computing Laboratory, 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.
Computing Laboratory, University of Newcastle upon Tyne, 1981
British Lending Library DSC stock location number: D39117/82

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

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

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

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

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

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

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

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

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

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

Jones, D.A.
Performance Measurement and Analysis of Large Filestores.
Computing Laboratory, 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.
Computing Laboratory, University of Newcastle upon Tyne, 1978

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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