Research Output

2001

Towards Formally Refining BSP Barrier s into Explicit Two-Sided

Stewart, H., Clint, M., Gabarro, J. & Serna, M., Aug 2001, p. 549-559. 11 p.

Research output: Contribution to conferencePaper

2000

A comparison of locality-based and recency-based replacement policies

Vandierendonck, H. & De Bosschere, K., Oct 2000, p. 310-318. 9 p.

Research output: Contribution to conferencePaper

A High Throughput FPGA Implementation of a Bit-Level Matrix-Matrix Product

Amira, A., Bouridane, A., Milligan, P. & Sage, P., Aug 2000, p. 1-4. 4 p.

Research output: Contribution to conferencePaper

4 Citations (Scopus)

A High Throughput FPGA Implementation of a Bit-Level Matrix Product

Amira, A., Bouridane, A., Milligan, P. & Sage, P., Oct 2000, p. 356-364. 9 p.

Research output: Contribution to conferencePaper

21 Citations (Scopus)

An Optimal Replacement Policy for Balancing Multi-Module Caches

Vandierendonck, H., Oct 2000, Proceedings of the 12th Symposium on Computer Architecture and High Performance Computing. p. 65--72

Research output: Chapter in Book/Report/Conference proceedingConference contribution

A Novel Architecture for Walsh Hadamard Transformations using Distributed Arithmetic Principles

Amira, A., Bouridane, A. & Milligan, P., Dec 2000, p. 182-185. 4 p.

Research output: Contribution to conferencePaper

A Parameterised FPGA Implementation of Discrete Orthogonal Transforms using a Bit-Level Structure

Amira, A., Bouridane, A. & Milligan, P., Aug 2000, p. 35-41. 7 p.

Research output: Contribution to conferencePaper

A technique for high bandwidth and deterministic low latency load/store accesses to multiple cache banks

Neefs, H., Vandierendonck, H. & De Bosschere, K., Jan 2000, p. 313-324. 12 p.

Research output: Contribution to conferencePaper

9 Citations (Scopus)

A Virtex FPGA Implementation of Matrix Product Based on 2-D Bit-Level Systolic Architecture

Amira, A., Bouridane, A., Milligan, P. & Nibouche, M., Nov 2000, p. 1-8. 8 p.

Research output: Contribution to conferencePaper

Axiomatic Frameworks for Developing Bsp-style Programs

Stewart, H., Clint, M. & Gabarro, J., 2000, In : Parallel Algorithms and Applications. 14 (4), p. 271-292 22 p.

Research output: Contribution to journalArticle

HBrowse: a GRACE tool for browsing R-matrix H-files

Busby, D. W., Burke, P., Burke, V. M., Noble, C. J., Scott, S. & Spence, I., 15 Sep 2000, In : Computer Physics Communications. 131, 3, p. 202-224 23 p.

Research output: Contribution to journalArticle

2 Citations (Scopus)

The List_Tree - an innovative solution to customer portfolio representation

Brown, TJ., Kilpatrick, PL., Spence, ITA., Crookes, D. & Murphy, PJ., Apr 2000, In : Bt technology journal. 18, 2, p. 131-141 11 p.

Research output: Contribution to journalArticle

1998

Config: A GRACE tool for constructing configuration trees

Maley, D., Spence, I. & Kilpatrick, P., Nov 1998, In : Computer Physics Communications. 114(1-3), 1-3, p. 271-294 24 p.

Research output: Contribution to journalArticle

2 Citations (Scopus)
1997

2DRMP: Fast computation of the Slater integrals

Scott, S., Scott, M. & Ixaru Gr, L., Sep 1997, p. 70-75. 6 p.

Research output: Contribution to conferencePaper

Abstract data types in the construction of knowledge-based quantum chemistry software

Kilpatrick, PL. & Scott, NS., 1997, ADVANCES IN QUANTUM CHEMISTRY, VOL. 28. Lowdin, PO., Sabin, Zerner, MC., Karwowski, J. & Karelson, M. (eds.). SAN DIEGO: ACADEMIC PRESS INC, p. 345-359 15 p. (ADVANCES IN QUANTUM CHEMISTRY; vol. 28).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)

Synchronising Asynchronous Communications

Clint, M. & Stewart, H., Aug 1997, p. 511-520. 10 p.

Research output: Contribution to conferencePaper

2 Citations (Scopus)

The Automated Transformation of Abstract Specifications

Fitzpatrick, S., Harmer, T., Stewart, H., Clint, M. & Boyle, J., 1997, In : Science of Computer Programming. 28 (1), p. 1-41 41 p.

Research output: Contribution to journalArticle

4 Citations (Scopus)
1996

Abstract data types in the construction of knowledge-based quantum chemistry software

Kilpatrick, P. & Scott, S., Mar 1996, Symposium on Recent Advances in Computational Quantum Chemistry to Honor Geerd H. F. Diercksen. Lowdin, P. O., Sabin, J. R., Zerner, M. C., Karwowski, J. & Karelson, M. (eds.). ACADEMIC PRESS INC, p. 345-359 15 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

The formal specification of abstract data types and their implementation in Fortran 90: Implementation issues concerning the use of pointers

Maley, D., Kilpatrick, PL., Schreiner, EW., Scott, NS. & Diercksen, GHF., Oct 1996, In : Computer Physics Communications. 98, 1-2, p. 167-180 14 p.

Research output: Contribution to journalArticle

3 Citations (Scopus)

The tailoring of abstract functional specifications of numerical algorithms for sparse data structures through automated program derivation and transformation

Fitzpatrick, S., Clint, M., Harmer, T. & Kilpatrick, P., Jan 1996, In : The Computer Journal. 39(2), p. 145-168 24 p.

Research output: Contribution to journalArticle

1 Citation (Scopus)
1995

Derivation of scientific software from mathematical specifications

Kilpatrick, P. & Scott, S., Jul 1995, p. 439-440. 2 p.

Research output: Contribution to conferencePaper

Reasoning about Data-Parallel Array Assignment.

Stewart, H., 1995, In : Journal of Parallel and Distributed Computing. 27 (1), p. 79-85 7 p.

Research output: Contribution to journalArticle

5 Citations (Scopus)

Software Environments

Milligan, P., Jan 1995, p. 538-539. 2 p.

Research output: Contribution to conferencePaper

1994

An investigation of Data Reuse on the Cray S-MP system 500

Stewart, H., Louter-Nool, M., Te Riele, H. J. J. & Winter, D., 1994, In : Supercomputer. 11 (1)

Research output: Contribution to journalArticle

A one-pass thinning algorithm with interference guards

Stewart, H., 1994, In : Pattern Recognition Letters. 15 (8), p. 825-832 8 p.

Research output: Contribution to journalArticle

6 Citations (Scopus)

Correct Translation of Data Parallel Assignment onto Array Processors

Wray, J. P. & Stewart, H., 1994, In : Formal Aspects of Computing. 6 (4), p. 417-439 23 p.

Research output: Contribution to journalArticle

1 Citation (Scopus)

THE FORMAL SPECIFICATION OF ABSTRACT-DATA-TYPES AND THEIR IMPLEMENTATION IN FORTRAN-90

Scott, S., Kilpatrick, P. & Maley, D., Nov 1994, In : Computer Physics Communications. 84(1-3), p. 201-225 25 p.

Research output: Contribution to journalArticle

4 Citations (Scopus)
1993

TOWARDS A FORMAL APPROACH TO THE CONSTRUCTION OF LARGE-SCALE SCIENTIFIC APPLICATIONS SOFTWARE

CLINT, M., HARMER, T., Kilpatrick, P., Scott, S., WRAY, JP. & Kilpatrick, P., 1993, PHYSICS COMPUTING '92. DeGroot, RA. & Nadrchal, J. (eds.). SINGAPORE: WORLD SCIENTIFIC PUBL CO PTE LTD, p. 305-306 2 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1992

TOWARDS A FORMAL APPROACH TO THE CONSTRUCTION OF LARGE-SCALE SCIENTIFIC APPLICATIONS SOFTWARE

Clint, M., Harmer, T., Kilpatrick, P., Scott, S. & Wray, P., Aug 1992.

Research output: Contribution to conferencePaper

1991

A DAP FORTRAN subroutine for thinning digitised pictures

Stewart, H., Holt, C., Clint, M. & Perrott, R., 1991, In : The Computer Journal. 34 (4)

Research output: Contribution to journalArticle

A SPECIFICATION OF A COMPLEX PROGRAMMING LANGUAGE STATEMENT

MCPARLAND, P. & KILPATRICK, P., 1991, In : Lecture Notes in Computer Science. 551, p. 658-667 10 p.

Research output: Contribution to journalArticle

1990

3D Multigrid Correction Methods for Transputer Networks

Shaw, G. & Stewart, H., Sep 1990, p. 665-671. 7 p.

Research output: Contribution to conferencePaper

An Axiomatic Treatment of SIMD Assignment

Stewart, H., 1990, In : BIT. 30 (1), p. 70-82 13 p.

Research output: Contribution to journalArticle

13 Citations (Scopus)

A parallel multigrid FAS scheme for transputer networks

Stewart, H. & Shaw, J. G., 1990, In : Parallel Computing. 16 (2-3), p. 335-342 8 p.

Research output: Contribution to journalArticle

5 Citations (Scopus)

Implementation of a Multigrid method on a transputer network

Shaw, G. & Stewart, H., Aug 1990, p. 284-290. 7 p.

Research output: Contribution to conferencePaper

SOLVING THE INHOMOGENEOUS SCHRODINGER-EQUATION ON A BIDIRECTIONAL PIPELINE OF TRANSPUTERS

GALLAGHER, A. & SCOTT, S., Nov 1990, In : Supercomputer. 7, 6, p. 88-97 10 p.

Research output: Contribution to journalArticle

1989

A parallel thinning algorithm with fine grain subtasking

Holt, C. & Stewart, H., 1989, In : Parallel Computing. 10 (3), p. 329-334 6 p.

Research output: Contribution to journalArticle

12 Citations (Scopus)

Extensible distributed algorithms for the symmetric eigenvalue problem

Clint, M. & Stewart, H., Aug 1989, p. 129-134. 6 p.

Research output: Contribution to conferencePaper

1988

NETWORK TOPOLOGY - A CRITICAL FACTOR IN THE IMPLEMENTATION OF ALGORITHMS INTENDED FOR EFFICIENT EXECUTION ON A TRANSPUTER NETWORK

MILLIGAN, P., SCOTT, NS., CROOKES, D., Kilpatrick, P., MORROW, PJ. & Kilpatrick, P., Mar 1988, In : Microprocessing and Microprogramming. 23, 1-5, p. 253-257 5 p.

Research output: Contribution to journalArticle

2 Citations (Scopus)

Parallel Processors

Milligan, P., Mar 1988, Unknown Publisher.

Research output: Book/ReportScholarly edition

SIMD Language Design Using Prescriptive Semantics

Stewart, H., 1988, In : BIT. 28 (3), p. 639-650 12 p.

Research output: Contribution to journalArticle

5 Citations (Scopus)

SOFTWARE-SUPPORT FOR THE REFINEMENT OF VDM SPECIFICATIONS

KILPATRICK, P. & MCPARLAND, P., 1988, In : Lecture Notes in Computer Science. 328, p. 459-475 17 p.

Research output: Contribution to journalArticle

1 Citation (Scopus)

SOFTWARE-SUPPORT FOR THE REFINEMENT OF VDM SPECIFICATIONS

Kilpatrick, P. & McParland, P., Sep 1988.

Research output: Contribution to conferencePaper

Towards the construction of an eigenvalue engine

Clint, M., Roantree, D. & Stewart, H., 1988, In : Parallel Computing. 8, p. 127-132 6 p.

Research output: Contribution to journalArticle

5 Citations (Scopus)
1987

An Improved Parallel Thinning Algorithm

Holt, C., Stewart, H., Clint, M. & Perrott, R., 1987, In : Communications of ACM. 30 (2), p. 156-160 5 p.

Research output: Contribution to journalArticle

114 Citations (Scopus)

Developments in languages and environments for Transputers

Crookes, D., Milligan, P., Kilpatrick, P., Morrow, P. J. & Scott, S., Dec 1987, Unknown Publisher.

Research output: Book/ReportScholarly edition

Towards the construction of an Eigenvalue Engine

Clint, M., Roantree, D. & Stewart, H., Oct 1987.

Research output: Contribution to conferencePaper

1986

A parallel processing Algorithm for Thinning digitised pictures

Clint, M., Holt, C., Perrott, R. & Stewart, H., Sep 1986, p. 183-189. 7 p.

Research output: Contribution to conferencePaper

2 Citations (Scopus)