External Links

    Journal: Comput. J.

    Volume 33, Issue 6

    482 -- 493Keith L. Clark. Parallel Logic Programming
    494 -- 500Kazunori Ueda, Takashi Chikayama. Design of the Kernel Language for the Parallel Inference Machine
    501 -- 507Ian T. Foster, Carl Kesselman, Stephen Taylor. Concurrency: Simple Concepts and Powerful Tools
    508 -- 517I. Shizgal. The Amoeba-Prolog System
    518 -- 534J. Gerard Wolff. Simplicity and Power - Some Unifying Ideas in Computing
    535 -- 546K. G. Waugh, M. Howard Williams, Quinzheng Kong, S. Salvini, G. Chen. Designing SQUIRREL: An Extended SQL for a Deductive Database System
    547 -- 555Norman W. Paton, Peter M. D. Gray. Optimising and Executing DAPLEX Queries Using Prolog
    562 -- 569Graham M. Megson, David J. Evans. A Systolic Array Solution for the Assignment Problem
    570 -- 572T. Y. Chen. On the Consistency of Multi-Valued Functions

    Volume 33, Issue 5

    386 -- 397Sarah B. M. Bell, David C. Mason. Tesseral Quaternions for the Octtree
    398 -- 401Andrew Hunter, Philip J. Willis. A Note on the Optimal Labelling of Quadtree Nodes
    402 -- 407Kevin G. Suffern. Quadtree Algorithms for Contouring Functions of Two Variables
    408 -- 411L. R. Neal, Michael L. V. Pitteway. Yet More Circle Generators
    412 -- 416Binh Pham. Algorithms for Calculating Cubic Beta-Splines
    417 -- 423Paolo Puliti, Guido Tascini. Interpreting Technical Drawings
    424 -- 428Frank K. H. A. Dehne, L. Ficocelli. An Efficient Computational Geometry Method for Detecting Dotted Lines in Noisy Images
    429 -- 436Laura Moltedo, A. Noferini. An Implementation of 7-Bit Character Encoding for Standard Computer Graphics Environments
    437 -- 443Francis Neelamkavil, O. Mullarney. Separating Graphics from Application in the Design of User Interfaces
    444 -- 452M. Bilodeau, D. L. Laguitton. Development of Screen Management Subroutines Compatible with Microsoft FORTRAN Compiler
    453 -- 459K. Bowden. Kron s Method of Tearing on a Transputer Array
    460 -- 465Lloyd Allison. Continuations Implement Generators and Streams
    466 -- 470Tom Axford. Reference Counting of Cyclic Graphs for Functional Programs
    471 -- 472Arne Andersson. A Note on the Expected Behaviour of Binary Tree Traversals
    473 -- 475Giuseppe Alia, Enrico Martinelli. VLSI Binary-Residue Converters for Pipelined Processing

    Volume 33, Issue 4

    290 -- 295Chris J. Mitchell, Dave Rush, Michael Walker. A Secure Messaging Architecture Implementing the X.400-1988 Security Features
    296 -- 307Aviezri S. Fraenkel, Shmuel T. Klein. Bidirectional Huffman Coding
    308 -- 313R. L. Bailey, Ravi Mukkamala. Pipelining Data Compression Algorithms
    314 -- 322Peter M. Fenwick. Performance Measurements on a 39 km Extended Ethernet
    323 -- 329Yi Pan, Rami G. Melhem. Short Circuits in Buffered Multi-Stage Interconnection Networks
    330 -- 336F. Warren Burton, Geoff P. McKeown, Victor J. Rayward-Smith. Applications of UET Scheduling Theory to the Implementation of Declarative Languages
    337 -- 343D. Alcock, D. Brown. PRAXIS: A Program for Reproducing Proforma Design Calculations
    344 -- 355Massimo Ancona, Leila De Floriani, Jitender S. Deogun. Structured Spanning Trees
    356 -- 364Ronen Feldman, Martin Charles Golumbic. Optimization Algorithms for Student Scheduling via Constraint Satisfiability
    365 -- 367Bruce K. Haddon. Cycle-Sort: A Linear Sorting Method
    368 -- 374B. John Oommen, David T. H. Ng. On Generating Random Permutations with Arbitrary Distributions
    375 -- 380H. Miyakoshi. A Literal Code Method For Minimizing Boolean Functions
    381 -- 0T. H. Merrett. Scoping is not Orthogonal to Completeness

    Volume 33, Issue 3

    194 -- 203Oscar G. Plata, Javier D. Bruguera, Francisco F. Rivera, Ramon Doallo, Emilio L. Zapata. ACLE: A Software Package for SIMD Computer Simulation
    204 -- 214Sandeep Gulati, S. Sitharama Iyengar, Jacob Barhen. The Pebble-Crunching Model for Fault-Tolerant Load Balancing in Hypercube Ensembles
    215 -- 218K. W. Ng, Ho-Fung Leung. Competition: A Model of AND-Parallel Execution of Logic Programs
    219 -- 229Camille C. Price, M. A. Salama. Scheduling of Precedence-Constrained Tasks on Multiprocessors
    230 -- 240David Abramson, Gregory K. Egan. The RMIT Data Flow Computer: A Hybrid Architecture
    241 -- 246Sujit Dey, Pradip K. Srimani. A New Parallel Sorting Algorithm and its Efficient VLSI Implementation
    247 -- 251P. Chaudhuri. Finding and Updating Depth-First Spanning Trees of Acyclic Digraphs in Parallel
    252 -- 260Ferng-Ching Lin, Kung Chen. On the Design of an Integrated Systolic Array for Solving Simultaneous Linear Equations
    261 -- 265Graham M. Megson. An Efficient Double Pipe Systolic Array for Matrix Product
    274 -- 278Jeffrey S. Rohl. Reversing is Not Inherent in Lexiocographical Permutation Generation
    279 -- 280F. Warren Burton, John G. Kollias, D. G. Matsakis, V. G. Kollias. Implementation of Overlapping B-Trees for Time and Space Efficient Representation of Collections of Similar Files
    281 -- 282Gu Xunrang, Zhu Yuzhang. A New HEAPSORT Algorithm and the Analysis of Its Complexity

    Volume 33, Issue 2

    98 -- 107Ralph E. Griswold. String Scanning in the Icon Programming Language
    108 -- 125Paul Philbrow, Malcolm P. Atkinson. Events and Exception Handling in PS-Algol
    126 -- 132R. Geoff Dromey, T. A. Chorvat. Structure Clashes - An Alternative to Program Inversion
    133 -- 139Matti O. Jokinen. Parameter Transmission Abstractions
    140 -- 146G. Whale. Indentification of Program Similarity in Large Populations
    147 -- 154Gordon Davies, Alan Burns. The Teaching Language Pascal-FC
    155 -- 163C. F. Reynolds. CODIL: The Architecture of an Information Language
    164 -- 172G. D. P. Dueck, Gordon V. Cormack. Modular Attribute Grammars
    173 -- 180Marian Petre, Russel L. Winder. On Languages, Models and Programming Styles
    181 -- 184Hal Berghel, Richard Rankin. A Proposed Standard for Measuring Crossword Compilation Efficiency
    185 -- 187R. Govindarajan, Lalit M. Patnaik. Lenient Execution and Concurrent Execution of Re-Entrant Routines: Efficient Implementation in Data Flow Systems

    Volume 33, Issue 1

    2 -- 10K. H. Baik, L. L. Miller. Topological Approach for Testing Equivalence in Heterogeneous Relational Databases
    11 -- 18Nandlal L. Sarda. Algebra and Query Language for A Historical Data Model
    19 -- 30Mark Levene, George Loizou. The Nested Relation Type Model: An Application of Domain Theory to Databases
    31 -- 39Manoochehr Azmoodeh. BRMQ: A Database Interface Facility Based on Graph Traversals and Extended Relationships on Groups of Entities
    40 -- 48David A. Bell, J. Shao, M. Elizabeth C. Hull. Integrated Deductive Database System Implementation: A Systematic Study
    49 -- 60Malcolm C. Taylor. Logical Optimisation of Distributed Knowledge Base Queries
    61 -- 70Patrick Martin, K. H. Lam, Judy I. Russel. An Evaluation of Site Selection Algorithms for Distributed Query Processing
    71 -- 78Divyakant Agrawal, Amr El Abbadi. Integrating Security with Fault-Tolerant Distributed Databases
    79 -- 89Ravi Mukkamala, Steven C. Bruell. Efficient Schemes to Evaluate Transaction Performance in Distributed Database Systems
    runs on