The Computer Journal

Articles

R. N. Ibbett, P. E. Heywood, and F. W. Howell

HASE: A Flexible Toolset for Computer Architects
The Computer Journal 1995 38: 755-764; doi:10.1093/comjnl/38.10.755 [Abstract] [PDF] [Request Permissions]  

S. P. Wilson and J. A. McDermid

Integrated Analysis of Complex Safety Critical Systems
The Computer Journal 1995 38: 765-776; doi:10.1093/comjnl/38.10.765 [Abstract] [PDF] [Request Permissions]  

A. Ruiz-Delgado, D. Pitt, and C. Smythe

A Review of Object-Oriented Approaches in Formal Methods
The Computer Journal 1995 38: 777-784; doi:10.1093/comjnl/38.10.777 [Abstract] [PDF] [Request Permissions]  

G. Lowe and H. Zedan

Refinement of Complex Systems: A Case Study
The Computer Journal 1995 38: 785-800; doi:10.1093/comjnl/38.10.785 [Abstract] [PDF] [Request Permissions]  

V. Leppanen

Performance of Work-Optimal PRAM Simulation Algorithms on Coated Meshes
The Computer Journal 1995 38: 801-810; doi:10.1093/comjnl/38.10.801 [Abstract] [PDF] [Request Permissions]  

K. Deighton

Average Time to Travel on Two-headed, Non-linear Discs
The Computer Journal 1995 38: 811-817; doi:10.1093/comjnl/38.10.811 [Abstract] [PDF] [Request Permissions]  

J. Chen

An Efficient Construction Algorithm for a Class of Implicit Double-Ended Priority Queues
The Computer Journal 1995 38: 818-821; doi:10.1093/comjnl/38.10.818 [Abstract] [PDF] [Request Permissions]  

F. P. Verdon and M. Wells

Computing in British Universities: The Computer Board 1966–1991
The Computer Journal 1995 38: 822-830; doi:10.1093/comjnl/38.10.822 [Abstract] [PDF] [Request Permissions]  

A. Makur

Review: Book Review
The Computer Journal 1995 38: 831; doi:10.1093/comjnl/38.10.831 [PDF] [Request Permissions]  

C. L. Hankin

Review: Book Review
The Computer Journal 1995 38: 831-832; doi:10.1093/comjnl/38.10.831-a [PDF] [Request Permissions]  

K. V. Nori

Review: Book Review
The Computer Journal 1995 38: 832-833; doi:10.1093/comjnl/38.10.832 [PDF] [Request Permissions]  

P. Naur

Review: Book Review
The Computer Journal 1995 38: 833-834; doi:10.1093/comjnl/38.10.833 [PDF] [Request Permissions]  

M. J. Jamieson

Review: Book Review
The Computer Journal 1995 38: 834-835; doi:10.1093/comjnl/38.10.834 [PDF] [Request Permissions]  

M. J. Jamieson

Review: Book Review
The Computer Journal 1995 38: 835-836; doi:10.1093/comjnl/38.10.835 [PDF] [Request Permissions]  

A. Larner

Review: Book Review
The Computer Journal 1995 38: 836; doi:10.1093/comjnl/38.10.836 [PDF] [Request Permissions]  

A. Larner

Review: Book Review
The Computer Journal 1995 38: 836-837; doi:10.1093/comjnl/38.10.836-a [PDF] [Request Permissions]  

S. A. Schneider

Review: Book Review
The Computer Journal 1995 38: 837-838; doi:10.1093/comjnl/38.10.837 [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.