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 BibTeX
• Roel Wieringa: Combining Static and Dynamic Modelling Methods: A Comparison of Four Methods. 17-30 BibTeX
• David R. Sutton, Peter J. H. King: Incomplete Information and the Functional Data Model. 31-42 BibTeX
• Charles L. A. Clarke, Gordon V. Cormack, Forbes J. Burkowski: An Algebra for Structured Text Search and a Framework for its Implementation. 43-56 BibTeX
• John G. Vaughan: A Hierarchical Protocol for Decentralising Information Dissemination in Distributed Systems. 57-70 BibTeX
• R. F. Browne: The Embedding of Meshes and Trees into Degree Four Chordal Ring Networks. 71-77 BibTeX

Volume 38, Number 2, 1995

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

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 BibTeX
• Linda B. Sherrell, Doris L. Carver: FunZ: An Intermediate Specification Language. 193-206 BibTeX
• Mohan Kumar, Svetha Venkatesh, Dorota H. Kieronska, Lalit M. Patnaik: Hierarchical Directory-Based Shared Memory Architecture. 207-216 BibTeX
• Hong Shen: Efficient Parallel k-Set Chain Range-Join in Hypercubes. 217-226 BibTeX
• V. Kapelios, Giannis Panagopoulou, G. Papamichail, Spiros Sirmakessis, Athanasios K. Tsakalidis: The 'Cross' Rectangle Intersection Problem. 227-236 BibTeX
• Imtiaz Ahmad, Muhammad K. Dhodhi: On the m-Way Graph Partitioning Problem. 237-244 BibTeX
• Ing-Ray Chen: A Degradable B^link-Tree with Periodic Data Reorganization. 245-252 BibTeX

Volume 38, Number 4, 1995

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

Volume 38, Number 5, 1995

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

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

Volume 38, Number 6, 1995

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

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

Volume 38, Number 8, 1995

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

Volume 38, Number 9, 1995

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

Volume 38, Number 10, 1995

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

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