External Links

    Journal: Comput. J.

    Volume 42, Issue 5

    349 -- 359Arthur H. M. ter Hofstede, Maria E. Orlowska. On the Complexity of Some Verification Problems in Process Control Specifications
    360 -- 372Norman Ramsey. Eliminating Spurious Error Messages Using Exceptions, Polymorphism, and Higher-Order Functions
    373 -- 390Mayez A. Al-Mouhamed. Evolution-Based Scheduling of Computations and Communications on Distributed Memory Multicomputers
    391 -- 399Robert W. P. Luk. Near Optimal beta Heap
    400 -- 408Tadao Takaoka. O(1) Time Algorithms for Combinatorial Generation by Tree Traversal
    409 -- 421Po-Jen Chuang, Huey-Ming Hsu. Effective Fault Diagnosis Approaches for Multiphath Networks
    422 -- 429Miroslav Bojovic, Milo Tomasevic, Jovan Djordjevic. The Interactive Development and Testing System for a RISC-Style Processor
    430 -- 440Tsong Yueh Chen, Man Fai Lau. On the Completeness of a Test Suite Reduction Strategy
    runs on