Volume 15, Number 1, February 1972
- S. J. Waters:
File design fallacies.
- D. G. Bennett, R. A. Davenport:
A facility for real-time program development.
- Brian A. Wichmann:
Five ALGOL compilers.
- Jeffrey S. Rohl, J. A. Linn:
A note on compiling arithmetic expressions.
- John G. P. Barnes:
Real time languages for process control.
- K. Dos, H. Otto:
Optimal dynamic use of memory for PL/1 object programs in a real memory environment.
- G. M. Bull:
Dynamic debugging in BASIC.
- J. L. Smith, T. S. Holden:
Restart of an operating system having a permanent file structure.
- J. F. Lubran, J. D. Roberts:
Some observations on 'least time to go' scheduling.
- John A. N. Lee:
The formal definition of the BASIC language.
- Roland N. Ibbett:
The MU5 instruction pipeline.
- W. P. Boote, S. R. Clark, T. R. Rourke:
Simulation of a paging computer system.
- L. B. Hunt:
Numerical smoothing and filtering in N dimensions.
- C. S. Wetherell, T. J. Buckholtz, Kellogg S. Booth:
A director for Kriegspiel, a variant of chess.
- A. Robin Forrest:
Interactive interpolation and approximation by Bezier polynomials.
- P. E. Gill, G. F. Miller:
An algorithm for the integration of unequally spaced data.
- B. S. Thornton:
Reduction and linearisation of quadratic constrained optimisation in linked systems.
- P. A. Samet:
Insight, not numbers.
Volume 15, Number 2, May 1972
- George Coulouris, John M. Evans, R. W. Mitchell:
Towards content-addressing in data bases.
- R. N. Cuff:
A conversational compiler for full PL/1.
- A. E. Brown, C. E. Phillips, J. S. Scandale, D. P. Sparrow:
A data collection and display system for a large-scale simulation.
- P. C. Capon, D. Morris, Jeffrey S. Rohl, I. R. Wilson:
The MU5 compiler target language and autocode.
- Derrick Morris, G. D. Detlefsen, G. R. Frank, T. J. Sweeney:
The structure of the MU5 operating system.
- Joseph E. Stoy, C. Strachey:
OS6 - an experimental operating system for a small computer. Part 1: general principles and structure.
- E. W. Elcock, J. J. McGregor, A. M. Murray:
Data directed control and operating systems.
- J. Meredith Smith:
Proof and validation of program correctness.
- S. H. Storey:
Optimal fixed batch sizes for real-time inquiry systems.
- M. H. Beilby:
Road traffic simulation on a small computer.
- Malcolm P. Atkinson, S. R. Lang:
A comparison of some inverse Laplace transform techniques for use in circuit design.
- J. Hyslop:
A note on the accuracy of optimisation techniques.
- J. Oliver:
A doubly-adaptive Clenshaw-Curtis quadrature method.
- D. R. Powell, J. R. Macdonald:
A rapidly convergent iterative method for the solution of the generalised nonlinear least squares problem.
- Herbert E. Salzer:
Lagrangian interpolation at the Chebyshev points xn, [ngr][equiv]cos([ngr][pgr]/n), [ngr]=0(1) n; some unnoted advantages.
- R. P. Saunders:
A description and analysis of character maps.
- M. H. J. Webb:
Computer procurement policies for universities and simular users.
- C. H. Lindsey:
ALGOL 68 with fewer tears.
Volume 15, Number 3, August 1972
- Maurice V. Wilkes:
On preserving the integrity of data bases.
- Joseph E. Stoy, C. Strachey:
OS6 - an experimental operating system for a small computer. Part 2: input/output and filing system.
- Ben Wegbreit:
A generalised compactifying garbage collector.
- K. M. Cunningham, John C. Ogilvie:
Evaluation of hierarchical grouping techniques; a preliminary study.
- D. M. Jackson, L. J. White:
Stability problems in non-statistical classification.
- L. W. Smith, S. S. Yau:
Generational of regular expressions for automata by the integral of regular expressions.
- Ziad J. Ghandour:
Formal systems and analysis of context sensitive languages.
- R. G. Bennetts:
A realistic approach to detection test generation for combinatorial logic circuits.
- C. R. Edwards:
The logic of Boolean matrices.
- Zvonko G. Vranesic, V. Carl Hamacher:
Ternary logic in parallel multipliers.
- A. C. Clare, E. M. Cook, Michael F. Lynch:
The identification of variable-length, equifrequent character strings in a natural language data base.
- W. R. Willcox, S. P. Lapage:
Automatic construction of diagnostic tables.
- J. Grad, E. Zakrajsek:
LR algorithm with Laguerre shift for symmetric tridiagonal matrices.
- H. F. Kaiser:
The JK method: a procedure for finding the eigenvectors and eigenvalues of a real symmetric matrix.
- George Loizou:
On the quadratic convergence of the Jacobi method for normal matrices.
- Reginald P. Tewarson:
On minimax solutions of linear equations.
- Algorithms supplement.
Volume 15, Number 4, November 1972
Last update Sat May 18 20:09:15 2013
CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page
- C. O. M. Stross:
Operation of a disc data base.
- M. Shain:
Acceptance trials for a real time system.
- C. J. Burgess:
Compile-time error diagnostics in syntax-directed compilers.
- M. Wells:
File compression using variable length encodings.
- F. R. A. Hopgood, J. Davenport:
The quadratic hash method when the table size is a power of 2.
- M. Goldman Repko:
Animated cartoon design with a CRT.
- C. A. R. Hoare:
Proof of a structured program: 'the sieve of Eratosthenes'.
- Robert F. Ling:
On the theory and construction of k-clusters.
- M. Ahmad:
Iterative schemes for high speed division.
- P. A. Lynn:
Recursive digital filters with linear-phase characteristics.
- P. A. Beaven, D. W. Lewin:
An associative parallel processing system for non-numerical computation.
- I. R. Smith, L. A. Snider:
Numerical solution of the differential equations of a synchronous generator.
- D. J. Evans:
An algorithm for the solution of certain tridiagonal systems of linear equations.
- J. A. Shanks:
Romberg tables for singular integrands.
- David Barton, J. P. Fitch:
A review of algebraic manipulative programs and their application.