F. Warren Burton

Proceedings of the 2006 workshop on Memory System Performance and Correctness, 2006

2000

Memory requirements for parallel programs.

[BibT_eX]

[DOI]

David J. Simpson

Parallel Comput., 2000

1999

Space Efficient Execution of Deterministic Parallel Programs.

[BibT_eX]

[DOI]

David J. Simpson

IEEE Trans. Software Eng., 1999

1997

A New Method for Functional Arrays.

[BibT_eX]

[DOI]

Melissa E. O'Neill

J. Funct. Program., 1997

1996

Guaranteeing Good Memory Bound for Parallel Programs.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1996

1994

Worst Case Scheduling for Parallel Functional Programs.

[BibT_eX]

[DOI]

J. Funct. Program., 1994

A Definite and Unfoldable, Partially Deterministic Language.

[BibT_eX]

[DOI]

W. Ken Jackson

Comput. J., 1994

1993

Improving Intervals.

[BibT_eX]

[DOI]

W. Ken Jackson

J. Funct. Program., 1993

Pattern Matching with Abstract Data Types.

[BibT_eX]

[DOI]

Robert D. Cameron

J. Funct. Program., 1993

1992

Distributed Random Number Generation.

[BibT_eX]

[DOI]

Rex L. Page

J. Funct. Program., 1992

1991

Reply to "Subtypes and Quantification".

[BibT_eX]

ACM Trans. Program. Lang. Syst., 1991

Encapsulating Non-Determinacy in an Abstract Data Type with Determinate Semantics.

[BibT_eX]

[DOI]

J. Funct. Program., 1991

1990

Type Extension Through Polymorphism.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 1990

Applications of UET Scheduling Theory to the Implementation of Declarative Languages.

[BibT_eX]

[DOI]

Geoff P. McKeown

Comput. J., 1990

Implementation of Overlapping B-Trees for Time and Space Efficient Representation of Collections of Similar Files.

[BibT_eX]

[DOI]

Comput. J., 1990

1989

Functional Programming with Quadtrees.

[BibT_eX]

[DOI]

IEEE Softw., 1989

A Note on Higher-Order Functions Versus Logical Variables.

[BibT_eX]

[DOI]

Inf. Process. Lett., 1989

Indeterminate Behavior with Determinate Semantics in Parallel Programs.

[BibT_eX]

[DOI]

Proceedings of the fourth international conference on Functional programming languages and computer architecture, 1989

1988

Reduction of Storage Requirements by Sharing Common Information in an Office Information System.

[BibT_eX]

Angew. Inform., 1988

Storage Management in Virtual Tree Machines.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 1988

The general problem solving algorithm and its implementation.

[BibT_eX]

[DOI]

Geoff P. McKeown

New Gener. Comput., 1988

Alpha-beta search on virtual tree machines.

[BibT_eX]

[DOI]

Inf. Sci., 1988

On Process Assignment in Parallel Computing.

[BibT_eX]

[DOI]

Geoff P. McKeown

Inf. Process. Lett., 1988

Nondeterminism with Referential Transparency in Functional Programming Languages.

[BibT_eX]

[DOI]

Comput. J., 1988

1987

A Space-Efficient Optimization of Call-by-Need.

[BibT_eX]

[DOI]

Dieter Maurer

Hans-Georg Oberhauser

Reinhard Wilhelm

IEEE Trans. Software Eng., 1987

Batched Interpolation Search.

[BibT_eX]

[DOI]

Yannis Manolopoulos

Comput. J., 1987

A General PASCAL Program for Map Overlay of Quadtrees and Related Problems.

[BibT_eX]

[DOI]

V. J. Kollias

Comput. J., 1987

Functional Programming for Concurrent and Distributed Computing.

[BibT_eX]

[DOI]

Comput. J., 1987

1986

Real-Time Raster to Quadtree and Quadtree to Raster Conversion Algorithms with Modest Storage Requirements.

[BibT_eX]

V. J. Kollias

Angew. Inform., 1986

Buddy Systems with Selective Splitting.

[BibT_eX]

[DOI]

N. M. Pitman

E. W. Haddon

Comput. J., 1986

Controlling reduction partial order in functional parallel programs.

[BibT_eX]

[DOI]

Proceedings of the Graph Reduction, Proceedings of a Workshop, Santa Fé, New Mexico, USA, September 29, 1986

1985

Speculative Computation, Parallelism, and Functional Programming.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 1985

Expected and worst-case storage requirements for quadtrees.

[BibT_eX]

[DOI]

Vassiliki J. Kollias

Pattern Recognit. Lett., 1985

Efficient Combinator Code.

[BibT_eX]

[DOI]

Mike S. Joy

Comput. Lang., 1985

Multiple Generation Text Files Using Overlapping Tree Structures.

[BibT_eX]

[DOI]

Comput. J., 1985

Controlling Speculative Computation in a Parallel Functional Programming Language.

[BibT_eX]

Proceedings of the 5th International Conference on Distributed Computing Systems, 1985

1984

Annotations to Control Parallelism, Reduction Order in the Distributed Evaluation of Functional Programs.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 1984

Virtual Tree Machines.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 1984

An implementation of the exponential pyramid data structure with application to determination of symmetries in pictures.

[BibT_eX]

[DOI]

Nikitas A. Alexandridis

Comput. Vis. Graph. Image Process., 1984

Consistency in Point-in-Point Polygon Tests.

[BibT_eX]

[DOI]

V. J. Kollias

Comput. J., 1984

Lazy Evaluation of Geometric Objects.

[BibT_eX]

[DOI]

IEEE Computer Graphics and Applications, 1984

1982

An Efficient Functional Implementation of FIFO Queues.

[BibT_eX]

[DOI]

Inf. Process. Lett., 1982

A Linear Space Translation of Functional Programs to Turner Combinators.

[BibT_eX]

[DOI]

Inf. Process. Lett., 1982

1981

Expected Complexity of Fast Search with Uniformly Distributed Data.

[BibT_eX]

[DOI]

Gilbert N. Lewis

Nancy J. Boynton

Inf. Process. Lett., 1981

Abstract Data Types, Subtypes and Data Independence.

[BibT_eX]

[DOI]

Brian Lings

Comput. J., 1981

Towards a Zero Assignment Parallel Processor.

[BibT_eX]

M. Ronan Sleep

Proceedings of the 2nd International Conference on Distributed Computing Systems, 1981

Executing functional programs on a virtual tree of processors.

[BibT_eX]

[DOI]

M. Ronan Sleep

Proceedings of the 1981 conference on Functional programming languages and computer architecture, 1981

1980

A Robust Variation of Interpolation Search.

[BibT_eX]

[DOI]

Gilbert N. Lewis

Inf. Process. Lett., 1980

FACETS: A Language Feature for security and Flexibility.

[BibT_eX]

Brian Lings

Aust. Comput. J., 1980

1979

Optimising Disc Head Movements in Secondary Key Retrievals.

[BibT_eX]

[DOI]

Comput. J., 1979

A FORTRAN Preprocessor to Support Encapsulated Data Abstraction Definitions.

[BibT_eX]

[DOI]

Comput. J., 1979

1978

Comments on: Sorting by Distributive Partitioning.

[BibT_eX]

[DOI]

Inf. Process. Lett., 1978

1976

Computer Processing of Points Curves and Regions.

[BibT_eX]

[DOI]