Volume 15,
Number 1,
February 1972
- S. J. Waters:
File design fallacies.
1-4
Electronic Edition (link) BibTeX
- D. G. Bennett, R. A. Davenport:
A facility for real-time program development.
5-7
Electronic Edition (link) BibTeX
- Brian A. Wichmann:
Five ALGOL compilers.
8-12
Electronic Edition (link) BibTeX
- Jeffrey S. Rohl, J. A. Linn:
A note on compiling arithmetic expressions.
13-14
Electronic Edition (link) BibTeX
- John G. P. Barnes:
Real time languages for process control.
15-17
Electronic Edition (link) BibTeX
- K. Dos, H. Otto:
Optimal dynamic use of memory for PL/1 object programs in a real memory environment.
18-20
Electronic Edition (link) BibTeX
- G. M. Bull:
Dynamic debugging in BASIC.
21-24
Electronic Edition (link) BibTeX
- J. L. Smith, T. S. Holden:
Restart of an operating system having a permanent file structure.
25-31
Electronic Edition (link) BibTeX
- J. F. Lubran, J. D. Roberts:
Some observations on 'least time to go' scheduling.
32-36
Electronic Edition (link) BibTeX
- John A. N. Lee:
The formal definition of the BASIC language.
37-41
Electronic Edition (link) BibTeX
- Roland N. Ibbett:
The MU5 instruction pipeline.
42-50
Electronic Edition (link) BibTeX
- W. P. Boote, S. R. Clark, T. R. Rourke:
Simulation of a paging computer system.
51-57
Electronic Edition (link) BibTeX
- L. B. Hunt:
Numerical smoothing and filtering in N dimensions.
58-65
Electronic Edition (link) BibTeX
- C. S. Wetherell, T. J. Buckholtz, Kellogg S. Booth:
A director for Kriegspiel, a variant of chess.
66-70
Electronic Edition (link) BibTeX
- A. Robin Forrest:
Interactive interpolation and approximation by Bezier polynomials.
71-79
Electronic Edition (link) BibTeX
- P. E. Gill, G. F. Miller:
An algorithm for the integration of unequally spaced data.
80-83
Electronic Edition (link) BibTeX
- B. S. Thornton:
Reduction and linearisation of quadratic constrained optimisation in linked systems.
84-87
Electronic Edition (link) BibTeX
- P. A. Samet:
Insight, not numbers.
88-92
Electronic Edition (link) BibTeX
Volume 15,
Number 2,
May 1972
- George Coulouris, John M. Evans, R. W. Mitchell:
Towards content-addressing in data bases.
95-98
Electronic Edition (link) BibTeX
- R. N. Cuff:
A conversational compiler for full PL/1.
99-104
Electronic Edition (link) BibTeX
- A. E. Brown, C. E. Phillips, J. S. Scandale, D. P. Sparrow:
A data collection and display system for a large-scale simulation.
105-108
Electronic Edition (link) BibTeX
- P. C. Capon, D. Morris, Jeffrey S. Rohl, I. R. Wilson:
The MU5 compiler target language and autocode.
109-112
Electronic Edition (link) BibTeX
- Derrick Morris, G. D. Detlefsen, G. R. Frank, T. J. Sweeney:
The structure of the MU5 operating system.
113-116
Electronic Edition (link) BibTeX
- Joseph E. Stoy, C. Strachey:
OS6 - an experimental operating system for a small computer. Part 1: general principles and structure.
117-124
Electronic Edition (link) BibTeX
- E. W. Elcock, J. J. McGregor, A. M. Murray:
Data directed control and operating systems.
125-129
Electronic Edition (link) BibTeX
- J. Meredith Smith:
Proof and validation of program correctness.
130-131
Electronic Edition (link) BibTeX
- S. H. Storey:
Optimal fixed batch sizes for real-time inquiry systems.
132-133
Electronic Edition (link) BibTeX
- M. H. Beilby:
Road traffic simulation on a small computer.
134-137
Electronic Edition (link) BibTeX
- M. P. Atkinson, S. R. Lang:
A comparison of some inverse Laplace transform techniques for use in circuit design.
138-139
Electronic Edition (link) BibTeX
- J. Hyslop:
A note on the accuracy of optimisation techniques.
140
Electronic Edition (link) BibTeX
- J. Oliver:
A doubly-adaptive Clenshaw-Curtis quadrature method.
141-147
Electronic Edition (link) BibTeX
- D. R. Powell, J. R. Macdonald:
A rapidly convergent iterative method for the solution of the generalised nonlinear least squares problem.
148-155
Electronic Edition (link) BibTeX
- Herbert E. Salzer:
Lagrangian interpolation at the Chebyshev points xn, [ngr][equiv]cos([ngr][pgr]/n), [ngr]=0(1) n; some unnoted advantages.
156-159
Electronic Edition (link) BibTeX
- R. P. Saunders:
A description and analysis of character maps.
160-169
Electronic Edition (link) BibTeX
- M. H. J. Webb:
Computer procurement policies for universities and simular users.
170-175
Electronic Edition (link) BibTeX
- C. H. Lindsey:
ALGOL 68 with fewer tears.
176-188
Electronic Edition (link) BibTeX
Volume 15,
Number 3,
August 1972
- Maurice V. Wilkes:
On preserving the integrity of data bases.
191-194
Electronic Edition (link) BibTeX
- Joseph E. Stoy, C. Strachey:
OS6 - an experimental operating system for a small computer. Part 2: input/output and filing system.
195-203
Electronic Edition (link) BibTeX
- Ben Wegbreit:
A generalised compactifying garbage collector.
204-208
Electronic Edition (link) BibTeX
- K. M. Cunningham, John C. Ogilvie:
Evaluation of hierarchical grouping techniques; a preliminary study.
209-213
Electronic Edition (link) BibTeX
- D. M. Jackson, L. J. White:
Stability problems in non-statistical classification.
214-221
Electronic Edition (link) BibTeX
- L. W. Smith, S. S. Yau:
Generational of regular expressions for automata by the integral of regular expressions.
222-228
Electronic Edition (link) BibTeX
- Ziad J. Ghandour:
Formal systems and analysis of context sensitive languages.
229-237
Electronic Edition (link) BibTeX
- R. G. Bennetts:
A realistic approach to detection test generation for combinatorial logic circuits.
238-246
Electronic Edition (link) BibTeX
- C. R. Edwards:
The logic of Boolean matrices.
247-253
Electronic Edition (link) BibTeX
- Zvonko G. Vranesic, V. Carl Hamacher:
Ternary logic in parallel multipliers.
254-258
Electronic Edition (link) BibTeX
- A. C. Clare, E. M. Cook, Michael F. Lynch:
The identification of variable-length, equifrequent character strings in a natural language data base.
259-262
Electronic Edition (link) BibTeX
- W. R. Willcox, S. P. Lapage:
Automatic construction of diagnostic tables.
263-267
Electronic Edition (link) BibTeX
- J. Grad, E. Zakrajsek:
LR algorithm with Laguerre shift for symmetric tridiagonal matrices.
268-270
Electronic Edition (link) BibTeX
- H. F. Kaiser:
The JK method: a procedure for finding the eigenvectors and eigenvalues of a real symmetric matrix.
271-273
Electronic Edition (link) BibTeX
- George Loizou:
On the quadratic convergence of the Jacobi method for normal matrices.
274-276
Electronic Edition (link) BibTeX
- R. P. Tewarson:
On minimax solutions of linear equations.
277-279
Electronic Edition (link) BibTeX
- Algorithms supplement.
280-285 BibTeX
Volume 15,
Number 4,
November 1972
Copyright © Fri Nov 21 21:16:18 2008
by Michael Ley (ley@uni-trier.de)
