The Computer Journal, Volume 38, 1995

Volume 38, Number 1, 1995

• Ronald Morrison, Richard C. H. Connor, Quintin I. Cutts, Vivienne S. Dunstan, Graham N. C. Kirby: Exploiting Persistent Linkage in Software Engineering Environments. 1-16
• Roel Wieringa: Combining Static and Dynamic Modelling Methods: A Comparison of Four Methods. 17-30
• David R. Sutton, Peter J. H. King: Incomplete Information and the Functional Data Model. 31-42
• Charles L. A. Clarke, Gordon V. Cormack, Forbes J. Burkowski: An Algebra for Structured Text Search and a Framework for its Implementation. 43-56
• John G. Vaughan: A Hierarchical Protocol for Decentralising Information Dissemination in Distributed Systems. 57-70
• R. F. Browne: The Embedding of Meshes and Trees into Degree Four Chordal Ring Networks. 71-77

Volume 38, Number 2, 1995

• Paul Curzon: Tracking Design Changes with Formal Machine - Checked Proof. 91-100
• Mats Larsson: An Engineering Approach to Formal Digital System Design. 101-110
• Sofiène Tahar, Ramayya Kumar: Formal Specification and Verification Techniques for RISC Pipeline Conflicts. 111-120
• Sten Agerholm: LCF Examples in HOL. 121-130
• Peter V. Homeier, David F. Martin: A Mechanically Verified Verification Condition Generator. 131-141
• Elsa L. Gunter, Savi Maharaj: Studying the ML Module System in HOL. 142-151
• Ching-Tsun Chou: Mechanical Verification of Distributed Algorithms in Higher-Order Logic. 152-161
• John Harrison: Binary Decision Diagrams as a HOL Derived Rule. 162-170
• Joakim von Wright: Representing Higher-Order Logic Proofs in HOL. 171-179

Volume 38, Number 3, 1995

• Mark Evered, Axel Schmolitzky, Michael Kölling: A Flexible Object Invocation Language based on Object- Oriented Language Definition. 181-192
• Linda B. Sherrell, Doris L. Carver: FunZ: An Intermediate Specification Language. 193-206
• Mohan Kumar, Svetha Venkatesh, Dorota H. Kieronska, Lalit M. Patnaik: Hierarchical Directory-Based Shared Memory Architecture. 207-216
• Hong Shen: Efficient Parallel k-Set Chain Range-Join in Hypercubes. 217-226
• V. Kapelios, Giannis Panagopoulou, G. Papamichail, Spiros Sirmakessis, Athanasios K. Tsakalidis: The 'Cross' Rectangle Intersection Problem. 227-236
• Imtiaz Ahmad, Muhammad K. Dhodhi: On the m-Way Graph Partitioning Problem. 237-244
• Ing-Ray Chen: A Degradable B^link-Tree with Periodic Data Reorganization. 245-252

Volume 38, Number 4, 1995

• Saurav Chatterjee, Jay K. Strosnider: Distributed Pipeline Scheduling: A Framework for Distributed, Heterogeneous Real-Time System Design. 271-285
• Scott Dawson, Farnam Jahanian: Probing and Fault Injection of Dependable Distributed Protocols. 286-300
• Wolfgang A. Halang, Bernd J. Krämer, Leszek Trybus: Exploiting a Graphical Programming Paradigm to Facilitate Rigorous Verification of Embedded Software. 301-309
• Benjamin Macias, Stephen G. Pulman: A Method for Controlling the Production of Specifications in Natural Language. 310-318
• Alexander D. Stoyenko, Thomas J. Marlowe, Mohamed F. Younis: A Language for Complex Real-Time Systems. 319-338

Volume 38, Number 5, 1995

• Andrew Turpin, Alistair Moffat: Practical Length-limited Coding for Large Alphabets. 339-347
• Ing-Ray Chen, I-Ling Yen: Analysis of Probabilistic Error Checking Procedures on Storage Systems. 348-354
• Hu-Jun Wang, Yuan-Da Jiang, Hui-Zhong Wu: Performance Analysis of Cluster-Based PPMB Multiprocessor Systems. 355-364
• Alexander V. Shafarenko: Symmetries in Data Parallelism. 365-380
• S. M. Eker: Associative-Commutative Matching Via Bipartite Graph Matching. 381-399

• Martin Campbell-Kelly: ICL and the Evolution of the British Mainframe. 400-412

Volume 38, Number 6, 1995

• Stella Mills: To Live or Drown: When Information Systems become Critical. 413-417
• Harold W. Thimbleby: A New Calculator and Why it is Necessary. 418-433
• Ing-Ray Chen: On Applying Imprecise Computation to Real-Time AI Systems. 434-442
• Gavin Lowe: Scheduling-Oriented Models for Real-Time Systems. 443-456
• Ruey-Liang Ma, Chung-Ping Chung: Periodic Adaptive Branch Prediction and its Application in Superscalar Processing in Prolog. 457-470
• Clement H. C. Leung, E. Currie: The Effect of Failures on the Performance of Long-Duration Database Transactions. 471-477
• Panayiotis Bozanis, Christos Makris, Athanasios K. Tsakalidis: Parametric Weighted Filter: An Efficient Dynamic Manipulation of Signature Files. 478-488

Volume 38, Number 7, 1995

• Stephen Gilmore, Jane Hillston: Process Algebras and their Application to Performance Modelling: Proceedings of the Third Workshop on Process Algebra and Performance Modelling Edinburgh, Scotland. 489-491
• Marco Bernardo, Nadia Busi, Roberto Gorrieri: A Distributed Semantics for EMPA Based on Stochastic Contextual Nets. 492-509
• Peter G. Harrison, Jane Hillston: Exploiting Quasi-reversible Structures in Markovian Process Algebra Models. 510-520
• Boudewijn R. Haverkort: In Search of Probability Mass: Probabilistic Evaluation of High-Level Specified Markov Models. 521-529
• Holger Hermanns, Michael Rettelbach, Thorsten Weiss: Formal Characterisation of Immediate Actions in SPA with Nondeterministic Branching. 530-541
• D. R. W. Holton: A PEPA Specification of an Industrial Production Cell. 542-551
• Ed Brinksma, Joost-Pieter Katoen, Rom Langerak, Diego Latella: A Stochastic Causality-Based Process Algebra. 552-565
• Jane Hillston, Vassilis Mertsiotakis: A Simple Time Scale Decomposition Technique for Stochastic Process Algebras. 566-577
• Corrado Priami: Stochastic pi-Calculus. 578-589
• Michael Rettelbach: Probabilistic Branching in Markovian Process Algebras. 590-599
• Marina Ribaudo: On the Aggregation Techniques in Stochastic Petri Nets and Stochastic Process Algebras. 600-611
• Isabel Rojas: Compositional Construction of SWN models. 612-621
• Matteo Sereno: Towards a Product Form Solution for Stochastic Process Algebras. 622-632

Volume 38, Number 8, 1995

• Michael K. Reiter, Li Gong: Securing Causal Relationships in Distributed Systems. 633-642
• Jian-Yun Nie, Martin Brisebois, Francoise Lepage: Information Retrieval as Counterfactual. 643-657
• Kang Zhang, Gaurav Marwaha: Visputer - A Graphical Visualization Tool for Parallel Programming. 658-669
• Peter T. Kirstein, Goli Montasser-Kohsari: The C-ODA Project: Experiences and Tools. 670-680
• Antonios Symvonis: Optimal Stable Merging. 681-690
• Cornelis H. A. Koster, Theo P. van der Weide: Hairy Search Trees. 691-694

Volume 38, Number 9, 1995

• Simon W. Moore, Brian T. Graham: Tagged Up/Down Sorter - A Hardware Priority Queue. 695-703
• Kam-yiu Lam, Sheung-lun Hung: Concurrency Control for Time-Constrained Transactions in Distributed Databases Systems. 704-716
• Ing-Ray Chen: Stochastic Petri Net Analysis of Deadlock Detection Algorithms in Transaction Database Systems with Dynamic Locking. 717-733
• Weidong He, Zhou Chaochen Zhou: A Case Study of Optimization. 734-746

Volume 38, Number 10, 1995

• Roland N. Ibbett, Pat E. Heywood, Fred W. Howell: HASE: A Flexible Toolset for Computer Architects. 755-764
• Stephen P. Wilson, John A. McDermid: Integrated Analysis of Complex Safety Critical Systems. 765-776
• Antonio Ruiz-Delgado, David H. Pitt, Colin Smythe: A Review of Object-oriented Approaches in Formal Methods. 777-784
• Gavin Lowe, Hussein Zedan: Refinement of Complex Systems: A Case Study. 785-800
• Ville Leppänen: Performance of Work-Optimal PRAM Simulation Algorithms on Coated Meshes. 785-800
• Ken Deighton: Average Time to Travel on Two-headed, Non-linear Discs. 811-817
• Jingsen Chen: An Efficient Construction Algorithm for a Class of Implicit Double-Ended Priority Queues. 818-821

• Frank P. Verdon, Mike Wells: Computing in British Universities: The Computer Board 1966-1991. 822-830