close this section of the libraryftp://ftp.comlab.ox.ac.uk (121)
open this document and view contentsftp://ftp.comlab.ox.ac.uk/pub/Documents/techreports/TR-23-91.ps.Z, 19920814
Programming Research Group THE REDO PROJECT: FINAL REPORT Jonathan P. Bowen Peter T. Breuer Kevin C. Lano PRG-TR-23-91 Oxford University Computing Laboratory 11 Keble Road, Oxford OX1 3QD The REDO Project: Final Report Jonathan P. Bowen y Peter T. Breuer z Kevin C. Lano x
open this document and view contentsftp://ftp.comlab.ox.ac.uk/pub/Documents/techreports/TR-12-90.ps.Z, 19920814
Programming Research Group THE ALIENS' GUIDE TO OXFORD Jonathan Bowen Peter Breuer PRG-TR-12-90 Oxford University Computing Laboratory 11 Keble Road, Oxford OX1 3QD The Aliens' Guide to Oxford Jonathan Boweny Peter Breuerz
open this document and view contentsftp://ftp.comlab.ox.ac.uk/pub/Documents/techreports/TR-10-92.ps.Z, 19920825
Programming Research Group SELECT Z BIBLIOGRAPHY Jonathan Bowen PRG-TR-10-92 Oxford University Computing Laboratory 11 Keble Road, Oxford OX1 3QD Select Z Bibliography Jonathan Bowen
open this document and view contentsftp://ftp.comlab.ox.ac.uk/pub/Documents/papers/opt.ps.Z, 19920830
Specification, Verification and Prototyping of an Optimized Compiler He Jifeng and Jonathan Bowen Oxford University Computing Laboratory Programming Research Group 11 Keble Road, Oxford OX1 3QD, England Tel: +44-865-272575 & 272574 Fax: +44-865-273839 (272582 direct) Email: Jifeng.He@comlab.ox.ac.uk &
open this document and view contentsftp://ftp.comlab.ox.ac.uk/pub/Documents/papers/precc-occam.ps.Z, 19920830
Occam's Razor: The Cutting Edge for Parser Technology Jonathan P. Bowen Peter T. Breuer y June 1992
open this document and view contentsftp://ftp.comlab.ox.ac.uk/pub/Documents/papers/2487-TN-PRG-1044.ps.Z, 19920830
From Programs to Object Code and back again using Logic Programming Jonathan Bowen 2487-TN-PRG-1044 Version 0.4 March, 1991 Oxford University Computing Laboratory Programming Research Group 11 Keble Road Oxford OX1 3QD England Copyright c 1992 Jonathan Bowen Re do DocumentationValidationMaintenance
open this document and view contentsftp://ftp.comlab.ox.ac.uk/pub/Documents/papers/2487-TN-PRG-1065.ps.Z, 19920830
Decompilation Techniques Jonathan Bowen Peter Breuer 2487-TN-PRG-1065 Version 1.2 March, 1991 Oxford University Computing Laboratory Programming Research Group 11 Keble Road Oxford OX1 3QD England Copyright c 1992 ESPRIT REDO Consortium Re do DocumentationValidationMaintenance software technology esprit
open this document and view contentsftp://ftp.comlab.ox.ac.uk/pub/Documents/techreports/TR-5-92.ps.Z, 19920830
Programming Research Group SAFETY-CRITICAL SYSTEMS, FORMAL METHODS AND STANDARDS Jonathan Bowen Victoria Stavridou PRG-TR-5-92 Oxford University Computing Laboratory 11 Keble Road, Oxford OX1 3QD Safety-Critical Systems, Formal Methods and Standards Jonathan Bowen Victoria Stavridou
open this document and view contentsftp://ftp.comlab.ox.ac.uk/pub/Documents/techreports/TR-11-92.ps.Z, 19920830
Programming Research Group DECOMPILATION: THE ENUMERATION OF TYPES AND GRAMMARS Peter T. Breuer Jonathan P. Bowen PRG-TR-11-92 Oxford University Computing Laboratory 11 Keble Road, Oxford OX1 3QD Decompilation: the Enumeration of Types and Grammars Peter T. Breuer Jonathan P. Bowen
open this document and view contentsftp://ftp.comlab.ox.ac.uk/pub/Documents/papers/RuleInduction.ps.Z, 19921127
J. Camilleri and T. Melham, `Reasoning with Inductively Defined Relations in the HOL Theorem Prover', Technical Report No. 265, University of Cambridge Computer Laboratory (August 1992). Reasoning with Inductively Defined Relations in the HOL Theorem Prover Juanito Camilleri Department of Computer
open this document and view contentsftp://ftp.comlab.ox.ac.uk/pub/Documents/papers/STAPaper.ps.Z, 19921127
Towards Verified Systems OVERVIEW Jonathan Bowen (Ed.) November 19, 1992 DRAFT CHAPTER BY MJCG Contents 1 Verifying real-time programs: a case study 3 1.1 An example: Mult : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 3 1.1.1 Overview : : : : : : : : : : : : : : : : : : : : : : : : : : :
open this document and view contentsftp://ftp.comlab.ox.ac.uk/pub/Documents/papers/WhyCompilerSpec.ps.Z, 19921127
Of What Use is a Verified Compiler Specification Paul Curzon Technical Report Number 274 University of Cambridge Computer Laboratory New Museums Site Pembroke Street Cambridge CB2 3QG United Kingdom Of What Use is a Verified Compiler Specification Paul Curzon University of Cambridge Computer Laboratory
open this document and view contentsftp://ftp.comlab.ox.ac.uk/pub/Documents/techreports/TR-1-93.ps.Z, 19930322
Programming Research Group SELECT Z BIBLIOGRAPHY Jonathan Bowen PRG-TR-1-93 Oxford University Computing Laboratory 11 Keble Road, Oxford OX1 3QD Select Z Bibliography Jonathan Bowen y
open this document and view contentsftp://ftp.comlab.ox.ac.uk/pub/Documents/techreports/TR-24-91.ps.Z, 19930421
Programming Research Group PRIORITIZED AND PROBABILISTIC MODELS OF TIMED CSP Gavin Lowe PRG-TR-24-91 Oxford University Computing Laboratory 11 Keble Road, Oxford OX1 3QD Prioritized and Probabilistic Models of Timed CSP Gavin Lowe
open this document and view contentsftp://ftp.comlab.ox.ac.uk/pub/Documents/techreports/TR-2-93.ps.Z, 19930422
Using CSP to verify a reliable network protocol Steve Jarvis September 30, 1992 Submitted in partial fulfilment of the requirements for the degree of Master of Science at the Programming Research Group, University of Oxford
open this document and view contentsftp://ftp.comlab.ox.ac.uk/pub/Documents/techreports/Lano+Breuer.ps.Z, 19930525
Oxford University Computing Laboratory, Programming Research Group, 11 Keble Road, Oxford OX1 3QD. application code is parsed and transformed into an intermediate language UNIFORM , which is somewhat simpler than COBOL, in order to facilitate further operations. All the tools work from this
open this document and view contentsftp://ftp.comlab.ox.ac.uk/pub/Documents/techreports/TR-23-92.ps.Z, 19930618
Programming Research Group SPECIFICATION AND PROOF IN PROBABILISTIC, PRIORITIZED, TIMED CSP Gavin Lowe PRG-TR-23-92 Oxford University Computing Laboratory 11 Keble Road, Oxford OX1 3QD Specification and Proof in Probabilistic, Prioritized, Timed CSP Gavin Lowe
open this document and view contentsftp://ftp.comlab.ox.ac.uk/pub/Documents/techreports/TR-9-92.ps.Z, 19930618
Programming Research Group SOME EXTENSIONS TO THE PROBABILISTIC, BIASED MODEL OF TIMED CSP Gavin Lowe PRG-TR-9-92 Oxford University Computing Laboratory 11 Keble Road, Oxford OX1 3QD Some Extensions to the Probabilistic, Biased Model of Timed CSP Gavin Lowe
open this document and view contentsftp://ftp.comlab.ox.ac.uk/pub/Documents/techreports/TR-17-92.ps.Z, 19930618
Programming Research Group SPECIFICATION AND PROOF OF PRIORITIZED, TIMED CSP PROCESSES Gavin Lowe PRG-TR-17-92 Oxford University Computing Laboratory 11 Keble Road, Oxford OX1 3QD Specification and Proof of Prioritized, Timed CSP Processes Gavin Lowe
open this document and view contentsftp://ftp.comlab.ox.ac.uk/pub/Documents/techreports/TR-18-92.ps.Z, 19930618
Programming Research Group RELATING THE PRIORITIZED MODEL OF TIMED CSP TO THE TIMED FAILURES MODEL Gavin Lowe PRG-TR-18-92 Oxford University Computing Laboratory 11 Keble Road, Oxford OX1 3QD Relating the Prioritized Model of Timed CSP to the Timed Failures Model Gavin Lowe
open this document and view contentsftp://ftp.comlab.ox.ac.uk/pub/Documents/techreports/TR-15-93.ps.Z, 19930916
Programming Research Group USING MENTOR GDT DESIGNER FOR DESIGN, SIMULATION AND LAYOUT OF CIRCUITS USING CUSTOM STANDARD CELL ELEMENTS Mick Patrick PRG-TR-15-93 Oxford University Computing Laboratory 11 Keble Road, Oxford OX1 3QD Using Mentor GDT Designer for Design, Simulation and Layout of Circuits
open this document and view contentsftp://ftp.comlab.ox.ac.uk/pub/Documents/techreports/TR-5-93.ps.Z, 19931108
Programming Research Group FIXED POINTS WITHOUT COMPLETENESS M.W. Mislove, A.W. Roscoe, and S.A. Schneider PRG-TR-5-93 Oxford University Computing Laboratory 11 Keble Road, Oxford OX1 3QD Fixed points without completeness M.W. Mislove, A.W. Roscoe, and S.A. Schneider November 3rd, 1992
open this document and view contentsftp://ftp.comlab.ox.ac.uk/pub/Documents/techreports/TR-11-93.ps.gz, 19931116
Programming Research Group REPRESENTING NONDETERMINISM AND PROBABILISTIC BEHAVIOUR IN REACTIVE PROCESSES Gavin Lowe PRG-TR-11-93 Oxford University Computing Laboratory 11 Keble Road, Oxford OX1 3QD Representing Nondeterminism and Probabilistic Behaviour in Reactive Processes Gavin Lowe
open this document and view contentsftp://ftp.comlab.ox.ac.uk/pub/Documents/techreports/TR-5-89.ps.Z, 19931213
Programming Research Group USER INTERFACE LANGUAGES: A SURVEY OF EXISTING METHODS Gregory Abowd Jonathan Bowen Programming Research Group Oxford University Alan Dix Michael Harrison Roger Took Department of Computer Science University of York October, 1989 PRG-TR-5-89 Oxford University Computing
open this document and view contentsftp://ftp.comlab.ox.ac.uk/pub/Documents/techreports/TR-1-94.ps.Z, 19940217
Programming Research Group TOWARDS A PROVABLE CORRECT COMPILER FOR OBJ3 Lutz H. Hamel PRG-TR-1-94 Oxford University Computing Laboratory Wolfson Building, Parks Road, Oxford OX1 3QD Contents 1 Introduction 1 2 The Structure of the Proof 2 3 Tuples, Products, Projections and other Things 4 4 The Source
open this document and view contentsftp://ftp.comlab.ox.ac.uk/pub/Documents/techreports/TR-12-91.ps.Z, 19940315
Getting your wires crossed Geraint Jones Things should be as simple as possible `and no simpler', so they say. This paper is about simplifying a construct in Ruby, to reduce the complexity of the algebra without sacrificing expressive power. Ruby, for which Mary Sheeran is largely responsible, is a
open this document and view contentsftp://ftp.comlab.ox.ac.uk/pub/Documents/techreports/TR-13-90.ps.Z, 19940315
Relations and Refinement in Circuit Design Geraint Jones Oxford University Mary Sheerany Glasgow University
open this document and view contentsftp://ftp.comlab.ox.ac.uk/pub/Documents/techreports/TR-31-92.ps.Z, 19940315
Linear-time breadth-first tree algorithms An exercise in the arithmetic of folds and zips Geraint Jones Jeremy Gibbonsy
open this document and view contentsftp://ftp.comlab.ox.ac.uk/pub/Documents/techreports/TR-4-89.ps.Z, 19940315
Deriving the fast Fourier algorithm by calculation Geraint Jones Programming Research Group 11 Keble Road Oxford OX1 3QD
open this document and view contentsftp://ftp.comlab.ox.ac.uk/pub/Documents/techreports/TR-1-92.ps.Z, 19940315
Designing Arithmetic Circuits by Refinement in Ruby Geraint Jones1 and Mary Sheeran2 1 Programming Research Group, Oxford University Computing Laboratory, Wolfson Building, Parks Road, Oxford OX1 3QD, England; electronic mail: Geraint.Jones@comlab.oxford.ac.uk. 2 Informationsbehandling, Chalmers
open this document and view contentsftp://ftp.comlab.ox.ac.uk/pub/Documents/techreports/TR-14-92.ps.Z, 19940315
A Certain Loss of Identity Geraint Jones Oxford University Computing Laboratory Oxford, England Mary Sheeran Informationsbehandling, Chalmers Tekniska Hogskola Goteborg, Sweden
open this document and view contentsftp://ftp.comlab.ox.ac.uk/pub/Documents/techreports/TR-3-91.ps.Z, 19940315
Deriving bit-serial circuits in Ruby Geraint Jonesa and Mary Sheeranb aProgramming Research Group, Oxford University Computing Laboratory, 11 Keble Road, Oxford OX1 3QD, England; Electronic mail: gj@comlab.oxford.ac.uk bDepartment of Computing Science, University of Glasgow, Glasgow G12 8QQ, Scotland;
open this document and view contentsftp://ftp.comlab.ox.ac.uk/pub/Documents/techreports/TR-10-90.ps.Z, 19940318
DESIGNING CIRCUITS BY CALCULATION by Geraint Jones Oxford University Computing Laboratory Programming Research Group Designing circuits by calculation by Geraint Jones 9 April 1990 Oxford University Computing Laboratory Programming Research Group 11 Keble Road Oxford OX1 3QD Copyright c 1990 Geraint
open this document and view contentsftp://ftp.comlab.ox.ac.uk/pub/Documents/techreports/NA-93-01.ps.gz, 19940421
Report no. 93/01 Some Exact Solutions in Moving Finite Elements J D P Donnelly Oxford University Numerical Analysis Group It is shown that when the moving finite elements are used on a number of parabolic problems there are steady-state, stationary, similarity, or travelling-wave solutions that can be
open this document and view contentsftp://ftp.comlab.ox.ac.uk/pub/Documents/techreports/NA-90-10.ps.gz, 19940503
Report no. 90/10 An Exact Solution for Moving Finite Elements Applied to the Viscous Burgers' Equation J D P Donnelly Oxford University Numerical Analysis Group When M.F.E. is applied to the viscous Burgers' equation the discrete equations have an exact, linearly stable, travelling wave solution whose
open this document and view contentsftp://ftp.comlab.ox.ac.uk/pub/Documents/techreports/TR-8-93.ps.gz, 19940518
Programming Research Group AN IMPLEMENTATION OF HIGHER-ORDER REWRITING (EXTENDED ABSTRACT) D.A. Wolfram PRG-TR-8-93 Oxford University Computing Laboratory Wolfson Building, Parks Road, Oxford OX1 3QD 1 Higher-Order Rewriting Combinatory Reduction Systems of Aczel , and Klop generalize first-order
open this document and view contentsftp://ftp.comlab.ox.ac.uk/pub/Documents/techreports/TR-32-92.ps.gz, 19940518
Programming Research Group THE COMPLEXITY OF TWO SIMPLE UNIFIABILITY PROBLEMS Paliath Narendran and D.A. Wolfram PRG-TR-32-92 Oxford University Computing Laboratory Wolfson Building, Parks Road, Oxford OX1 3QD The Complexity of Two Simple Unifiability Problems Paliath Narendrany and D.A. Wolfram
open this document and view contentsftp://ftp.comlab.ox.ac.uk/pub/Documents/techreports/TR-20-92.ps.Z, 19940525
Programming Research Group A PRETTIER COMPILER-COMPILER: GENERATING HIGHER ORDER PARSERS IN C P.T. Breuer J.P. Bowen PRG-TR-20-92 Oxford University Computing Laboratory 11 Keble Road, Oxford OX1 3QD A PREttier Compiler-Compiler: Generating Higher Order Parsers in C P.T. Breuer J.P. Boweny Oxford
open this document and view contentsftp://ftp.comlab.ox.ac.uk/pub/Documents/techreports/TR-7-94.ps.Z, 19940601
Programming Research Group SEVEN MORE MYTHS OF FORMAL METHODS Jonathan P. Bowen Michael G. Hinchey PRG-TR-7-94 Oxford University Computing Laboratory Wolfson Building, Parks Road, Oxford OX1 3QD Seven More Myths of Formal Methods Jonathan P. Boweny Michael G. Hincheyz
open this document and view contentsftp://ftp.comlab.ox.ac.uk/pub/Documents/techreports/TR-8-94.ps.Z, 19940601
Programming Research Group SELECT Z BIBLIOGRAPHY Jonathan P. Bowen PRG-TR-8-94 Oxford University Computing Laboratory Wolfson Building, Parks Road, Oxford OX1 3QD Select Z Bibliography Jonathan P. Boweny
open this document and view contentsftp://ftp.comlab.ox.ac.uk/pub/Documents/techreports/TR-10-94.ps.gz, 19940613
Programming Research Group SCHEDULING-ORIENTED MODELS FOR REAL-TIME SYSTEMS Gavin Lowe PRG-TR-10-94 Oxford University Computing Laboratory Wolfson Building, Parks Road, Oxford OX1 3QD Scheduling-Oriented Models for Real-Time Systems 1 Gavin Lowe June 1994
open this document and view contentsftp://ftp.comlab.ox.ac.uk/pub/Documents/techreports/TR-9-94.ps.Z, 19940725
Programming Research Group A BRIEF HISTORY OF ALGEBRA AND COMPUTING: AN ECLECTIC OXONIAN VIEW Jonathan P. Bowen PRG-TR-9-94 Oxford University Computing Laboratory Wolfson Building, Parks Road, Oxford OX1 3QD A Brief History of Algebra and Computing: An Eclectic Oxonian View Jonathan P. Boweny Dedicated
open this document and view contentsftp://ftp.comlab.ox.ac.uk/pub/Documents/techreports/TR-15-94.ps.gz, 19941014
Programming Research Group FORMAL DEVELOPMENT OF AIRCRAFT CONTROL SOFTWARE: A CASE STUDY IN THE SPECIFICATION, DESIGN AND SCHEDULING OF A REAL-TIME SYSTEM Gavin Lowe PRG-TR-15-94 Oxford University Computing Laboratory Wolfson Building, Parks Road, Oxford OX1 3QD Formal Development of Aircraft Control
open this document and view contentsftp://ftp.comlab.ox.ac.uk/pub/Documents/techreports/TR-11-94.ps.Z, 19941108
Programming Research Group SUMMARIZING CASE HISTORIES Bryan S. Todd PRG-TR-11-94 Oxford University Computing Laboratory Wolfson Building, Parks Road, Oxford OX1 3QD Summarizing Case Histories Bryan S. Todd
open this document and view contentsftp://ftp.comlab.ox.ac.uk/pub/Documents/techreports/TR-17-94.ps.Z, 19941109
Programming Research Group ON REFINEMENT AND FOOPS Paulo Borba and Joseph A. Goguen PRG-TR-17-94 Oxford University Computing Laboratory Wolfson Building, Parks Road, Oxford OX1 3QD ON REFINEMENT AND FOOPS Paulo Borba and Joseph A. Gogueny November 1994
open this document and view contentsftp://ftp.comlab.ox.ac.uk/pub/Documents/techreports/TR-16-94.ps.Z, 19941109
Programming Research Group AN OPERATIONAL SEMANTICS FOR FOOPS Paulo Borba and Joseph A. Goguen PRG-TR-16-94 Oxford University Computing Laboratory Wolfson Building, Parks Road, Oxford OX1 3QD AN OPERATIONAL SEMANTICS FOR FOOPS Paulo Borba and Joseph A. Gogueny November 1994
open this document and view contentsftp://ftp.comlab.ox.ac.uk/pub/Documents/techreports/TR-12-94.ps.Z, 19941121
Refinement-oriented probability for CSP Carroll Morgan, Annabelle McIver, Karen Seidel and JW Sanders 18 August 1994
open this document and view contentsftp://ftp.comlab.ox.ac.uk/pub/Documents/techreports/TR-18-94.ps.Z, 19950111
Programming Research Group PROGRAM DEVELOPMENT AND PERFORMANCE PREDICTION ON BSP MACHINES USING OPAL Simon Knee PRG-TR-18-1994 Oxford University Computing Laboratory Wolfson Building, Parks Road, Oxford OX1 3QD Program Development and Performance Prediction on BSP Machines using Opal Simon Knee August
open this document and view contentsftp://ftp.comlab.ox.ac.uk/pub/Documents/techreports/TR-1-95.ps.gz, 19950206
Programming Research Group THE >= -CALCULUS WITH TYPE SIMILARITY Jason Brown and Eike Ritter PRG-TR-1-95 Oxford University Computing Laboratory Wolfson Building, Parks Road, Oxford OX1 3QD The >= -Calculus with Type Similarity Jason Brown and Eike Ritter January 1995
open this document and view contentsftp://ftp.comlab.ox.ac.uk/pub/Documents/techreports/TR-16-95.ps.Z, 19950719
Programming Research Group CONSERVATIVE DISCRETE-EVENT SIMULATIONS ON BULK SYNCHRONOUS PARALLEL ARCHITECTURES Radu Calinescu PRG-TR-16-95 Oxford University Computing Laboratory Wolfson Building, Parks Road, Oxford OX1 3QD Conservative Discrete-Event Simulations on Bulk Synchronous Parallel Architectures
open this document and view contentsftp://ftp.comlab.ox.ac.uk/pub/Documents/techreports/TR-4-95.ps.gz, 19950811
Programming Research Group PROBABILISTIC PREDICATE TRANSFORMERS Carroll Morgan, Annabelle McIver, Karen Seidel and JW Sanders PRG-TR-4-95 Oxford University Computing Laboratory Wolfson Building, Parks Road, Oxford OX1 3QD Probabilistic predicate transformers Carroll Morgan , Annabelle McIver, Karen
open this document and view contentsftp://ftp.comlab.ox.ac.uk/pub/Documents/techreports/TR-20-95.ps.Z, 19950817
Programming Research Group A DISTRIBUTED SEMANTICS FOR FOOPS Corina C^ rstea PRG-TR-20-95 Oxford University Computing Laboratory Wolfson Building, Parks Road, Oxford OX1 3QD A Distributed Semantics for FOOPS Corina C^ rstea June 1995
open this document and view contentsftp://ftp.comlab.ox.ac.uk/pub/Documents/techreports/TR-21-95.ps.Z, 19950817
Programming Research Group SEMANTICS OF NON-TERMINATING SYSTEMS THROUGH TERM REWRITING Jos e Bernardo dos Santos Monteiro Vieira de Barros Wolfson College, Oxford Thesis submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy PRG-TR-21-95 Oxford University Computing
open this document and view contentsftp://ftp.comlab.ox.ac.uk/pub/Documents/techreports/TR-23-95.ps.Z, 19950817
Programming Research Group UNIFYING WP AND WLP Carroll Morgan, Annabelle McIver PRG-TR-23-95 Oxford University Computing Laboratory Wolfson Building, Parks Road, Oxford OX1 3QD Unifying wp and wlp Carroll Morganyand Annabelle McIverz
open this document and view contentsftp://ftp.comlab.ox.ac.uk/pub/Documents/techreports/TR-22-95.ps.Z, 19950925
Programming Research Group A CONCRETE Z GRAMMAR Peter T. Breuer Jonathan P. Bowen PRG-TR-22-95 Oxford University Computing Laboratory Wolfson Building, Parks Road, Oxford OX1 3QD A Concrete Z Grammar Peter T. Breuer y Jonathan P. Bowen z
open this document and view contentsftp://ftp.comlab.ox.ac.uk/pub/Documents/techreports/TR-11-95.ps.gz, 19951030
Programming Research Group ARGUMENT DUPLICATION IN PROBABILISTIC CSP Carroll Morgan, Annabelle McIver, Karen Seidel and JW Sanders PRG-TR-11-95 Oxford University Computing Laboratory Wolfson Building, Parks Road, Oxford OX1 3QD Argument duplication in probabilistic CSP Carroll Morgan, Annabelle McIver,
open this document and view contentsftp://ftp.comlab.ox.ac.uk/pub/Documents/techreports/TR-2-95.ps.gz, 19951109
Programming Research Group REFINEMENT OF COMPLEX SYSTEMS: A CASE STUDY Gavin Lowe and Hussein Zedan PRG-TR-2-95 Oxford University Computing Laboratory Wolfson Building, Parks Road, Oxford OX1 3QD Refinement of Complex Systems: A Case Study1 Gavin Lowe and Hussein Zedan February 1995
open this document and view contentsftp://ftp.comlab.ox.ac.uk/pub/Documents/techreports/TR-3-95.ps.gz, 19951109
Programming Research Group INFINITE BEHAVIOURS IN THE TEMPORAL AGENT MODEL Gavin Lowe PRG-TR-3-95 Oxford University Computing Laboratory Wolfson Building, Parks Road, Oxford OX1 3QD Infinite Behaviours in the Temporal Agent Model 1 Gavin Lowe February 1995
open this document and view contentsftp://ftp.comlab.ox.ac.uk/pub/Documents/techreports/TR-17-95.ps.Z, 19951109
Programming Research Group A REFINEMENT CALCULUS FOR COMMUNICATING PROCESSES WITH STATE Luming Lai and J. W. Sanders PRG-TR-17-95 Oxford University Computing Laboratory Wolfson Building, Parks Road, Oxford OX1 3QD A Refinement Calculus for Communicating Processes with State Luming Lai J. W. Sandersy May
open this document and view contentsftp://ftp.comlab.ox.ac.uk/pub/Documents/techreports/TR-24-95.ps.Z, 19951109
Programming Research Group A WEAKEST PRECONDITION SEMANTICS FOR Z Ana Cavalcanti Jim Woodcock PRG-TR-24-95 Oxford University Computing Laboratory Wolfson Building, Parks Road, Oxford OX1 3QD A Weakest Precondition Semantics for Z Ana Cavalcanti Jim Woodcock November 1995
open this document and view contentsftp://ftp.comlab.ox.ac.uk/pub/Documents/techreports/TR-12-95.ps.Z, 19951109
Programming Research Group A WEAKEST-ENVIRONMENT CALCULUS FOR COMMUNICATING PROCESSES Luming Lai J. W. Sanders PRG-TR-12-95 Oxford University Computing Laboratory Wolfson Building, Parks Road, Oxford OX1 3QD A Weakest-Environment Calculus for Communicating Processes Luming Lai J. W. Sandersy March 1995
open this document and view contentsftp://ftp.comlab.ox.ac.uk/pub/Documents/techreports/TR-13-95.ps.gz, 19951115
Programming Research Group PROBABILISTIC DETREMINISM Annabelle McIver, Carroll Morgan PRG-TR-13-95 Oxford University Computing Laboratory Wolfson Building, Parks Road, Oxford OX1 3QD Probabilistic determinism Annabelle McIver, Carroll Morgan 15 November 1995
open this document and view contentsftp://ftp.comlab.ox.ac.uk/pub/Documents/techreports/NA-95-23.ps.gz, 19951125
Report no. 95/23 Multiresolution and wavelets David Handscomb Wavelets may possibly provide a useful basis for the numerical solution of differential or integral equations, in particular when they model processes which operate on very different space- or time-scales (turbulence, boundary layers, shocks,
open this document and view contentsftp://ftp.comlab.ox.ac.uk/pub/Documents/techreports/TR-25-95.ps.Z, 19951201
Programming Research Group PROOF RULES FOR PROBABLISTIC LOOPS Carroll Morgan PRG-TR-25-95 Oxford University Computing Laboratory Wolfson Building, Parks Road, Oxford OX1 3QD
open this document and view contentsftp://ftp.comlab.ox.ac.uk/pub/Documents/techreports/TR-18-95.ps.gz, 19951222
Programming Research Group PRG-TR-18-95 Oxford University Computing Laboratory Wolfson Building, Parks Road, Oxford OX1 3QD Refinement of Concurrent Object Oriented Programs Paulo Borba and Joseph A. Gogueny Programming Research Group Oxford University Computing Laboratory November 1995
open this document and view contentsftp://ftp.comlab.ox.ac.uk/pub/Documents/techreports/TR-4-93.ps.gz, 19960111
Programming Research Group A MODEL OF THE PERIPHERAL NERVOUS SYSTEM Bryan S. Todd PRG-TR-4-93 Oxford University Computing Laboratory Wolfson Building, Parks Road, Oxford OX1 3QD A Model of the Peripheral Nervous System Bryan S. Todd
open this document and view contentsftp://ftp.comlab.ox.ac.uk/pub/Documents/techreports/TR-2-96.ps.gz, 19960111
Programming Research Group A REPRESENTATION FOR CLINICAL PROCEDURES Bryan S. Todd PRG-TR-2-96 Oxford University Computing Laboratory Wolfson Building, Parks Road, Oxford OX1 3QD A Representation for Clinical Procedures Bryan S. Todd January 1996
open this document and view contentsftp://ftp.comlab.ox.ac.uk/pub/Documents/techreports/NA-96-01.ps.gz, 19960215
Report no. 96/01 Diagonal Dominance and Positive Definiteness of Upwind Approximations for Advection Diffusion Problems G. Golub Department of Computer Science, Stanford University, CA D. Silvester Department of Mathematics, UMIST, Manchester, M60 1QD A. Wathen Oxford University Numerical Analysis Group
open this document and view contentsftp://ftp.comlab.ox.ac.uk/pub/Documents/techreports/NA-96-02.ps.gz, 19960216
Report no. 96/02 Coercivity for One-dimensional Cell Vertex Approximations K. W. Morton Previous error analysis for the cell vertex scheme has been limited to situations where the cell residuals can be set to zero. However, in practical use for compressible flow computations it is necessary to extend
open this document and view contentsftp://ftp.comlab.ox.ac.uk/pub/Documents/techreports/NA-95-26.ps.gz, 19960220
Report no. 95/26 On the Fractal Characteristics of a Stabilised Newton Method M. Drexler I. J. Sobey Oxford University Numerical Analysis Group C. Bracher Technical University at Munich Department of Theoretical Physics In this report, we present a complete theory for the fractal that is obtained when
open this document and view contentsftp://ftp.comlab.ox.ac.uk/pub/Documents/techreports/TR-6-96.ps.Z, 19960306
Programming Research Group AN INTRODUCTION TO PROBABILISTIC PREDICATE TRANSFORMERS Karen Seidel, Carroll Morgan and Annabelle McIver PRG-TR-6-96 Oxford University Computing Laboratory Wolfson Building, Parks Road, Oxford OX1 3QD An introduction to probabilistic predicate transformers Karen Seidel,
open this document and view contentsftp://ftp.comlab.ox.ac.uk/pub/Documents/techreports/TR-4-96.ps.gz, 19960312
Programming Research Group THE THEORY, PRACTICE, AND A TOOL FOR BSP PERFORMANCE PREDICTION APPLIED TO A CFD APPLICATION Jonathan M. D. Hill Paul I. Crumpton David A. Burgess PRG-TR-4-1996 Oxford University Computing Laboratory Wolfson Building, Parks Road, Oxford OX1 3QD The theory, practice, and a tool
open this document and view contentsftp://ftp.comlab.ox.ac.uk/pub/Documents/techreports/TR-10-96.ps.gz, 19960516
Programming Research Group DIRECT BULK-SYNCHRONOUS PARALLEL ALGORITHMS IN COMPUTATIONAL GEOMETRY Constantinos J. Siniolakis PRG-TR-10-96 Oxford University Computing Laboratory Wolfson Building, Parks Road, Oxford OX1 3QD
open this document and view contentsftp://ftp.comlab.ox.ac.uk/pub/Documents/techreports/NA-96-09.ps.gz, 19960516
Report no. 96/09 Finite element methods for hyperbolic problems: a posteriori error analysis and adaptivity a Endre S uli Paul Houston This paper presents an overview of recent developments in the area of a posteriori error estimation for first-order hyperbolic partial differential equations. Global a
open this document and view contentsftp://ftp.comlab.ox.ac.uk/pub/Documents/techreports/TR-9-96.ps, 19960516
Programming Research Group ON THE COMPLEXITY OF BSP SORTING Constantinos J. Siniolakis PRG-TR-9-96 Oxford University Computing Laboratory Wolfson Building, Parks Road, Oxford OX1 3QD
open this document and view contentsftp://ftp.comlab.ox.ac.uk/pub/Documents/techreports/NA-95-24.ps.gz, 19960516
Report no. 95/24 Adaptive Lagrange-Galerkin Methods for Unsteady Convection-Dominated Diffusion Problems Paul Houston Endre S uli In this paper we derive an a posteriori error estimate in the L2(L2) norm for the Lagrange-Galerkin discretisation of the unsteady twodimensional convection-diffusion
open this document and view contentsftp://ftp.comlab.ox.ac.uk/pub/Documents/techreports/NA-96-08.ps.gz, 19960517
Report no. 96/08 Artificial viscosity for the cell vertex method S. M. Stringer and K. W. Morton Although the addition of 2nd and 4th order artificial viscosity terms to cell vertex discretisations is standard practice, it is widely recognised that there is a lack of understanding of their exact
open this document and view contentsftp://ftp.comlab.ox.ac.uk/pub/Documents/techreports/NA-96-07.ps.gz, 19960524
Report no. 96/07 On the Design of an Artificial Diffusion Model for the Lagrange-Galerkin Method on Unstructured Triangular Grids Paul Houston Endre S uli In this paper we propose the addition of an artificial diffusion model to the Lagrange-Galerkin finite element method, which is dependent on both the
open this document and view contentsftp://ftp.comlab.ox.ac.uk/pub/Documents/techreports/NA-96-05.ps.gz, 19960531
Report no. 96/05 Particle Tracking Methods for Residence Time Calculations in Incompressible Flow C. Glasgow A. K. Parrott D. C. Handscomb Oxford University Computing Laboratory Numerical Analysis Group Numerical methods are presented for the calculation of residence time distributions in steady
open this document and view contentsftp://ftp.comlab.ox.ac.uk/pub/Documents/techreports/NA-96-04.ps.gz, 19960531
Report no. 96/04 Multiple Knot B-Spline Representation of Incompressible Flow C. Glasgow A. K. Parrott D. C. Handscomb Oxford University Computing Laboratory Numerical Analysis Group An efficient B-spline method for the construction of a piecewise polynomial velocity representation from a given set of
open this document and view contentsftp://ftp.comlab.ox.ac.uk/pub/Documents/techreports/TR-13-96.ps, 19960716
Programming Research Group COMMUNICATION EFFICIENT DATA STRUCTURES ON THE BSP MODEL WITH APPLICATIONS Alexandros V. Gerbessiotis and Constantinos J. Siniolakis PRG-TR-13-96 Oxford University Computing Laboratory Wolfson Building, Parks Road, Oxford OX1 3QD Communication Efficient Data Structures on the
open this document and view contentsftp://ftp.comlab.ox.ac.uk/pub/Documents/techreports/NA-96-19.ps.gz, 19960813
Report no. 96/19 Iterative Methods for Problems in Computational Fluid Dynamics Howard C. Elman University of Maryland David J. Silvester University of Manchester Andrew J. Wathen Oxford University We discuss iterative methods for solving the algebraic systems of equations arising from linearization and
open this document and view contentsftp://ftp.comlab.ox.ac.uk/pub/Documents/techreports/TR-1-96.ps.gz, 19960920
Programming Research Group DEVELOPING FAIRNESS IN TERMINATING AND REACTIVE PROGRAMS Axel Wabenhorst PRG-TR-1-96 Oxford University Computing Laboratory Wolfson Building, Parks Road, Oxford OX1 3QD Developing Fairness in Terminating and Reactive Programs Axel Wabenhorst January 1996
open this document and view contentsftp://ftp.comlab.ox.ac.uk/pub/Documents/techreports/TR-16-96.ps.Z, 19961111
Programming Research Group PRACTICAL BARRIER SYNCHRONISATION Jonathan M.D. Hill1 Oxford University Computing Laboratory Oxford U.K. D.B. Skillicorn2 Department of Computing and Information Science Queen's University, Kingston, Canada PRG-TR-16-96 Oxford University Computing Laboratory Wolfson Building,
open this document and view contentsftp://ftp.comlab.ox.ac.uk/pub/Documents/techreports/TR-15-96.ps.Z, 19961111
Programming Research Group QUESTIONS AND ANSWERS ABOUT BSP D.B. Skillicorn Department of Computing and Information Science Queen's University, Kingston, Canada skill@qucis.queensu.ca Jonathan M.D. Hill and W.F. McColl Computing Laboratory University of Oxford Oxford, U.K. fJonathan.Hill,
open this document and view contentsftp://ftp.comlab.ox.ac.uk/pub/Documents/techreports/TR-21-96.ps.Z, 19961111
Programming Research Group LESSONS LEARNED FROM IMPLEMENTING BSP Jonathan M.D. Hill Oxford University Computing Laboratory Oxford, U.K. Jonathan.Hill@comlab.ox.ac.uk D.B. Skillicorn Department of Computing and Information Science Queen's University, Kingston, Canada skill@qucis.queensu.ca PRG-TR-21-96
open this document and view contentsftp://ftp.comlab.ox.ac.uk/pub/Documents/techreports/TR-5-96.ps.Z, 19961212
Programming Research Group PROBABILISTIC PREDICATE TRANSFORMERS: PART 2 Annabelle McIver and Carroll Morgan PRG-TR-5-96 Oxford University Computing Laboratory Wolfson Building, Parks Road, Oxford OX1 3QD Probabilistic predicate transformers: Part 2 Annabelle McIver, Carroll Morgan y March 1996
open this document and view contentsftp://ftp.comlab.ox.ac.uk/pub/Documents/techreports/NA-96-14.ps.gz, 19961216
Report no. 96/14 Fractal Characteristics of Newton's Method on Polynomials M. Drexler I. J. Sobey Oxford University Numerical Analysis Group C. Bracher Technical University at Munich Department of Theoretical Physics In this report, we present a simple geometric generation principle for the fractal that
open this document and view contentsftp://ftp.comlab.ox.ac.uk/pub/Documents/techreports/TR-13-97.ps.gz, 19970424
Programming Research Group A PROBABILISTIC TEMPORAL CALCULUS BASED ON EXPECTATIONS Carroll Morgan and Annabelle McIver PRG-TR-13-97 Oxford University Computing Laboratory Wolfson Building, Parks Road, Oxford OX1 3QD A probabilistic temporal calculus based on expectations Carroll Morgan and Annabelle
open this document and view contentsftp://ftp.comlab.ox.ac.uk/pub/Documents/techreports/NA-96-18.ps.gz, 19970424
Report no. 96/18 Mixing Calculations in a Rotating Partitioned Pipe C. Glasgow A. K. Parrott Oxford University Computing Laboratory Numerical Analysis Group We consider laminar mixing in a steady incompressible Newtonian fluid. Through the use of particle tracking methods and analogous techniques
open this document and view contentsftp://ftp.comlab.ox.ac.uk/pub/Documents/techreports/TR-23-96.ps.gz, 19970521
Programming Research Group PRIMITIVE OPERATIONS ON THE BSP MODEL Alexandros V. Gerbessiotis and Constantinos J. Siniolakis PRG-TR-23-96 Oxford University Computing Laboratory Wolfson Building, Parks Road, Oxford OX1 3QD Primitive Operations on the BSP Model Alexandros V. Gerbessiotis and Constantinos J.
open this document and view contentsftp://ftp.comlab.ox.ac.uk/pub/Documents/techreports/NA-97-03.ps.gz, 19970525
Report no. 97/03 A Posteriori Error Analysis for Linear Convection{Diffusion Problems Under Weak Mesh Regularity Assumptions Paul Houston Endre S uli In this paper we consider the generalisation of standard a posteriori error estimates, derived for unsteady problems, to arbitrary space{time meshes. In
open this document and view contentsftp://ftp.comlab.ox.ac.uk/pub/Documents/techreports/NA-97-04.ps.gz, 19970526
Report no. 97/04 A Posteriori Error Analysis for Systems of Nonlinear Convection{Diffusion Equations Paul Houston Endre S uli In this paper we derive an a posteriori error estimate for the Lagrange{Galerkin discretisation of a nonlinear system of unsteady convection{diffusion problems in two
open this document and view contentsftp://ftp.comlab.ox.ac.uk/pub/Documents/techreports/TR-17-97.ps.Z, 19970530
Programming Research Group PORTABLE AND ARCHITECTURE INDEPENDENT PARALLEL PERFORMANCE TUNING USING A CALL-GRAPH PROFILING TOOL: A CASE STUDY IN OPTIMISING SQL Jonathan M.D. Hill Stephen A. Jarvis Constantinos Siniolakis Vasil P. Vasilev Oxford University Computing Laboratory, Wolfson Building, Parks
open this document and view contentsftp://ftp.comlab.ox.ac.uk/pub/Documents/techreports/TR-12-97.ps.gz, 19970606
Programming Research Group A STEPWISE DEVELOPMENT OF THE ALTERNATING BIT PROTOCOL Axel Wabenhorst PRG-TR-12-97 Oxford University Computing Laboratory Wolfson Building, Parks Road, Oxford OX1 3QD A Stepwise Development of the Alternating Bit Protocol Axel Wabenhorst March 1997
open this document and view contentsftp://ftp.comlab.ox.ac.uk/pub/Documents/techreports/TR-5-97.ps.gz, 19970624
Programming Research Group PROCEDURES, PARAMETERS, AND SUBSTITUTION IN THE REFINEMENT CALCULUS Ana Cavalcanti Augusto Sampaio Jim Woodcock PRG-TR-5-97 Oxford University Computing Laboratory Wolfson Building, Parks Road, Oxford OX1 3QD Procedures, Parameters, and Substitution in the Refinement Calculus
open this document and view contentsftp://ftp.comlab.ox.ac.uk/pub/Documents/techreports/TR-20-97.ps.gz, 19970701
Programming Research Group AN EXPECTATION-TRANSFORMER MODEL FOR PROBABILISTIC TEMPORAL LOGIC Carroll Morgan and Annabelle McIver PRG-TR-20-97 Oxford University Computing Laboratory Wolfson Building, Parks Road, Oxford OX1 3QD An expectation-transformer model for probabilistic temporal logic Carroll
open this document and view contentsftp://ftp.comlab.ox.ac.uk/pub/Documents/techreports/TR-7-96.ps.gz, 19970804
Programming Research Group CLASSIFICATIONS IN ALGEBRAIC SPECIFICATIONS OF
open this document and view contentsftp://ftp.comlab.ox.ac.uk/pub/Documents/techreports/TR-26-97.ps.gz, 19970806
Programming Research Group A SCHEME FOR THE BSP SCHEDULING OF GENERIC LOOP NESTS Radu Calinescu PRG-TR-26-97 Oxford University Computing Laboratory Wolfson Building, Parks Road, Oxford OX1 3QD A Scheme for the BSP Scheduling of Generic Loop Nests Radu Calinescu August 1997
open this document and view contentsftp://ftp.comlab.ox.ac.uk/pub/Documents/techreports/TR-1-91.ps.Z, 19970811
An Operational Semantics for Timed CSP1 Steve Schneider Programming Research Group, Oxford University Computing Laboratory, 11 Keble Road, Oxford OX1 3QD, UK
open this document and view contentsftp://ftp.comlab.ox.ac.uk/pub/Documents/techreports/NA-97-15.ps.gz, 19971023
Report no. 97/15 Preconditioning the Advection-Diffusion Equation: the Green's Function Approach Daniel Loghin Andrew J. Wathen We look at the relationship between efficient preconditioners (i.e., good approximations to the discrete inverse operator) and the generalized inverse for the (continuous)
open this document and view contentsftp://ftp.comlab.ox.ac.uk/pub/Documents/techreports/TR-40-97.ps.Z, 19971202
Programming Research Group PREDICTABLE COMMUNICATION ON UNPREDICTABLE NETWORKS: IMPLEMENTING BSP OVER TCP/IP Stephen R. Donaldson and Jonathan M.D. Hill Computing Laboratory University of Oxford Oxford, U.K. fStephen.Donaldson,Jonathan.Hillg@comlab.ox.ac.uk David B. Skillicorn Department of Computing
open this document and view contentsftp://ftp.comlab.ox.ac.uk/pub/Documents/techreports/TR-39-97.ps.Z, 19971202
Programming Research Group COMMUNICATION PERFORMANCE OPTIMISATION REQUIRES MINIMISING VARIANCE Stephen R. Donaldson and Jonathan M.D. Hill Computing Laboratory University of Oxford Oxford, U.K. fStephen.Donaldson,Jonathan.Hillg@comlab.ox.ac.uk David B. Skillicorn Department of Computing and Information
open this document and view contentsftp://ftp.comlab.ox.ac.uk/pub/Documents/techreports/TR-33-97.ps.Z, 19971202
Programming Research Group STABILITY OF COMMUNICATION PERFORMANCE IN PRACTICE: FROM THE CRAY T3E TO NETWORKS OF WORKSTATIONS Jonathan M.D. Hill and Stephen R. Donaldson Computing Laboratory University of Oxford Oxford, U.K. fJonathan.Hill, Stephen.Donaldsong@comlab.ox.ac.uk David B. Skillicorn
open this document and view contentsftp://ftp.comlab.ox.ac.uk/pub/Documents/techreports/NA-95-17.ps.gz, 19971212
Report no. 95/17 Implicit time accurate solutions on unstructured dynamic grids P. I. Crumpton M. B. Giles In this paper an unstructured multigrid algorithm is used as an iterative solution procedure for the discrete equations arising from an implicit time discretisation of the unsteady Euler equations
open this document and view contentsftp://ftp.comlab.ox.ac.uk/pub/Documents/techreports/NA-95-12.ps.gz, 19971212
Report no. 95/12 Stability analysis of numerical interface boundary conditions for parabolic equations M. B. Giles Oxford University Computing Laboratory Numerical Analysis Group This paper analyses the numerical stability of coupling procedures in modelling the thermal diffusion in a solid and fluid
open this document and view contentsftp://ftp.comlab.ox.ac.uk/pub/Documents/techreports/NA-95-19.ps.gz, 19971212
Report no. 95/19 An efficient cell vertex method for unstructured tetrahedral grids Paul Crumpton This paper introduces an efficient Euler solver for large tetrahedral grids (6:7 106 cells). The underlying method is a cell vertex finite volume formulation with a Lax{Wendroff pseudo time{stepping update.
open this document and view contentsftp://ftp.comlab.ox.ac.uk/pub/Documents/techreports/NA-95-03.ps.gz, 19971212
Report no. 95/03 Analysis of the Accuracy of Shock-Capturing in the Steady Quasi-1D Euler Equations M. B. Giles Oxford University Computing Laboratory Numerical Analysis Group Insight into the accuracy of steady shock-capturing CFD methods is obtained through analysis of a simple problem involving
open this document and view contentsftp://ftp.comlab.ox.ac.uk/pub/Documents/techreports/NA-95-04.ps.gz, 19971212
Report no. 95/04 Stability Analysis of Galerkin/Runge-Kutta Navier-Stokes Discretisations on Unstructured Grids M. B. Giles Oxford University Computing Laboratory Numerical Analysis Group This paper presents a timestep stability analysis for a class of discretisations applied to the linearised form of
open this document and view contentsftp://ftp.comlab.ox.ac.uk/pub/Documents/techreports/NA-95-13.ps.gz, 19971212
Report no. 95/13 Stability and accuracy of numerical boundary conditions in aeroelastic analysis M. B. Giles Oxford University Computing Laboratory Numerical Analysis Group This paper analyses the accuracy and numerical stability of coupling procedures in aeroelastic modelling. A two-dimensional model
open this document and view contentsftp://ftp.comlab.ox.ac.uk/pub/Documents/techreports/NA-96-06.ps.gz, 19971212
Report no. 96/06 Stability and convergence of discretisations of initial value p.d.e.'s M. B. Giles Oxford University Computing Laboratory Numerical Analysis Group This paper examines the stability and convergence of discretisations of initial value p.d.e.'s using spatial discretisation followed by time
open this document and view contentsftp://ftp.comlab.ox.ac.uk/pub/Documents/techreports/NA-95-18.ps.gz, 19971212
Report no. 95/18 AIRCRAFT COMPUTATIONS USING MULTIGRID AND AN UNSTRUCTURED PARALLEL LIBRARY Paul I. Crumpton Michael B. Giles This paper examines the application of unstructured multigrid, using a sequence of independent tetrahedral grids. The test cases examined are for inviscid flow over an aircraft
open this document and view contentsftp://ftp.comlab.ox.ac.uk/pub/Documents/techreports/NA-97-07.ps.gz, 19971212
Report no. 97/07 Aerospace design: a complex task M. B. Giles These lecture notes, prepared for the 1997 VKI Lecture Course on Inverse Design, identify some of the complexities inherent in the design of aeroengines and aircraft. It is argued that to handle the geometric complexities requires a
open this document and view contentsftp://ftp.comlab.ox.ac.uk/pub/Documents/techreports/NA-97-11.ps.gz, 19971212
Report no. 97/11 On adjoint equations for error analysis and optimal grid adaptation in CFD M. B. Giles This paper explains how the solutions of appropriate adjoint equations can be used to estimate the errors in important integral quantities, such as lift and drag, obtained from CFD computations. These
open this document and view contentsftp://ftp.comlab.ox.ac.uk/pub/Documents/techreports/NA-95-10.ps.gz, 19971217
Report no. 95/10 Preconditioning on Stretched Meshes Niles A. Pierce Michael B. Giles Oxford University Computing Laboratory Numerical Analysis Group High aspect ratio cells in a computational mesh compound the inherent stiffness in the Euler and Navier{Stokes equations which arises from a disparity in
open this document and view contentsftp://ftp.comlab.ox.ac.uk/pub/Documents/techreports/NA-95-20.ps.gz, 19971217
Report no. 95/20 A parallel framework for unstructured grid solvers D. A. Burgess P. I. Crumpton M. B. Giles The aim of this work is the parallel solution of large two and three dimensional CFD problems using unstructured grids. A general framework has been formulated to enable both parallel and
open this document and view contentsftp://ftp.comlab.ox.ac.uk/pub/Documents/techreports/NA-97-06.ps.gz, 19971217
ADAPTIVE ERROR CONTROL FOR FINITE ELEMENT APPROXIMATIONS OF THE LIFT AND DRAG COEFFICIENTS IN VISCOUS FLOW MICHAEL GILES, MATS G. LARSON, J. M ARTEN LEVENSTAM, AND ENDRE S ULI
open this document and view contentsftp://ftp.comlab.ox.ac.uk/pub/Documents/techreports/NA-97-08.ps.gz, 19971217
Report no. 97/08 Aerodynamic design optimisation for complex geometries using unstructured grids M. B. Giles These lecture notes, prepared for the 1997 VKI Lecture Course on Inverse Design, discuss the use of unstructured grid CFD methods in the design of complex aeronautical geometries. The emphasis is
open this document and view contentsftp://ftp.comlab.ox.ac.uk/pub/Documents/techreports/TR-16-97.ps.Z, 19980108
Programming Research Group A WEAKEST PRECONDITION SEMANTICS FOR Z (EXTENDED VERSION) Ana Cavalcanti Jim Woodcock PRG-TR-16-97 Oxford University Computing Laboratory Wolfson Building, Parks Road, Oxford OX1 3QD A Weakest Precondition Semantics for Z (Extended Version) Ana Cavalcanti Jim Woodcock May 1997
open this document and view contentsftp://ftp.comlab.ox.ac.uk/pub/Documents/techreports/NA-97-21.ps.gz, 19980109
Report no. 97/21 A posteriori error analysis and adaptivity for finite element approximations of hyperbolic problemsa Endre S uli The aim of this article is to present an overview of recent developments in the area of a posteriori error estimation for finite element approximations of hyperbolic
open this document and view contentsftp://ftp.comlab.ox.ac.uk/pub/Documents/techreports/TR-1-98.ps, 19980119
Programming Research Group APPROXIMATING SIMULATIONS Ingrid M. Rewitzky PRG-TR-1-98 Oxford University Computing Laboratory Wolfson Building, Parks Road, Oxford OX1 3QD Approximating simulations Ingrid M. Rewitzky Programming Research Group, Oxford University Computing Laboratory Parks Road, Oxford OX1