Browse

ftp://unix.hensa.ac.uk (129)

	ftp://unix.hensa.ac.uk/pub/misc/ukc.reports/comp.sci/reports/17-92.ps.Z, 19921020 The Parallel Solution of Partial Differential Equations on Transputer Networks Rudnei Dias da Cunha Computing Laboratory, University of Kent at Canterbury, U.K. Centro de Processamento de Dados, Universidade Federal do Rio Grande do Sul, Brasil Tim Hopkins Computing Laboratory, University of Kent at
	ftp://unix.hensa.ac.uk/pub/misc/ukc.reports/comp.sci/reports/89.ps.Z, 19921020 A Comparative Study of Some Iterative Methods to Solve Systems of Linear Equations using Transputer Networks Rudnei Dias da Cunha Computing Laboratory, University of Kent at Canterbury, U.K. Centro de Processamento de Dados, Universidade Federal do Rio Grande do Sul, Brasil Tim Hopkins Computing
	ftp://unix.hensa.ac.uk/pub/misc/ukc.reports/comp.sci/reports/16-92.ps.Z, 19921020 The Parallel Solution of Systems of Linear Equations using Iterative Methods on Transputer Networks Rudnei Dias da Cunha Computing Laboratory, University of Kent at Canterbury, U.K. Centro de Processamento de Dados, Universidade Federal do Rio Grande do Sul, Brasil Tim Hopkins Computing Laboratory,
	ftp://unix.hensa.ac.uk/pub/misc/ukc.reports/comp.sci/reports/72.ps.Z, 19921020 1 Tail Recursion Without Space Leaks Richard Jones Computing Laboratory University of Kent at Canterbury Canterbury, Kent, CT2 7NF rej@ukc.ac.uk
	ftp://unix.hensa.ac.uk/pub/misc/ukc.reports/comp.sci/reports/92.ps.Z, 19921020 A Comparative Study of Algorithms for Cyclic Reference Counting Rafael D. Lins & M arcio A. Vasques Dept. de Inform atica - Universidade Federal de Pernambuco - Recife - Brazil
	ftp://unix.hensa.ac.uk/pub/misc/ukc.reports/comp.sci/reports/62.ps.Z, 19921020 The Parallel Solution of Linear Elliptic Equations using Hopscotch Algorithms Osama El-Giar and Tim Hopkins Computing Laboratory University of Kent Canterbury Kent, CT2 7NF U.K.
	ftp://unix.hensa.ac.uk/pub/misc/ukc.reports/comp.sci/reports/20-92.ps.Z, 19921020 CMCM 10/7/92 1 The Categorical Multi-Combinator Machine: CMCM Simon Thompson Computing Laboratory, University of Kent at Canterbury,U.K. (sjt@ukc.ac.uk) Rafael Lins Department of Informatics, Federal University of Pernambuco, Brazil INTRODUCTION Implementations of functional programming languages can
	ftp://unix.hensa.ac.uk/pub/misc/ukc.reports/comp.sci/reports/77.ps.Z, 19921020 A Shared Memory Architecture for Parallel Cyclic Reference Counting Rafael D. Lins Dept. de Inform atica - Universidade Federal de Pernambuco - Recife - Brazil Computing Laboratory - The University of Kent - Canterbury - England. Introduction In late 1950's a whole number of applications in computer
	ftp://unix.hensa.ac.uk/pub/misc/ukc.reports/comp.sci/reports/7-92.ps.Z, 19921020 Partial Categorical Multi-Combinators and Church-Rosser Theorems Rafael D.Lins Dept.de Inform atica - Universidade Federal de Pernambuco - Recife - Brazil Computing Laboratory - the University of Kent - Canterbury - England 1
	ftp://unix.hensa.ac.uk/pub/misc/ukc.reports/comp.sci/reports/85.ps.Z, 19921020 Modular Extensions to Z Augusto Sampaio Silvio Meira1 Oxford University Universidade Federal de Pernambuco Programming Research Group Departamento de Inform atica 8-11 Keble Road, PO Box 7851 Oxford OX1 3QD, UK 50739 Recife BR
	ftp://unix.hensa.ac.uk/pub/misc/ukc.reports/comp.sci/reports/90.ps.Z, 19921020 Are subsets necessary in Martin-L of type theory Simon Thompson Computing Laboratory, University of Kent at Canterbury Canterbury, CT2 7NF, U.K. e-mail: sjt@ukc.ac.uk Introduction Martin-L of's theory of types, expounded in and discussed at greater length in
	ftp://unix.hensa.ac.uk/pub/misc/ukc.reports/comp.sci/reports/95.ps.Z, 19921020 Cyclic Weighted Reference Counting Rafael D.Lins & Richard E.Jones y Dept. de Inform atica - Universidade Federal de Pernambuco - Recife - Brazil Computing Laboratory - The University of Kent - Canterbury - England.
	ftp://unix.hensa.ac.uk/pub/misc/ukc.reports/comp.sci/reports/86.ps.Z, 19921020 The Parallel Solution of Triangular Systems of Linear Equations Rudnei Dias da Cunha Computing Laboratory, University of Kent at Canterbury, U.K. Centro de Processamento de Dados, Universidade Federal do Rio Grande do Sul, Brasil Tim Hopkins Computing Laboratory, University of Kent at Canterbury, U.K.
	ftp://unix.hensa.ac.uk/pub/misc/ukc.reports/comp.sci/reports/8-92.ps.Z, 19921020 Showing the destination of hypertext links: a new approach for Guide Maria da Gra ca Campos Pimentel Computing Laboratory, University of Kent at Canterbury, U.K. SCE{ICMSC, Universidade de S~ao Paulo, Brasil. May 1, 1992
	ftp://unix.hensa.ac.uk/pub/misc/ukc.reports/comp.sci/reports/11-92.ps.Z, 19921020 A POSTSCRIPT Tutorial and Reference Ian Utting Computing Laboratory, UKC
	ftp://unix.hensa.ac.uk/pub/misc/ukc.reports/comp.sci/reports/79.ps.Z, 19921020 A Generally Configurable Multigrid Implementation for the Solution of Three-Dimensional Elliptic Equations on a Transputer Network Osama El-Giar and Tim Hopkins Computing Laboratory University of Kent Canterbury, CT2 7NF Kent, UK.
	ftp://unix.hensa.ac.uk/pub/misc/ukc.reports/comp.sci/reports/24-92.ps.Z, 19921020 Cumulative Index to the ACM Algorithms Tim Hopkins and David Morse Computing Laboratory University of Kent Canterbury Kent, CT2 7NF, UK October 6, 1992
	ftp://unix.hensa.ac.uk/pub/misc/ukc.reports/comp.sci/reports/76.ps.Z, 19921020 NAG Spline Fitting Routines on a Graphics Workstation the Story so far Tim Hopkins Computing Laboratory University of Kent Canterbury, CT2 7NF Kent, U.K. October 20, 1992 1 Introduction One question which seems to recur with alarming regularity at our numerical advisory desk is How do I fit a nice
	ftp://unix.hensa.ac.uk/pub/misc/ukc.reports/comp.sci/reports/37.ps.Z, 19921020 Lawful functions and program verification in Miranda Simon Thompson Computing Laboratory, University of Kent at Canterbury, Canterbury, Kent, CT2 7NF, U.K. (telephone +44-227-764000 x.3820) July 10, 1992
	ftp://unix.hensa.ac.uk/pub/misc/ukc.reports/comp.sci/reports/9-92.ps.Z, 19921020 On The Equivalence Between CM-C and TIM Rafael D.Lins & Simon J.Thompson Dept. de Inform atica - Universidade Federal de Pernambuco - Recife - Brazil Computing Laboratory - The University of Kent - Canterbury - England.
	ftp://unix.hensa.ac.uk/pub/misc/ukc.reports/comp.sci/reports/25-92.ps.Z, 19921020 Cumulative Index to the Applied Statistics Algorithms Tim Hopkins and David Morse University of Kent Canterbury Kent, CT2 7NF, UK October 6, 1992 Chapter 1 Introduction We present an index of all the algorithms which have been published in Applied Statistics between 1968 and 1991 inclusive. The
	ftp://unix.hensa.ac.uk/pub/misc/ukc.reports/comp.sci/reports/56.ps.Z, 19921020 A Logic for Miranda Simon Thompson Computing Laboratory, University of Kent at Canterbury July 10, 1992 Contents I Introduction 3 II Fundamentals 4 1 The style of the logic 4 2 Identity and equality 5 3 How to express properties 6 3.1 Internal Definitions : : : : : : : : : : : : : : : : : : : : : : : :
	ftp://unix.hensa.ac.uk/pub/misc/ukc.reports/comp.sci/reports/6-92.ps.Z, 19921020 Observations and Recommendations on the Internationalisation of Software David Barnes The Computing Laboratory The University Canterbury Kent. CT2 7NF June 22, 1992
	ftp://unix.hensa.ac.uk/pub/misc/ukc.reports/comp.sci/reports/1-92.ps.Z, 19921020 A Multi-Processor Shared Memory Architecture for Parallel Cyclic Reference Counting Rafael D. Lins Dept. de Inform atica - Universidade Federal de Pernambuco - Recife - Brazil Computing Laboratory - The University of Kent - Canterbury - England. Introduction In 1975 Steele proposed what was possibly
	ftp://unix.hensa.ac.uk/pub/misc/ukc.reports/comp.sci/reports/81.ps.Z, 19921020 Distributing Matrix Eigenvalue Calculations over Transputer Arrays Tim Hopkins and Barry Vowden Computing Laboratory and Mathematical Institute University of Kent Canterbury, CT2 7NF Kent, UK. October 20, 1992
	ftp://unix.hensa.ac.uk/pub/misc/ukc.reports/comp.sci/reports/65.ps.Z, 19921020 Cyclic Reference Counting with Local Mark-Scan Alejandro D. Mart nez , Rosita Wachenchauzer & Rafael D. Linsy Dept. de Inform atica - Universidade Federal de Pernambuco - Recife - Brazil Computing Laboratory - The University of Kent - Canterbury - England Introduction The process of reclaiming storage
	ftp://unix.hensa.ac.uk/pub/misc/ukc.reports/comp.sci/reports/80.ps.Z, 19921020 Parallel Overrelaxation Algorithms for Systems of Linear Equations Rudnei Dias da Cunha Computing Laboratory, University of Kent at Canterbury, U.K. Centro de Processamento de Dados, Universidade Federal do Rio Grande do Sul, Brasil Tim Hopkins Computing Laboratory, University of Kent at Canterbury,
	ftp://unix.hensa.ac.uk/pub/misc/ukc.reports/comp.sci/reports/68.ps.Z, 19921020 Transputer Data-flow Solution for Systems of Linear Equations Tim Hopkins and Peter Welch Computing Laboratory University of Kent Canterbury, CT2 7NF Kent, UK. August 22, 1992
	ftp://unix.hensa.ac.uk/pub/misc/ukc.reports/comp.sci/reports/48.ps.Z, 19921020 Interactive functional programs: a method and a formal semantics Simon Thompson Computing Laboratory, University of Kent at Canterbury, U.K. July 10, 1992
	ftp://unix.hensa.ac.uk/pub/misc/ukc.reports/comp.sci/reports/19-92.ps.Z, 19921020 CMC: A Novel Way of Compiling Functional Languages Rafael D.Lins & Bruno O.Lira Dept. de Inform atica - Universidade Federal de Pernambuco - Recife - Brasil Computing Laboratory - The University of Kent - Canterbury - England
	ftp://unix.hensa.ac.uk/pub/misc/ukc.reports/comp.sci/reports/47.ps.Z, 19921020 SOFTWARE-PRACTICE AND EXPERIENCE, VOL. 20(0), 000-000 ( 1990) Implementing SASL using Categorical Multi-Combinators RAFAEL D.LINS Dept. de Inform atica, Universidade Federal de Pernambuco, 50.739, Recife, Brazil AND SIMON J.THOMPSON Computing Laboratory, The University of Kent, CT2 7NF, Canterbury,
	ftp://unix.hensa.ac.uk/pub/misc/ukc.reports/comp.sci/reports/10-92.ps.Z, 19921020 Computing Lab Technical Report No. 10/92 A Video Control Processor G. E. W. Tripp University of Kent at Canterbury
	ftp://unix.hensa.ac.uk/pub/misc/ukc.reports/comp.sci/reports/23-92.ps.Z, 19921020 A Generally Configurable Multigrid Implementation for Transputer Networks Osama El-Giar and Tim Hopkins Computing Laboratory University of Kent Canterbury Kent, CT2 7NF U.K. October 16, 1992
	ftp://unix.hensa.ac.uk/pub/misc/ukc.reports/comp.sci/reports/84.ps.Z, 19921020 On the Use of Structured Inductive Semantics in Source-to-Source Translation of Programming Languages Silvio Lemos Meira1 Ana L ucia Cavalcanti Alberto Pardo Departamento de Inform atica Universidade Federal de Pernambuco PO Box 7851, 50739 Recife - PE - Brazil
	ftp://unix.hensa.ac.uk/pub/misc/ukc.reports/comp.sci/reports/21-92.ps.Z, 19921031 Some Performance Figures for the G-Machine and its Optimisations Rafael D.Lins and Patricia G.Soaresa aDepartamento de Inform atica, Universidade Federal de Pernambuco, Cidade Universit aria, 50.739, Recife, PE, Brazil Computing Laboratory, The University of Kent at Canterbury, Canterbury, CT2 7NF,
	ftp://unix.hensa.ac.uk/pub/misc/ukc.reports/comp.sci/reports/26-92.ps.Z, 19921031 Cyclic Reference Counting with Lazy Mark-Scan Rafael D. Lins Dept. de Inform atica - U.F.PE. - Recife - Brazil Computing Lab. - The University - Canterbury - England. Key Words: Compilers, Garbage Collection, Functional Programming Introduction The technique usually employed for memory management in
	ftp://unix.hensa.ac.uk/pub/misc/ukc.reports/comp.sci/reports/22-92.ps.Z, 19921031 Generational Cyclic Reference Counting Rafael D. Lins Departamento de Inform atica - U.F.PE. - Recife - Brazil Computing Laboratory - The University - Canterbury - England. Key Words: Compilers, Garbage Collection, Functional Programming Introduction Automatic garbage collection is an area of rising
	ftp://unix.hensa.ac.uk/pub/misc/ukc.reports/comp.sci/reports/27-92.ps.Z, 19921207 GM-C A Graph Categorical Multi-Combinator Machine Martin A.Musicante & Rafael D.Lins Dept. de Inform atica - Universidade Federal de Pernambuco - Recife - Brazil Computing Laboratory - The University of Kent - Canterbury - England. Introduction Semantic elegance, referential transparency, and expressive
	ftp://unix.hensa.ac.uk/pub/misc/ukc.reports/comp.sci/reports/29-92.ps.Z, 19921207 Formulating Haskell Simon Thompson Computing Laboratory, University of Kent Canterbury, CT2 7NF, U.K. E-mail: sjt@ukc.ac.uk
	ftp://unix.hensa.ac.uk/pub/misc/ukc.reports/comp.sci/reports/28-92.ps.Z, 19921218 Cyclic Weighted Reference Counting without Delay Richard E. Jones and Rafael D. Lins Computing Laboratory University of Kent at Canterbury Canterbury, England email: rej,rdl@ukc.ac.uk Phone: +44 227 764000 ext. 7550 FAX: +44 227 762811 11 November 1992
	ftp://unix.hensa.ac.uk/pub/misc/ukc.reports/comp.sci/reports/2-92.ps.Z, 19921218 Recompression of Still Images Internal Report March 1992 Syin Chan Computing Laboratory University of Kent, Canterbury Kent CT2 7NF , United Kingdom
	ftp://unix.hensa.ac.uk/pub/misc/ukc.reports/comp.sci/reports/15-92.ps.Z, 19930209 The Computation of Polylogarithms David C. Wood
	ftp://unix.hensa.ac.uk/pub/misc/ukc.reports/comp.sci/reports/3-93.ps.Z, 19930323 An Implementation of OCR System Based on Skeleton Matching Ning LI Computing Laboratory University of Kent at Canterbury United Kingdom August 1991
	ftp://unix.hensa.ac.uk/pub/parallel/papers/twente/linxback.ps.Z, 19930324 The Twente LINX backplane M.H. Schwirtz, K.C.J. Wijbrans*, A.W.P. Bakkers, E.P. Hoogzaad and R. Bruis Mechatronics Research Centre Twente and Control Laboratory, Department of Electrical Engineering, University of Twente, P.O. Box 217, 7500 AE Enschede, Netherlands, e-mail: swz @ rt.el.utwente.nl
	ftp://unix.hensa.ac.uk/pub/parallel/papers/ukc/colin-wilcock/deadlock.ps.Z, 19930324 Deadlock Avoidance in Parallel Design Colin Willcock & Peter Welch Computing Laboratory, University of Kent at Canterbury
	ftp://unix.hensa.ac.uk/pub/misc/ukc.reports/comp.sci/reports/5-93.ps.Z, 19930422 Parallel Preconditioned Conjugate-Gradients Methods on Transputer Networks Rudnei Dias da Cunha Computing Laboratory, University of Kent at Canterbury, U.K. Centro de Processamento de Dados, Universidade Federal do Rio Grande do Sul, Brasil Tim Hopkins Computing Laboratory, University of Kent at
	ftp://unix.hensa.ac.uk/pub/misc/ukc.reports/comp.sci/reports/4-93.ps.Z, 19930422 Increasing the performance of occam using loop-unrolling Rudnei Dias da Cunha Computing Laboratory, University of Kent at Canterbury, U.K. Centro de Processamento de Dados, Universidade Federal do Rio Grande do Sul, Brasil Tim Hopkins Computing Laboratory, University of Kent at Canterbury, U.K.
	ftp://unix.hensa.ac.uk/pub/misc/ukc.reports/comp.sci/reports/7-93.ps.Z, 19930430 A PARALLEL IMPLEMENTATION OF THE RESTARTED GMRES ITERATIVE METHOD FOR NONSYMMETRIC SYSTEMS OF LINEAR EQUATIONS RUDNEI DIAS DA CUNHA y AND TIM HOPKINS z
	ftp://unix.hensa.ac.uk/pub/parallel/papers/t9000/t9-evaluation.ps.Z, 19930512 T9000 - A Preliminary Evaluation of Arithmetic Performance G. Bader and B. Przywara Interdisziplin ares Zentrum f ur Wissenschaftliches Rechnen Universit at Heidelberg Im Neuenheimer Feld 368 D-6900 Heidelberg t9@iwr1.iwr.Uni-Heidelberg.de May 5, 1993
	ftp://unix.hensa.ac.uk/pub/parallel/papers/ukc/peter-welch/going-to-ceed.ps.Z, 19930519 GOING TO Ceed P.H.Welch, Computing Laboratory, University of Kent Introduction These notes are a contribution to the debate on the initial programming language(s) to be taught to first year undergraduates. Specifically, they address the issue of the teaching of sound software engineering principles in
	ftp://unix.hensa.ac.uk/pub/parallel/papers/ukc/peter-welch/goto-considered-harmful-n.ps.Z, 19930519 GOTO (CONSIDERED HARMFUL)n, n IS ODD P.H.Welch, Computing Laboratory, The University, Canterbury, KENT CT2 7NF SOME CORRESPONDENCE You have either been following, or else have just missed, an entertaining series of letters in the columns of the Communications of the ACM. The subject was the GOTO
	ftp://unix.hensa.ac.uk/pub/misc/ukc.reports/comp.sci/reports/1-93.ps.Z, 19930616 Farming: towards a rigorous definition and efficient transputer implementation Warren Day, Steve Hill University of Kent
	ftp://unix.hensa.ac.uk/pub/parallel/papers/cm5/adelade/cm5eval.ps.Z, 19930617 Evaluation of Characteristics of Three Programming Paradigms Supported by Existing CM5 Software Dean Engelhardt January 15, 1993 1 Introduction This report details a series of experiments undertaken to gain an impression of the char- acteristics and performance of the currently available programming
	ftp://unix.hensa.ac.uk/pub/parallel/papers/cm5/adelade/exper-example.ps.Z, 19930617 Extended Example of CDPEAC Algorithm This document gives an extended example of the operation of the computation stage of the vectorised Laplace algorithm described in Section 4 of the Technical Report Experiences with CDPEAC: Vectorising a Laplace Iteration". The example shows diagrammatically how
	ftp://unix.hensa.ac.uk/pub/parallel/papers/cm5/adelade/exper-cdpeac.ps.Z, 19930617 Experiences with CDPEAC: Vectorising a Laplace Iteration on the CM5 Dean Engelhardt and Andrew Wendelborn University of Adelaide, South Australia May 31, 1993
	ftp://unix.hensa.ac.uk/pub/parallel/papers/surveys/soft-env-net-report.ps.gz, 19930809 A Survey of Software Environments for Exploiting Networked Computing Resources by Louis H. Turcotte June 11, 1993 Engineering Research Center for Computational Field Simulation P.O. Box 6176 Mississippi State, MS 39762 Preface This report presents a survey of existing and evolving software products
	ftp://unix.hensa.ac.uk/pub/parallel/papers/surveys/par-prog-workstation-clusters.ps.gz, 19930914 PARALLEL PROGRAMMING SYSTEMS FOR WORKSTATION CLUSTERS CRAIG C. DOUGLASy , TIMOTHY G. MATTSONz AND MARTIN H. SCHULTZx
	ftp://unix.hensa.ac.uk/pub/misc/ukc.reports/comp.sci/reports/8-93.ps.Z, 19930915 PARALLEL SEARCHING FOR A FIRST SOLUTION1 Bo zena BARTOSZEKa , Zbigniew J. CZECHb and Marek KONOPKAc aComputing Laboratory, University of Kent, Canterbury, CT2 7NF, England2 bInstitutes of Computer Science, Silesian Technical University and Polish Academy of Sciences, ul. Ba tycka 8, 44-100 Gliwice,
	ftp://unix.hensa.ac.uk/pub/parallel/papers/surveys/twelve-ways-to-fool-masses.ps.gz, 19931025 Twelve Ways to Fool the Masses When Giving Performance Results on Parallel Computers David H. Bailey RNR Technical Report RNR-91-020 June 11, 1991
	ftp://unix.hensa.ac.uk/pub/parallel/papers/twente/fft.ps.Z, 19931029 A generalized FFT algorithm on transputersHerman RoebbersUniversity of Twente, EL/BSC Dept., P.O.Box 217, 7500 AE Enschede, The NetherlandsPeter WelchUniversity of Kent at Canterbury, Computing Laboratory,Canterbury, Kent, England, CT2 7NFKlaas Wijbrans*Van Rietschoten & Houwens, Rotterdam, The
	ftp://unix.hensa.ac.uk/pub/misc/ukc.reports/comp.sci/reports/10-93.ps.Z, 19931118 The Specification in Z of the REX Protocol J. Derrick & R. Sultana The Computing Laboratory, University of Kent, Canterbury, CT2 7NF 15 November 1993
	ftp://unix.hensa.ac.uk/pub/parallel/papers/surveys/ossurvey.ps.gz, 19931122 A Survey of Multiprocessor Operating System Kernels (DRAFT) Bodhisattwa Mukherjee (bodhi@cc.gatech.edu) Karsten Schwan (schwan@cc.gatech.edu) Prabha Gopinath (gopinath prabha@ssdc.honeywell.com) GIT CC 92/05 5 November 1993
	ftp://unix.hensa.ac.uk/pub/misc/ukc.reports/comp.sci/reports/9-93.ps.Z, 19931124 Teaching Electronic Publishing: Learning Software Engineering Richard E. Jones and Ian A. Utting University of Kent at Canterbury {rej,iau}@ukc.ac.uk
	ftp://unix.hensa.ac.uk/pub/misc/ukc.reports/comp.sci/reports/13-93.ps.Z, 19931203 An Overview of Rendering from Volume Data \| including Surface and Volume Rendering Jonathan C. Roberts University of Kent at Canterbury December 1993
	ftp://unix.hensa.ac.uk/pub/misc/ukc.reports/comp.sci/reports/12-93.ps.Z, 19931214 Using parallel programming environments on clusters of workstations Rudnei Dias da Cunha Computing Laboratory, University of Kent at Canterbury, U.K. Centro de Processamento de Dados, Universidade Federal do Rio Grande do Sul, Brasil Tim Hopkins Computing Laboratory, University of Kent at Canterbury,
	ftp://unix.hensa.ac.uk/pub/misc/ukc.reports/comp.sci/reports/14-93.ps.Z, 19940107 A Logic for Miranda, Revisited Simon Thompson Computing Laboratory, University of Kent Canterbury, CT2 7NF, U.K.
	ftp://unix.hensa.ac.uk/pub/misc/ukc.reports/comp.sci/reports/2-94.ps.Z, 19940218 PIM 1.1 The Parallel Iterative Methods package for Systems of Linear Equations User's Guide (Fortran 77 version) Rudnei Dias da Cunha and Tim Hopkins Computing Laboratory University of Kent at Canterbury United Kingdom
	ftp://unix.hensa.ac.uk/pub/misc/ukc.reports/comp.sci/reports/3-94.ps.Z, 19940317 Towards a Formal Model of Consistency in ODP Howard Bowman and John Derrick. Computing Laboratory, University of Kent, Canterbury, CT2 7NF, UK. (Phone: + 44 227 764000, Fax: +44 227 762811, Email: hb5@ukc.ac.uk and jd1@ukc.ac.uk.) March 17, 1994
	ftp://unix.hensa.ac.uk/pub/misc/ukc.reports/comp.sci/reports/4-94.ps.Z, 19940317 A COMPARISON OF ACCELERATION TECHNIQUES APPLIED TO THE SOR METHOD RUDNEI DIAS DA CUNHA Computing Laboratory, University of Kent at Canterbury, U.K. Centro de Processamento de Dados, Universidade Federal do Rio Grande do Sul, Brasil and TIM HOPKINS Computing Laboratory, University of Kent at Canterbury,
	ftp://unix.hensa.ac.uk/pub/misc/ukc.reports/comp.sci/reports/5-94.ps.Z, 19940317 The Design and Implementation of the RPC Device Drivers Ian A Penny (email: iap@ukc.ac.uk) 16th December 1993 1 Overview The RPC project group is investigating high performance communication network interface structures which are compatible with existing operating systems, in this instance SunOS 4.1
	ftp://unix.hensa.ac.uk/pub/misc/ukc.reports/pssru/reports/dp799.ps.gz, 19940328 Expenditure Planning in the Personal Social Services: Unit Costs in the 1980's1. A.C.Bebbington2 and A.Kelly3. PSSRU DP 799/3, March 1994.
	ftp://unix.hensa.ac.uk/pub/misc/ukc.reports/pssru/report_list.ps.gz, 19940427 PSSRU University of Kent. Discussion Paper List as at January 1994. Prices are for paper copies, including postage, packing and VAT, available from The Librarian, The Griffiths Library, PSSRU, University of Kent, Canterbury, Kent CT2 7NP, UK. DP1021 Martin Knapp THE HEALTH ECONOMICS OF SCHIZOPHRENIA
	ftp://unix.hensa.ac.uk/pub/misc/ukc.reports/comp.sci/reports/7-94.ps.Z, 19940527 Extending Object-Oriented Database Concepts to Support a Wider Range of Applications Dr.Elizabeth Oxborrow University of Kent at Canterbury October 1993
	ftp://unix.hensa.ac.uk/pub/misc/ukc.reports/comp.sci/reports/9-94.ps.Z, 19940527 Computing Laboratory Technical Report No. 9/94 IPP Routing Architecture Damiano Bolla University of Kent at Canterbury, England May, 1994
	ftp://unix.hensa.ac.uk/pub/misc/ukc.reports/comp.sci/reports/6-94.ps.Z, 19940721 PEST: A Knowledge Based System for Product Promotions Tony Curtis, Kent (tony@austria.eu.net) John Dawson, Edinburgh Donald Harris, Stirling Ken Johnson, Edinburgh (k.johnson@ed.ac.uk) John Slater, Kent (jbs@ukc.ac.uk) Matthew Taylor, Edinburgh (matt@castle.ed.ac.uk) Contents 1 Introduction 3 2 The
	ftp://unix.hensa.ac.uk/pub/misc/ukc.reports/comp.sci/reports/10-94.ps.Z, 19940721 Indexing the World Ian Cooper (ihc@ukc.ac.uk) Computing Laboratory University of Kent at Canterbury Canterbury, Kent CT2 7NF United Kingdom Telephone: +44 227 764000. Facsimile +44 227 762811 July 9, 1994
	ftp://unix.hensa.ac.uk/pub/parallel/papers/evaluations/ksr1/mannheim/rum3593.ps.gz, 19940728 One Year KSR1 at the University of Mannheim
	ftp://unix.hensa.ac.uk/pub/parallel/papers/surveys/early_apps_mpi.ps.gz, 19940728 Early Applications in the Message-Passing Interface (MPI) Anthony Skjellumyz Department of Computer Science & NSF Engineering Research Center for Computational Field Simulation Mississippi State University PO Box 6176 Mississippi State, MS 39762 Ewing Lusk, William Groppx Argonne National Laboratory
	ftp://unix.hensa.ac.uk/pub/parallel/papers/surveys/rum3894.ps.gz, 19940728 TOP500 Supercomputer Sites Jack J. Dongarra Computer Science Department University of Tennessee Knoxville, TN 37996-1301 and Mathematical Science Section Oak Ridge National Laboratory Oak Ridge, TN 37831-6367 dongarra@cs.utk.edu Hans W. Meuer Erich Strohmaier Computing Center University of Mannheim P.O.
	ftp://unix.hensa.ac.uk/pub/parallel/papers/surveys/rum3393.ps.gz, 19940728 TOP500 Supercomputer Sites Jack J. Dongarra Computer Science Department University of Tennessee Knoxville, TN 37996-1301 and Mathematical Science Section Oak Ridge National Laboratory Oak Ridge, TN 37831-6367 dongarra@cs.utk.edu Hans W. Meuer Erich Strohmaier Computing Center University of Mannheim P.O.
	ftp://unix.hensa.ac.uk/pub/misc/ukc.reports/comp.sci/reports/11-94.ps.Z, 19940729 What can Archives offer the World Wide Web Neil Smith UNIX HENSA, University of Kent at Canterbury. March 22, 1994
	ftp://unix.hensa.ac.uk/pub/misc/ukc.reports/comp.sci/reports/18-94.ps.Z, 19940912 A Comment on the Eispack Machine Epsilon Routine Tim Hopkins and John Slater Computing Laboratory University of Kent Canterbury, CT2 7NF Kent, UK. September 12, 1994
	ftp://unix.hensa.ac.uk/pub/misc/ukc.reports/comp.sci/reports/16-94.ps.Z, 19940913 The Lazy Z-Buffer Steve Hill September 13, 1994
	ftp://unix.hensa.ac.uk/pub/misc/ukc.reports/comp.sci/reports/17-94.ps.Z, 19940913 The Functional Simulation of a Simple Microprocessor Steve Hill September 13, 1994
	ftp://unix.hensa.ac.uk/pub/misc/ukc.reports/comp.sci/reports/13-94.ps.Z, 19940922 VitKit: a Voice Interaction Toolkit Mike Rizzo, Peter Linington and Ian Utting Computing Laboratory, University of Kent at Canterbury, Canterbury, KENT CT2 7NF, UK September 12, 1994 1 Introduction The modern tone-dialling telephone is often under-estimated as a vehicle for user interfacing with
	ftp://unix.hensa.ac.uk/pub/misc/ukc.reports/comp.sci/reports/22-94.ps.Z, 19940927 Implementing a Transputer SCSI Interface Andrew Smith, Computing Laboratory, University of Kent, Canterbury, Kent. CT2 7NF
	ftp://unix.hensa.ac.uk/pub/misc/ukc.reports/comp.sci/reports/8-94.ps.Z, 19941006 Electronic Journal Provision using Acrobat Judith Wusteman Computing Laboratory, University of Kent, Canterbury, Kent, CT2 7NZ. email jcw@uk.ac.ukc October 2, 1994
	ftp://unix.hensa.ac.uk/pub/misc/ukc.reports/comp.sci/reports/23-94.ps.Z, 19941024 Electronic Journals using Acrobat, Mosaic and Guide Judith Wusteman and Heather Brown Computing Laboratory University of Kent at Canterbury England
	ftp://unix.hensa.ac.uk/pub/misc/ukc.reports/comp.sci/reports/19-94.ps.Z, 19941110 The Parallel Iterative Methods (PIM) package for the solution of systems of linear equations on parallel computers Rudnei Dias da Cunha National Supercomputing Centre and Mathematics Institute Universidade Federal do Rio Grande do Sul, Brazil rudnei@cesup.ufrgs.br Tim Hopkins Computing Laboratory
	ftp://unix.hensa.ac.uk/pub/misc/ukc.reports/comp.sci/reports/24-94.ps.Z, 19941111 Continuation Passing Combinators for Parsing Precedence Grammars Steve Hill, University of Kent, UK November 10, 1994
	ftp://unix.hensa.ac.uk/pub/misc/ukc.reports/comp.sci/reports/28-94.ps.Z, 19941205 A Remark on Algorithm AS30 { Half-Normal Plotting By Tim Hopkins and David Morse Computing Laboratory, University of Kent, Canterbury, Kent CT2 7NF, UK. Keywords: Half-normal plot; Normality of residuals; Factorial experiments; Analysis of variance. LANGUAGE Fortran 77. DESCRIPTION AND PURPOSE Given a
	ftp://unix.hensa.ac.uk/pub/misc/ukc.reports/comp.sci/reports/25-94.ps.Z, 19941205 An Agent-based Model for the Provision of Advanced Telecommunications Services Mike Rizzo Dept of Computer Science & A.I. University of Malta Msida, Malta Tel: ++356 333903 Fax: ++356 320539 Email: mriz@unimt.mt (from October 1995) Computing Laboratory University of Kent at Canterbury Canterbury, Kent
	ftp://unix.hensa.ac.uk/pub/misc/ukc.reports/comp.sci/reports/29-94.ps.Z, 19941205 A Remark on Algorithm AS57 { Printing Multidimensional Tables By Tim Hopkins and David Morse Computing Laboratory, University of Kent, Canterbury, Kent CT2 7NF, UK. Keywords: Table; Printing; Multidimensional. LANGUAGE Fortran 77. DESCRIPTION AND PURPOSE This routine is a Fortran 77 version of that
	ftp://unix.hensa.ac.uk/pub/misc/ukc.reports/comp.sci/reports/26-94.ps.Z, 19941205 Using Producer and Consumer Manipulators to Extend Stream I/O Formatting in C++ Michael Rizzo Computing Laboratory, University of Kent Canterbury, KENT CT2 7NF, UK Email: M.Rizzo@ukc.ac.uk Published in ACM SIGPLAN Notices 29(3), March 1994. Introduction The C++ iostream package makes use of the notion
	ftp://unix.hensa.ac.uk/pub/misc/ukc.reports/comp.sci/reports/27-94.ps.Z, 19941205 SOFTWARE PRACTICE AND EXPERIENCE, VOL. 0(0), (XXX 1900) Software Evolution: A Case Study TIM HOPKINS Computing Laboratory, University of Kent, Canterbury, CT2 7NF, Kent, UK SUMMARY We look at how both logical restructuring and the improvements in the facilities available from successive versions of
	ftp://unix.hensa.ac.uk/pub/misc/ukc.reports/comp.sci/reports/3-95.ps.Z, 19950109 Share F ree Revisited Andy King Computing Laboratory, University of Kent at Canterbury, Canterbury, CT2 7NF, UK. e-mail: amk1@ukc.ac.uk
	ftp://unix.hensa.ac.uk/pub/misc/ukc.reports/comp.sci/reports/4-95.ps.Z, 19950525 Abstract Matching can improve on Abstract Unification Andy King Computing Laboratory, University of Kent at Canterbury, Canterbury, CT2 7NF, UK. a.m.king@ukc.ac.uk Mark Longley Dept. of Electronics and Computer Science, University of Southampton, Southampton, S09 5NH, UK. ml@ecs.soton.ac.uk March 3,
	ftp://unix.hensa.ac.uk/pub/misc/ukc.reports/comp.sci/reports/14-94.ps.Z, 19950525 Integration of Location Services in the Open Distributed Office Mike Rizzo, Peter F. Linington, and Ian A. Utting Computing Laboratory, University of Kent Canterbury, Kent CT2 7NF United Kingdom Keywords: distributed systems, location systems, active badges, ubiquitous computing.
	ftp://unix.hensa.ac.uk/pub/misc/ukc.reports/comp.sci/reports/7-95.ps.Z, 19950525 Electronic Journals Using Guide Judith Wusteman and Heather Brown Computing Laboratory University of Kent at Canterbury England
	ftp://unix.hensa.ac.uk/pub/misc/ukc.reports/comp.sci/reports/5-95.ps.Z, 19950525 Formal Aspects of Computing (1994) 3: 1{000 c 1994 BCS A Logic for Miranda,1 Revisited Simon Thompson Computing Laboratory, University of Kent Canterbury, CT2 7NF, U.K. Keywords: Functional programming; program verification; logic; Miranda; operational semantics; Isabelle
	ftp://unix.hensa.ac.uk/pub/misc/ukc.reports/comp.sci/reports/15-94.ps.Z, 19950525 Call Management in the Open Distributed Office Mike Rizzo, Peter F. Linington and Ian A. Utting Computing Laboratory, University of Kent at Canterbury, Canterbury, KENT CT2 7NF, UK November 1994 1 Introduction Recent developments in telecommunications networks represent an opportunity to develop a whole
	ftp://unix.hensa.ac.uk/pub/misc/ukc.reports/comp.sci/reports/12-94.ps.Z, 19950525 The ODO Project: a Case Study in Integration of Multimedia Services Mike Rizzo, Peter F. Linington, and Ian A. Utting Computing Laboratory, University of Kent, Canterbury, UK August 1994 1 Introduction Recent years have witnessed a steady growth in the availability of wide-area multi-service networks.
	ftp://unix.hensa.ac.uk/pub/misc/ukc.reports/comp.sci/reports/9-95.ps.Z, 19950525 UKC COMPUTING MAY95 Programming Language Semantics using Miranda Simon Thompson
	ftp://unix.hensa.ac.uk/pub/misc/ukc.reports/comp.sci/reports/6-95.ps.Z, 19950525 An ATM Interface with facilities for Traffic Generation and Monitoring. Technical Report Gerald Tripp The Computing Laboratory The University of Kent at Canterbury 1. Introduction This paper describes an ATM interface with additional facilities to also allow it to act as both a traffic monitor and
	ftp://unix.hensa.ac.uk/pub/misc/ukc.reports/comp.sci/reports/8-95.ps.Z, 19950703 1 Cross Viewpoint Consistency in Open Distributed Processing (Intra language Consistency) Prepared by Eerke Boiten, Howard Bowman, John Derrick, Maarten Steen Computing Laboratory University of Kent at Canterbury Canterbury Kent CT2 7NF Phone +44-1227-764000 Fax +44-1227-762811 Email
	ftp://unix.hensa.ac.uk/pub/misc/ukc.reports/comp.sci/reports/10-95.ps.Z, 19951003 RIVUS: A Template Language for Modelling Multimedia Streams Donna Lindsey (email: D.L.Lindsey@ukc.ac.uk) University of Kent
	ftp://unix.hensa.ac.uk/pub/misc/ukc.reports/comp.sci/reports/12-95.ps.Z, 19951205 1 Strategies for Consistency Checking H. Bowman, E.A. Boiten, J. Derrick and M. Steen Computing Laboratory, University of Kent at Canterbury, Canterbury, CT2 7NF, UK. (Phone: +44 1227 827913, Fax: 44 1227 762811 Email: fH.Bowman,E.A.Boiten,J.Derrick,mwasg@ukc.ac.uk. Introduction This report describes an
	ftp://unix.hensa.ac.uk/pub/misc/ukc.reports/comp.sci/reports/13-95.ps.Z, 19951211 An occam style communications system for unix networks Kevin J. Vella Computing Laboratory Dept. of Computer Science & A.I. University of Kent at Canterbury University of Malta Canterbury, Kent CT2 7NF, U.K. Msida MSD06, Malta E-mail: kv4@ukc.ac.uk E-mail: kvel@cs.unimt.mt Tel: ++44 1227 764000 Tel:
	ftp://unix.hensa.ac.uk/pub/misc/ukc.reports/comp.sci/reports/1-96.ps.Z, 19960118 PIM 2.0 The Parallel Iterative Methods package for Systems of Linear Equations User's Guide (Fortran 77 version) Rudnei Dias da Cunha Mathematics Institute and National Supercomputing Centre Universidade Federal do Rio Grande do Sul Brasil Tim Hopkins Computing Laboratory University of Kent at
	ftp://unix.hensa.ac.uk/pub/misc/ukc.reports/comp.sci/reports/2-96.ps.Z, 19960118 SOFTWARE PRACTICE AND EXPERIENCE, VOL. 0(0), (XXX 1900) Restructuring Software: A Case Study TIM HOPKINS Computing Laboratory, University of Kent, Canterbury, CT2 7NF, Kent, UK trh@ukc.ac.uk SUMMARY We use knot count and path count metrics to identify which routines in the Level 1 BLAS might benefit
	ftp://unix.hensa.ac.uk/pub/misc/ukc.reports/comp.sci/reports/4-96.ps.Z, 19960124 UKC COMPUTING JANUARY 1996 HTML macros - Easing the construction and maintenance of Web texts HTML macros - Easing the construction and maintenance of Web texts 1 Andrew Peel (A.T.Peel@ukc.ac.uk) Computing Laboratory University of Kent at Canterbury Canterbury, Kent CT2 7NF United Kingdom Telephone: +44
	ftp://unix.hensa.ac.uk/pub/misc/ukc.reports/comp.sci/reports/11-95.ps.Z, 19960205 PDA Web Browsers: Implementation Issues Ian Coopery& Royston Shufflebothamz Computing Laboratory The University of Kent at Canterbury Kent CT2 7NF United Kingdom email: (ihc,rws)@ukc.ac.uk November 9, 1995
	ftp://unix.hensa.ac.uk/pub/misc/ukc.reports/comp.sci/reports/5-96.ps.Z, 19960209 Strategies for Consistency Checking, the Choice of Unification H. Bowman, E.A. Boiten, J. Derrick and M.W.A. Steen Computing Laboratory, University of Kent, Canterbury, CT2 7NF, UK. (Phone: + 44 1227 764000, Fax 44 1227 762811 Email: fH.Bowman,E.A.Boiten,J.Derrick,mwasg@ukc.ac.uk.)
	ftp://unix.hensa.ac.uk/pub/misc/ukc.reports/comp.sci/reports/3-96.ps.Z, 19960215 Randomized PRAM Simulation Using T9000 Transputers Zbigniew J. Czech Wojciech Mikanik y Institute of Computer Science, Silesia University of Technology 44{100 Gliwice, Poland Fax: +48-32-37-27-33 E-mails: fzjc,wmikanikg@zeus.polsl.gliwice.pl
	ftp://unix.hensa.ac.uk/pub/misc/ukc.reports/comp.sci/reports/7-96.ps.Z, 19960503 Electronic Journal Formats Judith Wusteman Computing Laboratory University of Kent at Canterbury
	ftp://unix.hensa.ac.uk/pub/misc/ukc.reports/comp.sci/reports/9-96.ps.Z, 19960610 An analysis of World-Wide Web Proxy Cache performance and its application to the modelling and simulation of network traffic. David Barnes and Neil Smith The Computing Laboratory, The University Canterbury Kent CT2 7NF England. Email: N.G.Smith@ukc.ac.uk
	ftp://unix.hensa.ac.uk/pub/misc/ukc.reports/comp.sci/reports/10-96.ps.Z, 19960610 Freely Redistributable Software across the Internet - Current practice and future directions to overcome the bandwidth crisis. Neil Smith HENSA Unix, University of Kent at Canterbury.
	ftp://unix.hensa.ac.uk/pub/misc/ukc.reports/comp.sci/reports/11-96.ps.Z, 19960610 The UK National Web Cache A State of the Art Report Neil G. Smith, HENSA Unix, The University of Kent at Canterbury.
	ftp://unix.hensa.ac.uk/pub/misc/ukc.reports/comp.sci/reports/8-96.ps.Z, 19960610 The ACademic DireCtory - AC/DC Technical Report 8-96 Computing Laboratory, University of Kent at Canterbury Dave Beckett, D.J.Beckett@ukc.ac.uk University of Kent at Canterbury Neil G. Smith, N.G.Smith@unix.hensa.ac.uk HENSA Unixy, University of Kent
	ftp://unix.hensa.ac.uk/pub/misc/ukc.reports/comp.sci/reports/12-96.ps.Z, 19960612 Technical Reports Search Service M. L. Bowman Research Fellow University of Kent May 8, 1996
	ftp://unix.hensa.ac.uk/pub/misc/ukc.reports/comp.sci/reports/14-96.ps.Z, 19960814 1 A Comparison of the Effectiveness of a Dichotomous Key and a Multi-Access Key to Woodlice D.R. Morse & G.M. Tardivel Computing Laboratory University of Kent Canterbury Kent CT2 7NF Email: D.R.Morse@ukc.ac.uk G.M.Tardivel@ukc.ac.uk J. Spicer Department of Animal and Plant Sciences University of
	ftp://unix.hensa.ac.uk/pub/misc/ukc.reports/comp.sci/reports/16-96.ps.Z, 19960820 A Cyclic Distributed Garbage Collector for Network Objects Helena Rodrigues and Richard Jones Computing Laboratory, University of Kent, Canterbury, Kent CT2 7NF, UK Tel: +44 1227 764000 x7754, Fax +44 1227 762811 email: fhccdr,R.E.Jonesg@ukc.ac.uk
	ftp://unix.hensa.ac.uk/pub/misc/ukc.reports/comp.sci/reports/18-96.ps.Z, 19961010 The Implementation and Visualisation of a Large Spatial Individual-Based Model using Fortran 90 Tim Hopkins and David R. Morse Computing Laboratory, University of Kent at Canterbury, Canterbury, Kent CT2 7NF, UK October 10, 1996
	ftp://unix.hensa.ac.uk/pub/misc/ukc.reports/comp.sci/reports/6-93.ps.Z, 19961028 PORTING LINEAR ALGEBRA SUBROUTINES FROM TRANSPUTERS TO CLUSTERS OF WORKSTATIONS RUDNEI DIAS DA CUNHA y AND TIM HOPKINS z
	ftp://unix.hensa.ac.uk/pub/misc/ukc.reports/comp.sci/reports/19-96.ps.Z, 19961031
	ftp://unix.hensa.ac.uk/pub/misc/ukc.reports/comp.sci/reports/21-96.ps.Z, 19961212 Generating Efficient, Terminating Logic Programs Jonathan C. Martin1 and Andy King2 1 Department of Electronics and Computer Science, University of Southampton, Southampton, SO9 5NH, UK. jcm93r@ecs.soton.ac.uk 2 Computing Laboratory, University of Kent at Canterbury, Canterbury, CT2 7NF, UK.
	ftp://unix.hensa.ac.uk/pub/misc/ukc.reports/comp.sci/reports/20-96.ps.Z, 19961212 Lower-bound Time-complexity Analysis of Logic Programs Andy King , Kish Sheny and Florence Benoy
	ftp://unix.hensa.ac.uk/pub/misc/ukc.reports/comp.sci/reports/1-97.ps.Z, 19970210 This is page 1 Printer: Opaque this Is the Quality of Numerical Subroutine Code Improving T. R. Hopkins1
	ftp://unix.hensa.ac.uk/pub/misc/ukc.reports/comp.sci/reports/8-97.ps.Z, 19970422 Domain Construction for Mode Analysis of Typed Logic Programs Jan{Georg Smaus , Pat Hilly and Andy King March 1997