default search action
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 J. 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
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
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 Blink-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
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 - Steven 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, Edward Currie:
The Effect of Failures on the Performance of Long-Duration Database Transactions. 471-477 - Panayiotis Bozanis, Christos Makris
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
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
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
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, 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-27 20:18 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: