External Links

    Journal: Comput. J.

    Volume 29, Issue 5

    385 -- 389Nick Rushby. A Knowledge-Engineering Approach to Instructional Design
    390 -- 395Mathai Joseph, Paritosh K. Pandya. Finding Response Times in a Real-Time System
    396 -- 403John P. Penny, Paul J. Ashton, A. L. Wilkinson. Data Recording and Monitoring for Analysis of System Response Times
    404 -- 415Howard Barringer, I. Mearns. A Proof System for Ada Tasks
    416 -- 422J. M. Foster. Validating Microcode Algebraically
    423 -- 429Roy D. Dowsing, R. Elliott. Programming a Bounded Buffer Using the Object and Path Expression Constructs of Path Pascal
    430 -- 433M. C. Er. The Use of Termination Indicators in Computer Programming
    436 -- 450Wen-Chin Chen, Jeffrey Scott Vitter. Deletion Algorithms for Coalesced Hashing
    451 -- 457Sakti Pramanik, Farshad Fotouhi. Index Database Machine
    458 -- 459Sushil Jajodia. Recognizing Multivalued Dependencies in Relation Schemas
    460 -- 466A. Blair, Ian Sommerville. DSA - A Tool for Descriptive Text Analysis
    472 -- 474F. Fabbrini, Claudio Montani. Autumnal Quadtrees
    475 -- 476Brian Shackel. IBM Makes Usability as Important as Functionality
    477 -- 0J. M. Wilson. A Weighted Mark-Scaling Algorithm
    runs on