The Computer Journal

Articles

M. Sowa

A Method for Speeding up Serial Processing in Dataflow Computers by Means of a Program Counter
The Computer Journal 1987 30: 289-294; doi:10.1093/comjnl/30.4.289 [Abstract] [PDF] [Request Permissions]  

C. S. Kecskes

A Simple Method for Building up Large Computer Systems from Small Computers
The Computer Journal 1987 30: 295-297; doi:10.1093/comjnl/30.4.295 [Abstract] [PDF] [Request Permissions]  

J. Van Leeuwen and R. B. Tan

Interval Routing
The Computer Journal 1987 30: 298-307; doi:10.1093/comjnl/30.4.298 [Abstract] [PDF] [Request Permissions]  

D. J. Challab and J. D. Roberts

Buddy Algorithms
The Computer Journal 1987 30: 308-315; doi:10.1093/comjnl/30.4.308 [Abstract] [PDF] [Request Permissions]  

D. A. Duce and E. V. C. Fielding

Formal Specification – A Comparison of Two Techniques
The Computer Journal 1987 30: 316-327; doi:10.1093/comjnl/30.4.316 [Abstract] [PDF] [Request Permissions]  

C. Sernadas and R. Carapuça

The Role of Conceptual Modelling Abstractions in Compiler Development
The Computer Journal 1987 30: 328-336; doi:10.1093/comjnl/30.4.328 [Abstract] [PDF] [Request Permissions]  

P. Leith

A Programmed, Skeleton Formal Specification Method: The OUFDM
The Computer Journal 1987 30: 337-342; doi:10.1093/comjnl/30.4.337 [Abstract] [PDF] [Request Permissions]  

J. K. Mullin

Accessing Textual Documents using Compressed Indexes of Arrays of Small Bloom Filters
The Computer Journal 1987 30: 343-348; doi:10.1093/comjnl/30.4.343 [Abstract] [PDF] [Request Permissions]  

P. A. Firby and D. J. Stone

Colour Manipulation of Superposed Families of Curves
The Computer Journal 1987 30: 349-354; doi:10.1093/comjnl/30.4.349 [Abstract] [PDF] [Request Permissions]  

F. W. Burton, V. J. Kollias, and J. G. Kollias

A General PASCAL Program for Map Overlay of Quadtrees and Related Problems
The Computer Journal 1987 30: 355-361; doi:10.1093/comjnl/30.4.355 [Abstract] [PDF] [Request Permissions]  

A. I. Verkamo

Performance of Quicksort Adapted for Virtual Memory Use
The Computer Journal 1987 30: 362-371; doi:10.1093/comjnl/30.4.362 [Abstract] [PDF] [Request Permissions]  

S. Dvorák and B. Durian

Stable Linear Time Sublinear Space Merging
The Computer Journal 1987 30: 372-375; doi:10.1093/comjnl/30.4.372 [Abstract] [PDF] [Request Permissions]  

D. Gault and M. Clint

Short Notes: A Fast Algorithm for the Towers of Hanoi Problem
The Computer Journal 1987 30: 376-378; doi:10.1093/comjnl/30.4.376 [Abstract] [PDF] [Request Permissions]  

T. H. Tse

Short Notes: Towards a Single Criterion for Identifying Program Unstructuredness
The Computer Journal 1987 30: 378-380; doi:10.1093/comjnl/30.4.378 [Abstract] [PDF] [Request Permissions]  

To see an article, click its [Full Text] or [PDF] link. To review many abstracts, check the boxes to the left of the titles you want, and click the 'Get All Checked Abstract(s)' button. To see one abstract at a time, click its [Abstract] link.