| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Melissa E. O'Neill, F. Warren Burton |
Smarter garbage collection with simplifiers.  |
Memory System Performance and Correctness  |
2006 |
DBLP DOI BibTeX RDF |
lightweight daemon, simplifier, weak pointer, finalizer |
| 1 | F. Warren Burton, David J. Simpson |
Memory requirements for parallel programs. |
Parallel Computing |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | David J. Simpson, F. Warren Burton |
Space Efficient Execution of Deterministic Parallel Programs. |
IEEE Trans. Software Eng. |
1999 |
DBLP DOI BibTeX RDF |
memory bounds, scheduling, parallel programming, shared memory, Memory management, worst case performance |
| 1 | Melissa E. O'Neill, F. Warren Burton |
A New Method for Functional Arrays. |
J. Funct. Program. |
1997 |
DBLP BibTeX RDF |
|
| 1 | F. Warren Burton |
Guaranteeing Good Memory Bound for Parallel Programs. |
IEEE Trans. Software Eng. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | W. Ken Jackson, F. Warren Burton |
A Definite and Unfoldable, Partially Deterministic Language. |
Comput. J. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | F. Warren Burton, Victor J. Rayward-Smith |
Worst Case Scheduling for Parallel Functional Programs. |
J. Funct. Program. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | W. Ken Jackson, F. Warren Burton |
Improving Intervals. |
J. Funct. Program. |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | F. Warren Burton, Robert D. Cameron |
Pattern Matching with Abstract Data Types. |
J. Funct. Program. |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | F. Warren Burton, Rex L. Page |
Distributed Random Number Generation. |
J. Funct. Program. |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | F. Warren Burton |
Reply to ``Subtypes and Quantification''. |
ACM Trans. Program. Lang. Syst. |
1991 |
DBLP BibTeX RDF |
|
| 1 | F. Warren Burton |
Encapsulating Non-Determinacy in an Abstract Data Type with Determinate Semantics. |
J. Funct. Program. |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | F. Warren Burton |
Type Extension Through Polymorphism. |
ACM Trans. Program. Lang. Syst. |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | F. Warren Burton, John G. Kollias, D. G. Matsakis, V. G. Kollias |
Implementation of Overlapping B-Trees for Time and Space Efficient Representation of Collections of Similar Files. |
Comput. J. |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | F. Warren Burton, Geoff P. McKeown, Victor J. Rayward-Smith |
Applications of UET Scheduling Theory to the Implementation of Declarative Languages. |
Comput. J. |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | F. Warren Burton, John G. Kollias |
Functional Programming with Quadtrees. |
IEEE Software |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | F. Warren Burton |
A Note on Higher-Order Functions Versus Logical Variables. |
Inf. Process. Lett. |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | F. Warren Burton |
Indeterminate Behavior with Determinate Semantics in Parallel Programs. |
FPCA |
1989 |
DBLP DOI BibTeX RDF |
Miranda |
| 1 | F. Warren Burton, Geoff P. McKeown, Victor J. Rayward-Smith |
On Process Assignment in Parallel Computing. |
Inf. Process. Lett. |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew M. Huntbach, F. Warren Burton |
Alpha-beta search on virtual tree machines. |
Inf. Sci. |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | F. Warren Burton |
Storage Management in Virtual Tree Machines. |
IEEE Trans. Computers |
1988 |
DBLP DOI BibTeX RDF |
virtual tree machines, breadth-first expansion, distributed system, parallel algorithms, parallel algorithms, storage management, storage management, trees (mathematics), virtual storage, divide-and-conquer algorithms |
| 1 | F. Warren Burton |
Nondeterminism with Referential Transparency in Functional Programming Languages. |
Comput. J. |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | F. Warren Burton, John G. Kollias |
Reduction of Storage Requirements by Sharing Common Information in an Office Information System. |
Angewandte Informatik |
1988 |
DBLP BibTeX RDF |
|
| 1 | Victor J. Rayward-Smith, Geoff P. McKeown, F. Warren Burton |
The general problem solving algorithm and its implementation. |
New Generation Comput. |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | F. Warren Burton, Dieter Maurer, Hans-Georg Oberhauser, Reinhard Wilhelm |
A Space-Efficient Optimization of Call-by-Need. |
IEEE Trans. Software Eng. |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Yannis Manolopoulos, John G. Kollias, F. Warren Burton |
Batched Interpolation Search. |
Comput. J. |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | F. Warren Burton |
Functional Programming for Concurrent and Distributed Computing. |
Comput. J. |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | F. Warren Burton, V. J. Kollias, John G. Kollias |
A General PASCAL Program for Map Overlay of Quadtrees and Related Problems. |
Comput. J. |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | N. M. Pitman, F. Warren Burton, E. W. Haddon |
Buddy Systems with Selective Splitting. |
Comput. J. |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | F. Warren Burton, V. J. Kollias, John G. Kollias |
Real-Time Raster to Quadtree and Quadtree to Raster Conversion Algorithms with Modest Storage Requirements. |
Angewandte Informatik |
1986 |
DBLP BibTeX RDF |
|
| 1 | F. Warren Burton |
Controlling reduction partial order in functional parallel programs. |
Graph Reduction |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | F. Warren Burton |
Speculative Computation, Parallelism, and Functional Programming. |
IEEE Trans. Computers |
1985 |
DBLP BibTeX RDF |
|
| 1 | F. Warren Burton, Matthew M. Huntbach, John G. Kollias |
Multiple Generation Text Files Using Overlapping Tree Structures. |
Comput. J. |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | M. S. Joy, Victor J. Rayward-Smith, F. Warren Burton |
Efficient Combinator Code. |
Comput. Lang. |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | F. Warren Burton |
Controlling Speculative Computation in a Parallel Functional Programming Language. |
ICDCS |
1985 |
DBLP BibTeX RDF |
|
| 1 | F. Warren Burton, Matthew M. Huntbach |
Virtual Tree Machines. |
IEEE Trans. Computers |
1984 |
DBLP DOI BibTeX RDF |
simulation, Distributed computing, network topology, multicomputer, process management, tree machine |
| 1 | F. Warren Burton |
Annotations to Control Parallelism, Reduction Order in the Distributed Evaluation of Functional Programs. |
ACM Trans. Program. Lang. Syst. |
1984 |
DBLP DOI BibTeX RDF |
|
| 1 | F. Warren Burton, V. J. Kollias, John G. Kollias |
Consistency in Point-in-Point Polygon Tests. |
Comput. J. |
1984 |
DBLP DOI BibTeX RDF |
|
| 1 | F. Warren Burton, John G. Kollias, Nikitas A. Alexandridis |
An implementation of the exponential pyramid data structure with application to determination of symmetries in pictures. |
Computer Vision, Graphics, and Image Processing |
1984 |
DBLP DOI BibTeX RDF |
|
| 1 | F. Warren Burton |
An Efficient Functional Implementation of FIFO Queues. |
Inf. Process. Lett. |
1982 |
DBLP DOI BibTeX RDF |
|
| 1 | F. Warren Burton |
A Linear Space Translation of Functional Programs to Turner Combinators. |
Inf. Process. Lett. |
1982 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilbert N. Lewis, Nancy J. Boynton, F. Warren Burton |
Expected Complexity of Fast Search with Uniformly Distributed Data. |
Inf. Process. Lett. |
1981 |
DBLP DOI BibTeX RDF |
|
| 1 | F. Warren Burton, Brian Lings |
Abstract Data Types, Subtypes and Data Independence. |
Comput. J. |
1981 |
DBLP DOI BibTeX RDF |
|
| 1 | M. Ronan Sleep, F. Warren Burton |
Towards a Zero Assignment Parallel Processor. |
ICDCS |
1981 |
DBLP BibTeX RDF |
|
| 1 | F. Warren Burton, Gilbert N. Lewis |
A Robust Variation of Interpolation Search. |
Inf. Process. Lett. |
1980 |
DBLP DOI BibTeX RDF |
|
| 1 | F. Warren Burton, Brian Lings |
FACETS: A Language Feature for security and Flexibility. |
Australian Computer Journal |
1980 |
DBLP BibTeX RDF |
|
| 1 | F. Warren Burton, John G. Kollias |
Optimising Disc Head Movements in Secondary Key Retrievals. |
Comput. J. |
1979 |
DBLP DOI BibTeX RDF |
|
| 1 | F. Warren Burton |
A FORTRAN Preprocessor to Support Encapsulated Data Abstraction Definitions. |
Comput. J. |
1979 |
DBLP DOI BibTeX RDF |
|
| 1 | F. Warren Burton |
Comments on: Sorting by Distributive Partitioning. |
Inf. Process. Lett. |
1978 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")