External Links

    Journal: Comput. J.

    Volume 34, Issue Additional-Papers

    0 -- 0Arif Ghafoor, F. Y. Farhat. Dynamic Concurrency Control Algorithms for Large Distributed Database Systems
    0 -- 0R. Marshall. Discourse and Natural-Language Text Analysis: a Functional Grammar Approach
    0 -- 0Kung-Kiu Lau. Top-down Synthesis of Sorting Algorithms
    0 -- 0Vangalur S. Alagar, Pankaj Goyal, P. S. Nair, Fereidoon Sadri. Integrated Magic Set Method: a Rule Rewrite Scheme for Optimising Linear Datalog Programs
    0 -- 0Chia-Jiu Wang, Chwan-Hwa John Wu, Victor P. Nelson. A Study of the Generalized Multiple Bus-Connected Parallel Computer
    0 -- 0B. John Oommen, Daniel C. Y. Ma. Stochastic Automata Solutions to the Object Partitioning Problem
    0 -- 0S. Dvorák, Branislav Durian. Decomposition Merging with Symmetric Exchanges
    0 -- 0W. Wah, Selim G. Akl. Simulating Multiple Memory Accesses in Logarithmic Time and Linear Space
    0 -- 0V. Goel, Y. V. Venkatesh. On an Optimal and Faster Construction of Linear Quadtrees from Raster-Scanned Images
    0 -- 0David A. Watt. Modular Description of Programming Languages
    0 -- 0W. W. L. Lee, David S. Bowers. A Relational Database Simulator

    Volume 34, Issue 6

    482 -- 492Wiktor B. Daszczuk. A Structured Semantic Design of Distributed Operating Systems
    493 -- 502N. T. Son, Y. Paker. Adaptive Deadlock-Free Packet Routeing in Transputer-Based Multiprocessor Interconnection Networks
    503 -- 513Luigi V. Mancini, Santosh K. Shrivastava. Fault-Tolerant Reference Counting for Garbage Collection in Distributed Systems
    514 -- 521Jean Dollimore, E. Miranda, Wang Xu. The Design of a System for Distributing Shared Objects
    522 -- 533M. S. Verrall. Unity Doesn t Imply Unification or Overcoming Heterogeneity Problems in Distributed Software Engineering Environments
    534 -- 541Divyakant Agrawal, A. Malpani. Efficient Dissemination of Information in Computer Networks
    542 -- 550L. H. Geesink. The Coordination of Distributed Active Messages in a Dynamic Network Topology
    551 -- 558Peter Bodorik, J. Spruce Riordon. Threshold Values for Processing Distributed Queries
    559 -- 565Donald Michie. Methodologies from Machine Learning in Data Analysis and Software
    569 -- 570Jeffrey S. Rohl. Ord-Smith s Pseudo-Lexicographical Permutation Procedure is the Tompkins-Paige Algorithm

    Volume 34, Issue 5

    386 -- 396D. J. Challab. Implementation of Flexible Arrays Using Balanced Trees
    397 -- 405B. Srinivasan. An Adaptive Overflow Technique to Defer Splitting in B-Trees
    406 -- 414W. F. Smyth. Mu-Balancing M-Way Search Trees
    415 -- 422Sivarama P. Dandamudi, Paul G. Sorenson. Improved Partial-Match Search Algorithms for BD Trees
    423 -- 427Stephan Olariu, C. Michael Overstreet, Zhaofang Wen. A Mergeable Double-Ended Priority Queue
    428 -- 437Dalit Naor, Charles U. Martel, Norman S. Matloff. Performance of Priority Queue Structures in a Virtual Memory Environment
    438 -- 443Erkki Mäkinen. A Survey on Binary Tree Codings
    444 -- 454G. Argo. Weighting Without Waiting: The Weighted Path Length Tree
    455 -- 468Seng Fuat Ou, Alan L. Tharp. High Storage Utilisation for Single-Probe Retrieval Linear Hashing
    469 -- 474Chin-Chen Chang, C. Y. Chen, J. K. Jan. On the Design of a Machine-Independent Perfect Hashing Scheme
    475 -- 476Peter Ruzicka, Vusei-Ar. A Note on the Efficiency of an Interval Routing Algorithm

    Volume 34, Issue 4

    290 -- 301Hugh Kingdon, David R. Lester, Geoffrey L. Burn. The HDG-Machine: A Highly Distributed Graph-Reducer for a Transputer Network
    302 -- 310David B. Skillicorn. Practical Concurrent Programming for Parallel Machines
    311 -- 319Julian A. Padget, Russell J. Bradford, John Fitch. Concurrent Object-Oriented Programming in Lisp
    320 -- 330M. C. Pong. I-Pigs: An Interactive Graphical Environment for Concurrent Programming
    331 -- 344E. J. Yannakoudakis, A. A. Shahid. A Controlled Environment for Meta-Message Processing
    345 -- 349Kwok-bun Yue, R. T. Jacob. An Efficient Starvation-Free Semaphore Solution for the Graphical Mutual Exclusion Problem
    350 -- 357Sanjeev Khanna. Logic Programming for Software Verification and Testing
    379 -- 381Chris Brink, Ingrid Rewitzky, Renate A. Schmidt. Autodescriptivity: Beware!

    Volume 34, Issue 3

    195 -- 206Massimo Ancona, Andrea Clematis, Leila De Floriani, Enrico Puppo. HIDEL: A Language for Hierarchical VLSI Design
    207 -- 214Barry Wilkinson. Comparative Performance of Overlapping Connectivity Multiprocessor Interconnection Networks
    215 -- 224Agneta Olerup. Design Approaches: A Comparative Study of Information System Design and Architecutral Design
    225 -- 238Michael O Docherty, C. N. Daskalakis. Multimedia Information Systems - The Management and Semantic Retrieval of all Electronic Data Types
    239 -- 244Peter J. H. King, Carol Small. Default Databases and Incomplete Information
    245 -- 253R. Marshall. Manipulating Full-Text Scientific Databases: A Logic-Based Semantico-Pragmatic Approach
    254 -- 264Ian A. Macleod. A Query Language for Retrieving Information from Hierarchic Text Structures
    265 -- 271K. Morgan, R. L. Morris, S. Gibbs. When does a Mouse become a Rat? or ... Comparing Performance and Preferences in Direct Manipulation and Command Line Environment
    272 -- 279The Rt Hon. The Earl of Halsbury. Innovation for Failure - Some Reflections on the Work of the NRDC Relevant to the Early History of the Computer Industry in the UK
    279 -- 282Varol Akman. Implementation of Karp-Luby Monte Carlo Method: An Exercise in Approximate Counting
    282 -- 285K. Wicovsky, Peter Thanisch, M. Howard Williams. Improved Recursion Handling Through Integrity Constraints

    Volume 34, Issue 2

    98 -- 112David E. Avison, A. T. Wood-Harper. Information Systems Development Research: An Exploration of Ideas in Practice
    122 -- 131Danny Chiang Choon Poo. Representing Business Policies in the Jackson System Development Method
    132 -- 142Alistair G. Sutcliffe, I. Wang. Integrating Human Computer Interaction with Jackson System Development
    143 -- 152T. H. Tse, L. Pong. An Examination of Requirements Specification Languages
    153 -- 163J. Trenouth. A Survey of Exploratory Software Development
    164 -- 172M. Elizabeth C. Hull, Peter G. O Donoghue, B. J. Hagan. Development Methods for Real-Time Systems
    173 -- 181Alan Burns, Andrew M. Lister. A Framework for Building Dependable Systems
    182 -- 185P. Hammersley. Information Systems Design Methodologies - Book Reviews
    186 -- 0D. Campbell, T. McNeill. Finding a Majority When Sorting is Not Available

    Volume 34, Issue 1

    2 -- 15A. J. J. Dick. An Introduction to Knuth-Bendix Completion
    16 -- 19A. J. J. Dick, Phil Watson. Order-Sorted Term Rewriting
    20 -- 33Miki Hermann, Claude Kirchner, Hélène Kirchner. Implementations of Term Rewriting Systems
    34 -- 41Tobias Nipkow. Constructive Rewriting
    42 -- 51Peter Padawitz. Reduction and Narrowing for Horn Clause Theories
    52 -- 63Péter Kacsuk. A Parallel Prolog Abstract Machine and its Multi-Transputer Implementation
    64 -- 72Jukka Paakki. Prolog in Practical Compiler Writing
    73 -- 79Levent V. Orman. Constraint Maintenance as a Data Model Design Criterion
    80 -- 87Farokh B. Bastani, Ing-Ray Chen, Wael Hilal Bahaa-El-Din. A Model for the Stability Analysis of Maintenance Stragies for Linear List
    88 -- 91Mark Allen Weiss. Empirical Study of the Expected Running Time of Shellsort
    92 -- 93J.-L. Wu, S.-T. Cheng. A Neural Network Simulating System
    runs on