The Computer Journal

Articles

A. Cavalcanti and J. Woodcock

A Weakest Precondition Semantics for Z
The Computer Journal 1998 41: 1-15; doi:10.1093/comjnl/41.1.1 [Abstract] [PDF] [Request Permissions]  

M. Flammini, J. van Leeuwen, and A. Marchetti-Spaccamela

The Complexity of Interval Routing on Random Graphs
The Computer Journal 1998 41: 16-25; doi:10.1093/comjnl/41.1.16 [Abstract] [PDF] [Request Permissions]  

S.-M. Moon and K. Ebcioglu

The Performance Impact of Exploiting Branch ILP with Tree Representation of ILP Code
The Computer Journal 1998 41: 26-44; doi:10.1093/comjnl/41.1.26 [Abstract] [PDF] [Request Permissions]  

G. Alia and E. Martinelli

Logic Design of a Fast Circuit for Iterative Additions in Redundant Hybrid Number Systems
The Computer Journal 1998 41: 45-51; doi:10.1093/comjnl/41.1.45 [Abstract] [PDF] [Request Permissions]  

D.-M. Kwai and B. Parhami

Tight Bounds on the Diameter of Gaussian Cubes
The Computer Journal 1998 41: 52-56; doi:10.1093/comjnl/41.1.52 [Abstract] [PDF] [Request Permissions]  

C. Ierotheou, C.-H. Lai, C. J. Palansuriya, and K. A. Pericleous

Simulation of 2-D metal cutting by means of a distributed algorithm
The Computer Journal 1998 41: 57-63; doi:10.1093/comjnl/41.1.57 [Abstract] [PDF] [Request Permissions]  

R. Cooper

Review: Book Review
The Computer Journal 1998 41: 64-65; doi:10.1093/comjnl/41.1.64 [PDF] [Request Permissions]  

C.-H. L. Ong

Review: Book Review
The Computer Journal 1998 41: 65-66; doi:10.1093/comjnl/41.1.65 [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.