Browse

ftp://ftp.cs.bris.ac.uk (46)

	ftp://ftp.cs.bris.ac.uk/tech-reports/1993/1993-raina.ps.gz, 19950519 Emulation of a Virtual Shared Memory Architecture Sanjay Raina A thesis submitted to the University of Bristol in accordance with the requirements for the degree of Doctor of Philosophy in the Faculty of Engineering, Department of Computer Science. September 1993
	ftp://ftp.cs.bris.ac.uk/tech-reports/1993/1993-architecture93.ps.gz, 19950519 The Data Diffusion Machine with a Scalable Point-to-Point Network Henk L. Muller Paul W. A. Stallard David H. D. Warren October 1993 CSTR-93-17 University of Bristol Computer Science Department The Data Diffusion Machine with a Scalable Point-to-Point Network Henk L. Mullery Paul W.A. Stallard David
	ftp://ftp.cs.bris.ac.uk/tech-reports/1994/1994-emulator94.ps.gz, 19950519 Published in: Proceedings of the 8th International Parallel Processing Symposium, IPPS'94, April 26 29, 1994, Cancun, Mexico, pages 260 267. c 1994 IEEE, Reprinted with permission of the IEEE. Parallel Evaluation of a Parallel Architecture by means of Calibrated Emulation Henk L. Muller Paul W.A.
	ftp://ftp.cs.bris.ac.uk/tech-reports/1994/1994-evaluation94.ps.gz, 19950523 Published in: Proceedings of the International Workshop on Support for Large Scale Shared Memory Architectures In conjunction with 8th IPPS, April 26 29 1994, Cancun, Mexico, pages 115 128. An Evaluation Study of a Link-Based Data Diffusion Machiney Henk L. Mullerz Paul W.A. Stallard David H.D. Warren
	ftp://ftp.cs.bris.ac.uk/tech-reports/1993/1993-ddmx93.ps.gz, 19950523 Published in: Proceedings of Performance Evaluation of Parallel Systems PEPS'93, pages 94 101, University of Warwick, UK, 1993 Performance Evaluation of Parallel Programs on the Data Diffusion Machine Paul W.A. Stallard Henk L. Muller David H.D. Warren Department of Computer Science, University of
	ftp://ftp.cs.bris.ac.uk/tech-reports/1992/1992-raina.ps.gz, 19950523 December 1992 CSTR-92-36 University of Bristol Department of Computer Science Virtual Shared Memory: A Survey of Techniques and Systems Sanjay Raina Virtual Shared Memory: A Survey of Techniques and Systems Sanjay Raina Dept. of Computer Science University of Bristol Bristol BS8 1TR, U.K.
	ftp://ftp.cs.bris.ac.uk/tech-reports/1994/1994-davies.ps.gz, 19950524 September 1994 CSTR-94-11 University of Bristol Department of Computer Science Use of an Observationally-based Performance Model for Informing Scheduling Decisions Neil Davies ACRC-94:CS-11Also issued as Use of an Observationally-based Performance Model for Informing Scheduling Decisions Neil Davies
	ftp://ftp.cs.bris.ac.uk/tech-reports/1995/1995-memory.ps.gz, 19950526 May 1995 CSTR-95-009 University of Bristol Department of Computer Science The Role of Associative Memory in VSM Architectures: A Price-Performance Comparison Henk L. Muller Paul W. A. Stallard David H. D. Warren ACRC-95:CS-009Also issued as The Role of Associative Memory in VSM Architectures: A
	ftp://ftp.cs.bris.ac.uk/tech-reports/1994/1994-cstr-16.ps.gz, 19950601 December 1994 CSTR-94-016 University of Bristol Department of Computer Science Ensuring Global Termination of Partial Deduction while Allowing Flexible Polyvariance Bern Martens John Gallagher ACRC-94:CS-016Also issued as Ensuring Global Termination of Partial Deduction while Allowing Flexible
	ftp://ftp.cs.bris.ac.uk/tech-reports/1995/1995-davies.ps.gz, 19950607 June 1995 CSTR-95-010 University of Bristol Department of Computer Science GSPN Models of C104 Networks Neil Davies Andrew Jones ACRC-95:CS-010Also issued as 62/1 GSPN MODELS OF C104 NETWORKS Extended Abstract Neil Davies University of Bristol Andrew Jones SGS-Thomson Microelectronics In effectively
	ftp://ftp.cs.bris.ac.uk/tech-reports/1994/1994-waal.ps.gz, 19950607 Analysis and Transformation of Proof Procedures David Andr e de Waal A thesis submitted to the University of Bristol in accordance with the requirements for the degree of Doctor of Philosophy in the Faculty of Engineering, Department of Computer Science. October 1994
	ftp://ftp.cs.bris.ac.uk/tech-reports/1992/xx.ps, 19950609 December 1992 CSTR-92-36 University of Bristol Department of Computer Science Virtual Shared Memory: A Survey of Techniques and Systems Sanjay Raina
	ftp://ftp.cs.bris.ac.uk/tech-reports/1992/xy.ps, 19950609 June 1995 CSTR-95-010 University of Bristol Department of Computer Science GSPN Models of C104 Networks Neil Davies Andrew Jones ACRC-95:CS-010Also issued as
	ftp://ftp.cs.bris.ac.uk/tech-reports/1994/njd-thesis.ps.gz, 19950612 The Performance and Scalability of Parallel Systems Neil James Davies A thesis submitted to the University of Bristol in accordance with the requirements for the degree of Ph.D in the Faculty of Engineering, Department of Computer Science. December 1994 c N. J. Davies, 1994
	ftp://ftp.cs.bris.ac.uk/tech-reports/1994/1994-varsamos.ps.gz, 19950612 Automatic Transformation of Deterministic Prolog Programs to KL1 Konstantinos Varsamos Department of Computer Science University of Bristol Bristol BS8 1TR, U.K. E-mail: varsamos@acrc.bristol.ac.uk
	ftp://ftp.cs.bris.ac.uk/tech-reports/1995/1995-interpretation.ps.gz, 19950614 June 1995 CSTR-95-011 University of Bristol Department of Computer Science Practical Model-Based Static Analysis for Definite Logic Programs John Gallagher Dmitri Boulanger Huseyin Saglam ACRC-95:CS-011Also issued as Practical Model-Based Static Analysis for Definite Logic Programs John Gallagher,
	ftp://ftp.cs.bris.ac.uk/tech-reports/1995/damp.ps, 19950621 Maximal Chained Networks of Given Diameter with transputer examples Brian R. Stonebridge University of Bristol Advanced Computing Research Centre, Faculty of Engineering, University Walk, Bristol. BS8 1TR.
	ftp://ftp.cs.bris.ac.uk/tech-reports/1995/1995-holyer.ps.gz, 19950705 June 1995 CSTR-95-015 University of Bristol Department of Computer Science The Brisk Project: Concurrent and Distributed Functional Systems Ian Holyer Neil Davies Chris Dornan ACRC-95:CS-015Also issued as The Brisk Project: Concurrent and Distributed Functional Systems Ian Holyer Neil Davies Chris
	ftp://ftp.cs.bris.ac.uk/tech-reports/1994/1994-varsamos-0.ps.gz, 19950706 Transforming CHIP Programs to KL1 Design and Implementation of the CHUKL Preprocessor Konstantinos D. Varsamos MSc Thesis Department of Computer Science University of Bristol September 1994 A dissertation submitted to the University of Bristol in accordance with the requirements of the degree of Master
	ftp://ftp.cs.bris.ac.uk/tech-reports/1995/1995-lloyd.ps.gz, 19950801 June 1995 (Revised August 1995) CSTR-95-013 University of Bristol Department of Computer Science Declarative Programming in Escher J. W. Lloyd ACRC-95:CS-013Also issued as Declarative Programming in Escher J.W. Lloyd June 1995 CSTR-95-013 Department of Computer Science University of Bristol University
	ftp://ftp.cs.bris.ac.uk/tech-reports/1995/1995-saglam.ps.gz, 19950801 July 1995 CSTR-95-017 University of Bristol Department of Computer Science Approximating Constraint Logic Programs Using Polymorphic Types and Regular Descriptions Huseyin Saglam John P. Gallagher ACRC-95:CS-017Also issued as Approximating Constraint Logic Programs Using Polymorphic Types and Regular
	ftp://ftp.cs.bris.ac.uk/tech-reports/1995/1995-04-cs.ps.gz, 19950802 March 1995 (Revised August 1995) CSTR-95-004 University of Bristol Department of Computer Science Maximal Chained Networks of Given Diameter with transputer examples Brian R. Stonebridge ACRC-95:CS-004Also issued as Maximal Chained Networks of Given Diameter with transputer examples Brian R. Stonebridge
	ftp://ftp.cs.bris.ac.uk/tech-reports/1995/1995-threading.ps.gz, 19950821 Published in: Proceedings of the 1995 International Conference on Parallel Processing, ICPP'95, Volume I, pp 178 185 August 14 18, 1995, Oconomowoc, Wisconsin, c 1995 CRC press, Reprinted with permission of the CRC Press. HIDING MISS LATENCIES WITH MULTITHREADING ON THE DATA DIFFUSION MACHINEy Henk L.
	ftp://ftp.cs.bris.ac.uk/tech-reports/1995/1995-skewing.ps.gz, 19950821 Published in: Proceedings of the 1995 International Conference on Parallel Processing, ICPP'95, Volume I, pp 150 154 August 14 18, 1995, Oconomowoc, Wisconsin, c 1995 CRC press, Reprinted with permission of the CRC Press. THE APPLICATION OF SKEWED-ASSOCIATIVE MEMORIES TO CACHE ONLY MEMORY ARCHITECTURESy
	ftp://ftp.cs.bris.ac.uk/tech-reports/1995/1995-bradley.ps.gz, 19951011 June 1995 CSTR-95-021 University of Bristol Department of Computer Science Analysis of the SSL Protocol Jeremy Bradley Neil Davies ACRC-95:CS-021Also issued as Analysis of the SSL Protocol Jeremy Bradley 1 Department of Computer Science University of Bristol Neil Davies 2 Department of Computer Science
	ftp://ftp.cs.bris.ac.uk/tech-reports/1995/1995:lafave.ps.gz, 19951213 November 1995 CSTR-95-023 University of Bristol Department of Computer Science A System for the Verification of Phylogenetic Trees in G"odel Laura Lafave ACRC-95:CS-023Also issued as A System for the Verification of Phylogenetic Trees in G odel Laura Lafave Department of Computer Science University of
	ftp://ftp.cs.bris.ac.uk/tech-reports/1995/1995-burgess.ps.gz, 19951214 December 1995 CSTR-95-024 University of Bristol Department of Computer Science A Genetic Algorithm for the Optimisation of a Multiprocessor Computer Architecturere C. J. Burgess ACRC-95:CS-024Also issued as A Genetic Algorithm for the Optimisation of a Multiprocessor Computer Architecture C. J. Burgess
	ftp://ftp.cs.bris.ac.uk/tech-reports/1995/1995-stuttard.ps.gz, 19951221 A Radiosity System for Real Time Photo-Realism David Stuttard, Adam Worrall, Derek Paddon and Claire Willis Kaleidoscope Computer Graphics Laboratory Department of Computer Science University of Bristol Bristol, BS8 1TR, UK derek@compsci.bristol.ac.uk
	ftp://ftp.cs.bris.ac.uk/tech-reports/1995/1995-burgess-2.ps.gz, 19960112 Optimum Transputer Configurations for Real Applications requiring Global Communications Colin J. Burgess Alan G. Chalmers Department of Computer Science, University of Bristol, Bristol, BS8 1TR, England.
	ftp://ftp.cs.bris.ac.uk/tech-reports/1995/1995-burgess-3.ps.gz, 19960112 The Role of Formal Methods in Software Engineering Education and Industry Colin J Burgess University of Bristol Department of Computer Science University of Bristol Bristol, BS8 1TR England Tel. +44 117 9287960 Fax +44 117 9251154 Internet Colin.Burgess@bristol.ac.uk
	ftp://ftp.cs.bris.ac.uk/tech-reports/1995/1995-burgess-0.ps.gz, 19960112 Software Quality Issues when choosing a Programming Language C.J.Burgess Department of Computer Science, University of Bristol, Bristol, BS8 1TR, England
	ftp://ftp.cs.bris.ac.uk/tech-reports/1995/1995-burgess-1.ps.gz, 19960112 A Genetic Algorithm for the Optimisation of a Multiprocessor Computer Architecture C. J. Burgess Department of Computer Science, University of Bristol, Bristol, BS8 1TR, England.
	ftp://ftp.cs.bris.ac.uk/tech-reports/1996/1996-tasking.ps.gz, 19960214 Published in: Proceedings of the 2nd International Symposium on High-Performance Computer Architecture, February 5 7 1996, San Jose, California, pages 212-221. c 1996 IEEE, Reprinted with permission of the IEEE. Multitasking and Multithreading on a Multiprocessor with Virtual Shared Memoryy Henk L.
	ftp://ftp.cs.bris.ac.uk/tech-reports/1995/1995-gallagher.ps.gz, 19960226 A Bottom-Up Analysis Toolkit1 J.P. Gallagher Department of Computer Science, University of Bristol Queen's Building, University Walk, Bristol BS8 1TR, U.K. e-mail: john@cs.bris.ac.uk
	ftp://ftp.cs.bris.ac.uk/tech-reports/1996/1996-gallagher.ps.gz, 19960311 March 1996 CSTR-96-001 University of Bristol Department of Computer Science Regular Approximation of Computation Paths in Logic and Functional Languages John Gallagher Laura Lafave ACRC-96:CS-001Also issued as Regular Approximation of Computation Paths in Logic and Functional Languages John Gallagher
	ftp://ftp.cs.bris.ac.uk/tech-reports/1996/1996-network.ps.gz, 19960521 Published in: Proceedings of the 10th International Parallel Processing Symposium, IPPS'96, April 15 19, 1996, Honolulu, Hawaii, pages 152 158. c 1996 IEEE, Reprinted with permission of the IEEE. Implementing the Data Diffusion Machine using Crossbar Routersy Henk L. Mullerz Paul W.A. Stallard David
	ftp://ftp.cs.bris.ac.uk/tech-reports/1996/1996-kruger.ps.gz, 19960612 June 1996 CSTR-96-002 University of Bristol Department of Computer Science Multiresolution Motion Estimation Using an Affine Model Stefan Kruger Andrew Calway ACRC-96:CS-002Also issued as Multiresolution Motion Estimation Using An Affine Model Stefan Kr uger, Andrew Calway Department of Computer Science
	ftp://ftp.cs.bris.ac.uk/tech-reports/1995/1995-calway.ps.gz, 19960614 Estimating Disparity and Motion Using Multiresolution Fourier Analysis A.D. Calway and S.A. Kr uger Introduction This paper describes a multiresolution approach to tackling the image registration problem - the identification of corresponding points or regions in two or more images of a scene derived,
	ftp://ftp.cs.bris.ac.uk/tech-reports/1996/saglam-gallagher-june96.ps.gz, 19960626 June 1996 CSTR-96-003 University of Bristol Department of Computer Science Static Analysis of Logic Programs Using CLP as a Meta-language Huseyin Saglam John Gallagher ACRC-96:CS-003Also issued as Static Analysis of Logic Programs Using CLP as a Meta-language H. Sa>=glam and J.P. Gallagher Department of
	ftp://ftp.cs.bris.ac.uk/tech-reports/1992/1992-calway.ps.gz, 19960702 Multiresolution Estimation of 2-d Disparity Using a Frequency Domain Approach A.D. Calway, H. Knutssony and R. Wilson. Dept. of Computer Science, University of Warwick, Coventry CV4 7AL, England. y Computer Vision Laboratory, Link oping University, S-581 83 Link oping, Sweden.
	ftp://ftp.cs.bris.ac.uk/tech-reports/1993/1993-hsu.ps.gz, 19960702 Texture Analysis using the Multiresolution Fourier Transform Tao-I. Hsu, A.D. Calway, R. Wilson Dept. of Computer Science,University of Warwick, Coventry CV4 7AL, England.
	ftp://ftp.cs.bris.ac.uk/tech-reports/1995/1995-calway-1.ps.gz, 19960711 Feature Extraction for Low Bit Rate Image Coding Using a Generalized Wavelet Transform Roland Wilson, Andrew D Calway, Tao-I Hsu and Peter R Meulemans, (Computer Science Department,University of Warwick, Coventry CV4 7AL),(ADC,Department of Computing Mathematics, University of Wales, College of
	ftp://ftp.cs.bris.ac.uk/tech-reports/1996/kcwotug96.ps.gz, 19960716 Memory Management Strategies for Parallel Volume Rendering Cemal K ose Alan Chalmers Department of Computer Science, University of Bristol, Bristol, BS8 1TR, United Kingdom. kose@compsci.bristol.ac.uk
	ftp://ftp.cs.bris.ac.uk/tech-reports/1996/kcukpar96.ps.gz, 19960716 Dynamic Data Management for Parallel Volume Visualisation Cemal K ose Alan Chalmers Department of Computer Science, University of Bristol, Bristol, United Kingdom. kose@compsci.bristol.ac.uk alan@compsci.bristol.ac.uk
	ftp://ftp.cs.bris.ac.uk/tech-reports/1995/1995-giraudcarrier.ps.gz, 19960717 Journal of Artificial Intelligence Research 3 (1995) 147-185 Submitted 8/94; published 8/95 An Integrated Framework for Learning and Reasoning Christophe G. Giraud-Carrier cgc@compsci.bristol.ac.uk Department of Computer Science, University of Bristol Bristol, BS8 1TR U.K. Tony R. Martinez
	ftp://ftp.cs.bris.ac.uk/tech-reports/1996/linear-brs.ps.gz, 19960717 May 1996 CSTR-96-005 University of Bristol Department of Computer Science The Principle of Linearity: A Short Cut to Determine Dependent Angles Brian R. Stonebridge ACRC-96:CS-005Also issued as The Principle of Linearity: A Short Cut to Determine Dependent Angles Brian R. Stonebridge Primary