The Computer Journal, Volume 39, 1996

Volume 39, Number 1, 1996

David Jeff Jackson, Wagdy Mahmoud: Parallel Pipelined Fractal Image Compression using Quadtree Recomposition. 1-13 BibTeX
Qian-Ping Gu, Shietung Peng: An Efficient Algorithm for Node-to-Node Routing in Hypercubes with Faulty Clusters. 14-19 BibTeX
Vincenzo Loia, Michel Quaggetto: The OPLA System: Designing Complex Systems in an Object-Oriented Logic Programming Framework. 20-35 BibTeX
Chandra N. Sekharan, John G. Del Greco, Sailesh Rathi: Space-Time Trade-offs in the Relative Unranking of Binary Trees. 36-33 BibTeX
T. S. Naryanan: A Class of Semi-X Tree-Based Dictionary Machines. 45-51 BibTeX
Egon Börger, Igor Durdanovic: Correctness of Compiling Occam to Transputer Code. 52-92 BibTeX

Volume 39, Number 2, 1996

Linda C. van der Gaag: Bayesian Belief Networks: Odds and Ends. 97-113 BibTeX
Mark Levene: Maintaining Consistency of Imprecise Relations. 114-123 BibTeX
Hossein Saiedian, Thomas Spencer: An Efficient Algorithm to Compute the Candidate Keys of a Relational Database Schema. 124-132 BibTeX
Evangelos Kranakis, Danny Krizanc, S. S. Ravi: On Multi-Label Linear Interval Routing Schemes. 133-139 BibTeX
Yi Pan, Mounir Hamdi, Gurdip Singh: Selection on k-Dimensional Meshes with Multiple Broadcasting. 140-144 BibTeX
Stephen Fitzpatrick, Maurice Clint, Terence J. Harmer, Peter Kilpatrick: The Tailoring of Abstract Functional Specifications of Numerical Algorithms for Sparse Data Structures through Automated Program Derivation and Transformation. 145-168 BibTeX

Volume 39, Number 3, 1996

Carlo Meghini: Logical Image Modelling and Retrieval. 173-183 BibTeX
Si Pan, R. Geoff Dromey: Re-engineering Loops. 184-202 BibTeX
Si Pan, R. Geoff Dromey: A Formal Basis for Removing Goto Statements. 203-214 BibTeX
Arthur H. M. ter Hofstede, E. Lippe, Paul J. M. Frederiks: Conceptual Data Modelling from a Categorical Perspective. 215-231 BibTeX
Mohamed Ould-Khaoua, Lewis M. Mackenzie, Reza Sotudeh: Comparative Evaluation of Hypermesh and Multi-stage Interconnection Networks. 232-240 BibTeX
Behrooz Parhami: Extreme-Value Search and General Selection Algorithms for Fully Parallel Associative Memories. 241-250 BibTeX

Volume 39, Number 4, 1996

Arthur H. M. ter Hofstede, Henderik Alex Proper, Theo P. van der Weide: Query Formulation as an Information Retrieval Problem. 255-274 BibTeX
Anthony N. Godwin: Building a Semantic Description for a Data Modelling Language. 275-290 BibTeX
Jim Grundy: Transformational Hierarchical Reasoning. 291-302 BibTeX
Howard Barringer, Graham Gough, Brian Monahan, Alan Williams: A Process Algebra Foundation for Reasoning about Core ELLA. 303-324 BibTeX
Robert M. Hierons: Extending Test Sequence Overlap by Invertibility. 325-330 BibTeX
Haifeng Qian, Jie Wu: Enhanced Fibonacci Cubes. 331-345 BibTeX
Hu-Jun Wang, Jian Li: Bandwidth Analysis for A Class of Bus-Based Systems. 331-345 BibTeX
Tamás D. Gedeon: The Cyclic Towers of Hanoi: An Iterative Solution Produced by Transformation. 353-356 BibTeX

Volume 39, Number 5, 1996

Andy J. Wellings, Alan Burns: Programming Replicated Systems in Ada 95. 361-373 BibTeX
Yasemin Turkan, Özgür Ulusoy: An Efficient Memory Management Algorithm for Client-Server Database Management Systems. 374-385 BibTeX
J. P. Geschiere, W. H. F. J. Körver: A Practical Development Process for Parallel Large-Scale Applications and its Underlying Formal Framework. 386-407 BibTeX
Maarten M. Fokkinga: Expressions That Talk About Themselves. 386-407 BibTeX
Tadao Takaoka: A Left-to-Right Preprocessing Computation for the Boyer-Moore String Matching Algorithm. 413-416 BibTeX
Wen-Jing Hsu, Moon-Jung Chung, Zejun Hu: Gaussian Networks for Scalable Distributed Systems. 417-426 BibTeX
Lucas Chi Kwong Hui, Charles U. Martel: Randomized Competitive Algorithms for Successful and Unsuccessful Search. 427-439 BibTeX
Nectarios Koziris, George K. Papakonstantinou, Panayotis Tsanakas: Optimal Time and Efficient Space Free Scheduling For Nested Loops. 439-448 BibTeX

Volume 39, Number 6, 1996

John A. Mariani, Tom Rodden: Cooperative Information Sharing: Developing a Shared Object Service. 455-470 BibTeX
David B. Skillicorn: Using Distributed Hypermedia for Collaborative Learning in Universities. 471-482 BibTeX
Jonathan M. Nash, Peter M. Dew, Martin E. Dyer: A Scalable Shared Queue on a Distributed Memory Machine. 483-495 BibTeX
Oliver E. Theel, Brett D. Fleisch: The Boundary-Restricted Coherence Protocol for Scalable and Highly Available Distributed Shared Memory Systems. 496-510 BibTeX
Chung-Ming Huang, Ye-In Chang, Duen-Tay Huang: Reverse Protocol Verification: Concept, Algorithm and Application. 511-524 BibTeX
Yen-Min Huang, Chinya V. Ravishankar: URPC: A Toolkit for Prototyping Remote Procedure Calls. 525-540 BibTeX
Panayiotis Bozanis, Nectarios Kitsios, Christos Makris, Athanasios K. Tsakalidis: Red-Blue Intersection Reporting for Objects of Non-Constant Size. 541-546 BibTeX
Bohdan S. Majewski, Nicholas C. Wormald, George Havas, Zbigniew J. Czech: A Family of Perfect Hashing Methods. 547-554 BibTeX

Volume 39, Number 7, 1996

John M. Taylor: Forward with Foresight. 561-565 BibTeX
Cristina Cifuentes, Anne Fitzgerald: Australian Recommendations on Computer Software Protection. 566-576 BibTeX
Jukka Paakki, Airi Salminen, Jussi Koskinen: Automated Hypertext Support for Software Maintenance. 577-597 BibTeX
M. P. Ward: Program Analysis by Formal Transformation. 598-618 BibTeX
Tsong Yueh Chen, Yuen-Tak Yu: Constraints for Safe Partition Testing Strategies. 619-625 BibTeX
Qian-Ping Gu, Shietung Peng: Optimal Algorithms for Node-to-Node Fault Tolerant Routing in Hypercubes. 626-629 BibTeX

History

Jon Agar: The Provision of Digital Computers to British Universities up to the Flowers Report (1966). 630-642 BibTeX

Volume 39, Number 8, 1996

Antonio Puliafito, Salvatore Riccobene, Marco Scarpa: Evaluation of Performability Parameters in Client-Server Environments. 647-662 BibTeX
Goran L. Djordjevic, Milorad B. Tosic: A Compile-Time Scheduling Heuristic for Multiprocessor Architectures. 663-674 BibTeX
Joan M. Morrissey, W. T. Bealor: Minimizing Data Transfers in Distributed Query Processing: A Comparative Study and Evaluation. 675-687 BibTeX
Xindong Wu: A Bayesian Discretizer for Real-Valued Attributes. 688-691 BibTeX
Behrooz Parhami: Parallel Threshold Voting. 692-700 BibTeX
Emil Sekerinski, Kaisa Sere: A Theory of Prioritizing Composition. 701-712 BibTeX
Shietung Peng, Stanislav Sedukhin: Array Processors Design for Division-free Linear System Solving. 713-722 BibTeX

Volume 39, Number 9, 1996

Peter M. Fenwick: The Burrows-Wheeler Transform for Block Sorting Text Compression: Principles and Improvements. 731-740 BibTeX
K. L. Verco, Michael J. Wise: Plagiarism à la Mode: A Comparison of Automated Systems for Detecting Suspected Plagiarism. 741-750 BibTeX
Mahes Visvalingam, Dominic A. Varley, Chris Wright: A Cognitive Approach to Road Recognition with Novel Feature Indicators. 751-756 BibTeX
Ing-Ray Chen, Chi-Ming Chen: Threshold-Based Admission Control Policies for Multimedia Servers. 757-766 BibTeX
Ing-Ray Chen, Ding-Chau Wang: Analysis of Replicated Data with Repair Dependency. 767-779 BibTeX
Jordi Tubella, Antonio González, E. Elias: The Multipath Architecture for Prolog Programs. 780-792 BibTeX
Patrick van Bommel, Paul J. M. Frederiks, Theo P. van der Weide: Object-Oriented Modelling Based on Logbooks. 793-799 BibTeX
Jixin Ma, Brian Knight: A Reified Temporal Logic. 800-807 BibTeX
Graham M. Seed, Doug E. R. Clark, Jonathan R. Corney, R. Tuttle, Gordon Little: Object-Oriented Graph-Based Geometric Feature Recognition. 808-811 BibTeX

Volume 39, Number 10, 1996

Rob Ingram, Steve Benford: The Application of Legibility Techniques to Enhance Information Visualizations. 819-836 BibTeX
Chongjiang Du: An Interpolation Method for Grid-Based Terrain Modelling. 837-843 BibTeX
Ning Zhang, Qi Shi: Achieving Non-Repudiation of Receipt. 844-853 BibTeX
A. Bruce McDonald, Taieb Znati: ARP versus ES-IS: Performance Evaluation of Neighbour-Greeting Protocols. 854-867 BibTeX
Janos J. Sarbo: Building Sub-Knowledge Bases Using Concept Lattices. 868-875 BibTeX
Manuel Díaz, Bartolomé Rubio, José M. Troya: Distributed Programming with a Logic Channel Based Coordination Model. 876-889 BibTeX