The Computer Journal

Articles

A. H. M. ter Hofstede and M. E. Orlowska

On the Complexity of Some Verification Problems in Process Control Specifications
The Computer Journal 1999 42: 349-359; doi:10.1093/comjnl/42.5.349 [Abstract] [PDF] [Request Permissions]  

Norman Ramsey

Eliminating Spurious Error Messages Using Exceptions, Polymorphism, and Higher-Order Functions
The Computer Journal 1999 42: 360-372; doi:10.1093/comjnl/42.5.360 [Abstract] [PDF] [Request Permissions]  

Mayez Al-Mouhamed

Evolution-Based Scheduling of Computations and Communications on Distributed-Memory Multicomputers
The Computer Journal 1999 42: 373-390; doi:10.1093/comjnl/42.5.373 [Abstract] [PDF] [Request Permissions]  

R. W. P. Luk

Near Optimal ß Heap
The Computer Journal 1999 42: 391-399; doi:10.1093/comjnl/42.5.391 [Abstract] [PDF] [Request Permissions]  

Tadao Takaoka

O(1) Time Algorithms for Combinatorial Generation by Tree Traversal
The Computer Journal 1999 42: 400-408; doi:10.1093/comjnl/42.5.400 [Abstract] [PDF] [Request Permissions]  

Po-Jen Chuang and Huey-Ming Hsu

Effective Fault Diagnosis Approaches for Multipath Networks
The Computer Journal 1999 42: 409-421; doi:10.1093/comjnl/42.5.409 [Abstract] [PDF] [Request Permissions]  

Miroslav Bojovic, Milo Tomasevic, and Jovan Djordjevic

The Interactive Development and Testing System for a RISC-Style Processor
The Computer Journal 1999 42: 422-429; doi:10.1093/comjnl/42.5.422 [Abstract] [PDF] [Request Permissions]  

Tsong Yueh Chen and Man Fai Lau

On the Completeness of a Test Suite Reduction Strategy
The Computer Journal 1999 42: 430-440; doi:10.1093/comjnl/42.5.430 [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.