Static main storage packing problems
- Henry S. Warren Jr.
- 1978
- Acta Informatica
Publications
Date
Featured collections
Popular topics
32 results at Acta Informatica
Optimal α-β trees with capacity constraint
- D.M. Choy
- C.K. Wong
- 1978
- Acta Informatica
Data encodings and their costs
- Arnold L. Rosenberg
- 1978
- Acta Informatica
Proving programs correct through refinement
- Claus H. Correll
- 1978
- Acta Informatica
Storage schemes for boundedly extendible arrays
- Arnold L. Rosenberg
- Larry J. Stockmeyer
- 1977
- Acta Informatica
Concurrency of operations on B-trees
- R. Bayer
- M. Schkolnick
- 1977
- Acta Informatica
Worst-case analysis for region and partial region searches in multidimensional binary search trees and balanced quad trees
- D.T. Lee
- C.K. Wong
- 1977
- Acta Informatica
On the self contained modelling of DB/DC systems
- Peter D. Welch
- 1976
- Acta Informatica
Hierarchies of complete problems
- Zvi Galil
- 1976
- Acta Informatica
Inherently nonplanar automata
- Ronald V. Book
- Ashok K. Chandra
- 1976
- Acta Informatica