Volume 32,
Number 1,
1989
- T. H. Tse, L. Pong:
Towards a Formal Foundation for DeMarco Data Flow Diagrams.
1-12 BibTeX
- Chris J. Mitchell:
Multi-Destination Secure Electronic Mail.
13-15 BibTeX
- Timothy C. Bell, Alistair Moffat:
A Note on the DMC Data Compression Scheme.
16-20 BibTeX
- S. Hekmatpour:
A Window Manager for UNIX.
21-23 BibTeX
- Bernd Freisleben, James Leslie Keedy:
Priority Semaphores.
24-28 BibTeX
- Paolo Corsini, Graziano Frosini, G. Speranza:
The Parallel Interpretation of Logic Programs in Distributed Architectures.
29-35 BibTeX
- Balanjaninath Edupuganty, Barrett R. Bryant:
Two-Level Grammar as a Functional Programming Language.
36-44 BibTeX
- Ivor P. Page, R. T. Jacob:
The Solution of Mutual Exclusion Problems which can be Described Graphically.
45-54 BibTeX
- N. Parimala, Naveen Prakash, B. L. N. Rao, Narasimha Bolloju:
A Query Facility to a Network DBMS.
55-62 BibTeX
- A. Hutchinson:
Inheritance and Kinds of Slots.
63-67 BibTeX
- Joseph C. Culberson, J. Ian Munro:
Explaining the Behaviour of Binary Search Trees Under Prolonged Updates: A Model and Simulations.
68-75 BibTeX
- M. C. Er:
Classes of Admissible Permutations that are Generatable by Depth-First Traversals of Ordered Trees.
76-85 BibTeX
- Alan R. Halbert, Stephen Todd, John R. Woodwark:
Generalizing Active Zones for Set-Theoretic Solid Models.
86-89 BibTeX
Short Notes
Volume 32,
Number 2,
1989
Short Note
Volume 32,
Number 3,
1989
- K. P. Tan, T. S. Chua, P. T. Lee:
AUTO-DFD: An Intelligent Data Flow Processor.
194-201 BibTeX
- Anthony N. Godwin, M. B. Gore, D. W. Salt:
A Comparison of JSD and DFD as Descriptive Tools.
202-211 BibTeX
- Michael A. Shepherd, William J. Phillips, C.-K. Chu:
A Fixed-Size Bloom Filter for Searching Textual Documents.
212-219 BibTeX
- Abdelmoula El-Hamdouchi, Peter Willett:
Comparison of Hierarchie Agglomerative Clustering Methods for Document Retrieval.
220-227 BibTeX
- Jyrki Katajainen, Timo Raita:
An Approximation Algorithm for Space-Optimal Encoding of a Text.
228-237 BibTeX
- Erkki Mäkinen:
On Implementing Two Adaptive Data-Compression Schemes.
238-240 BibTeX
- K. W. Yu, Tong Lai Yu:
Data Encryption Based Upon Time Reversal Transformations.
241-245 BibTeX
- M. Rahman, S. Misbahuddin:
Effect of a Binary Symmetric Channel on the Synchronisations Recovery of Variable Length Codes.
246-251 BibTeX
- L. H. Ngoh, T. P. Hopkins:
Transport Protocol Requirements for Distributed Multimedia Information Systems.
252-261 BibTeX
- G. G. Scarrott:
The Nature of Information.
262-266 BibTeX
- André Schiper, Roland Simon, Philippe Desarzens, Jacques-André Sengstag:
Efficient Implementation of Rendezvous.
267-272 BibTeX
- J. M. Wilson:
Crossword Compilation Using Integer Programming.
273-275 BibTeX
- Hal Berghel, C. Yi:
Crossword Compiler-Compilation.
276-280 BibTeX
Short Note
Volume 32,
Number 4,
1989
- Phillip M. Yelland:
First Steps Towards Fully Abstract Semantics for Object-Oriented Languages.
290-296 BibTeX
- Dennis G. Kafura, K. H. Lee:
Inheritance in Actor Based Concurrent Object-Oriented Languages.
297-304 BibTeX
- W. R. Cook:
A Proposal for Making Eiffel Type-Safe.
305-311 BibTeX
- Rajendra K. Raj, Henry M. Levy:
A Compositional Model for Software Reuse.
312-322 BibTeX
- Graeme N. Dixon, Graham D. Parrington, Santosh K. Shrivastava, Stuart M. Wheater:
The Treatment of Persistent Objects in Arjuna.
323-332 BibTeX
- Els Laenens, François Staes, Dirk Vermeir:
Browsing à la Carte in Object-Oriented Databases.
333-340 BibTeX
- T. P. Hopkins, Mario Wolczko:
Writing Concurrent Object-Oriented Programs Using Smalltalk-80.
341-350 BibTeX
- Martin C. Cooper:
Formal Hierarchical Object Models for Fast Template Matching.
351-361 BibTeX
- Rami G. Melhem, Donald M. Chiarulli, Steven P. Levitan:
Space Multiplexing of Waveguides in Optically Interconnected Multiprocessor Systems.
362-369 BibTeX
- J. P. Bennett, G. C. Smith:
The Need for Reduced Byte Stream Instruction Sets.
370-373 BibTeX
- Chris J. Mitchell:
Another Postage Stamp Problem.
374-376 BibTeX
Short Note
- A. Oxley:
Calculating Earthworks Volumes - An Exercise in Geometric Algorithms.
377-379 BibTeX
Volume 32,
Number 5,
1989
- Ian Sommerville, Ronny Thomson:
An Approach to the Support of Software Evolution.
386-398 BibTeX
- M. W. Shields:
Implicit System Specification and the Interface Equation.
399-412 BibTeX
- Robin M. Gallimore, Derek Coleman, Victoria Stavridou:
UMIST OBJ: A Language for Executable Progam Specifications.
413-421 BibTeX
- C. McDonald, Lloyd Allison:
Denotational Semantics of a Command Interpreter and Their Implementation in Standard ML.
422-431 BibTeX
- Brian A. Wichmann:
Towards a Formal Specification of Floating Point.
432-436 BibTeX
- Luigi V. Mancini, Giuseppe Pappalardo:
Proving Correctness Properties of a Replicated Synchronous Program.
437-444 BibTeX
- Vincent P. Heuring, Uwe Kastens, R. G. Plummer, William M. Waite:
COMAR: A Data Format for Integration of CFG Tools.
445-452 BibTeX
- Panayotis Tsanakas, Nikitas A. Alexandridis, George K. Papakonstantinou:
An FP-Based Design Methodology for Problem-Oriented Architectures.
453-460 BibTeX
- D. I. Bevan, Geoffrey L. Burn, R. J. Karia, J. D. Robson:
Principles For the Design of a Distributed Memory Architecture for Parallel Graph Reduction.
461-469 BibTeX
- M. C. Er:
A New Algorithm for Generating Binary Trees Using Rotations.
470-473 BibTeX
Short Note
J. A. Ellis,
P. M. Lepolesa:
A Las Vegas Graph Colouring Algorithm. 474-476
Volume 32,
Number 6,
1989
Short Note
Copyright © Sat May 16 23:52:43 2009
by Michael Ley (ley@uni-trier.de)
