External Links

    Journal: Comput. J.

    Volume 30, Issue 3

    193 -- 200Gordon S. Blair, John A. Mariani, John R. Nicol, Doug Shepherd. A Knowledge-Based Operating System
    201 -- 213C. M. Reeves. Chainmail: A Model of First-Fit Memory Allocation
    223 -- 227N. S. Coulter, Robert B. Cooper, Martin K. Solomon. Information-Theoretic Complexity of Program Specifications
    228 -- 232K. A. Redish, W. F. Smyth. Evaluating Measures of Program Quality
    233 -- 238Jainendra K. Navlakha. A Survey of System Complexity Metrics
    239 -- 248D. Gray. A Pedagogical Verification Condition Generator
    249 -- 253Chin-Chen Chang. An Information Protection Scheme Based Upon Number Theory
    254 -- 257B. Teufel. System Design for the Remote Execution of Library Routines
    258 -- 267Chin-Long Wey, Fabrizio Lombardi. On a Novel Self-Test Approach to Digital Testing
    268 -- 275John C. Nash, Seymour Shlien. Simple Algorithms for the Partial Singular Value Decomposition
    282 -- 0M. C. Er. An Efficient Implementation of Permutation Backtracking in Lexicographic Order
    283 -- 285D. Salomon. A Design for an Efficient NOR-Gate only, Binary-Ripple Adder with Carry-Completion-Detection Logic
    runs on