Volume 15, Number 1, February 1972

• 
  S. J. Waters: File design fallacies. 1-4
• 
  D. G. Bennett, R. A. Davenport: A facility for real-time program development. 5-7
• 
  Brian A. Wichmann: Five ALGOL compilers. 8-12
• 
  Jeffrey S. Rohl, J. A. Linn: A note on compiling arithmetic expressions. 13-14
• 
  John G. P. Barnes: Real time languages for process control. 15-17
• 
  K. Dos, H. Otto: Optimal dynamic use of memory for PL/1 object programs in a real memory environment. 18-20
• 
  G. M. Bull: Dynamic debugging in BASIC. 21-24
• 
  J. L. Smith, T. S. Holden: Restart of an operating system having a permanent file structure. 25-31
• 
  J. F. Lubran, J. D. Roberts: Some observations on 'least time to go' scheduling. 32-36
• 
  John A. N. Lee: The formal definition of the BASIC language. 37-41
• 
  Roland N. Ibbett: The MU5 instruction pipeline. 42-50
• 
  W. P. Boote, S. R. Clark, T. R. Rourke: Simulation of a paging computer system. 51-57
• 
  L. B. Hunt: Numerical smoothing and filtering in N dimensions. 58-65
• 
  C. S. Wetherell, T. J. Buckholtz, Kellogg S. Booth: A director for Kriegspiel, a variant of chess. 66-70
• 
  A. Robin Forrest: Interactive interpolation and approximation by Bezier polynomials. 71-79
• 
  P. E. Gill, G. F. Miller: An algorithm for the integration of unequally spaced data. 80-83
• 
  B. S. Thornton: Reduction and linearisation of quadratic constrained optimisation in linked systems. 84-87
• 
  P. A. Samet: Insight, not numbers. 88-92

Volume 15, Number 2, May 1972

• 
  George Coulouris, John M. Evans, R. W. Mitchell: Towards content-addressing in data bases. 95-98
• 
  R. N. Cuff: A conversational compiler for full PL/1. 99-104
• 
  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
• 
  P. C. Capon, D. Morris, Jeffrey S. Rohl, I. R. Wilson: The MU5 compiler target language and autocode. 109-112
• 
  Derrick Morris, G. D. Detlefsen, G. R. Frank, T. J. Sweeney: The structure of the MU5 operating system. 113-116
• 
  Joseph E. Stoy, C. Strachey: OS6 - an experimental operating system for a small computer. Part 1: general principles and structure. 117-124
• 
  E. W. Elcock, J. J. McGregor, A. M. Murray: Data directed control and operating systems. 125-129
• 
  J. Meredith Smith: Proof and validation of program correctness. 130-131
• 
  S. H. Storey: Optimal fixed batch sizes for real-time inquiry systems. 132-133
• 
  M. H. Beilby: Road traffic simulation on a small computer. 134-137
• 
  Malcolm P. Atkinson, S. R. Lang: A comparison of some inverse Laplace transform techniques for use in circuit design. 138-139
• 
  J. Hyslop: A note on the accuracy of optimisation techniques. 140
• 
  J. Oliver: A doubly-adaptive Clenshaw-Curtis quadrature method. 141-147
• 
  D. R. Powell, J. R. Macdonald: A rapidly convergent iterative method for the solution of the generalised nonlinear least squares problem. 148-155
• 
  Herbert E. Salzer: Lagrangian interpolation at the Chebyshev points x^{n, [ngr]}[equiv]cos([ngr][pgr]/n), [ngr]=0(1) n; some unnoted advantages. 156-159
• 
  R. P. Saunders: A description and analysis of character maps. 160-169
• 
  M. H. J. Webb: Computer procurement policies for universities and simular users. 170-175
• 
  C. H. Lindsey: ALGOL 68 with fewer tears. 176-188

Volume 15, Number 3, August 1972

• 
  Maurice V. Wilkes: On preserving the integrity of data bases. 191-194
• 
  Joseph E. Stoy, C. Strachey: OS6 - an experimental operating system for a small computer. Part 2: input/output and filing system. 195-203
• 
  Ben Wegbreit: A generalised compactifying garbage collector. 204-208
• 
  K. M. Cunningham, John C. Ogilvie: Evaluation of hierarchical grouping techniques; a preliminary study. 209-213
• 
  D. M. Jackson, L. J. White: Stability problems in non-statistical classification. 214-221
• 
  L. W. Smith, S. S. Yau: Generational of regular expressions for automata by the integral of regular expressions. 222-228
• 
  Ziad J. Ghandour: Formal systems and analysis of context sensitive languages. 229-237
• 
  R. G. Bennetts: A realistic approach to detection test generation for combinatorial logic circuits. 238-246
• 
  C. R. Edwards: The logic of Boolean matrices. 247-253
• 
  Zvonko G. Vranesic, V. Carl Hamacher: Ternary logic in parallel multipliers. 254-258
• 
  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
• 
  W. R. Willcox, S. P. Lapage: Automatic construction of diagnostic tables. 263-267
• 
  J. Grad, E. Zakrajsek: LR algorithm with Laguerre shift for symmetric tridiagonal matrices. 268-270
• 
  H. F. Kaiser: The JK method: a procedure for finding the eigenvectors and eigenvalues of a real symmetric matrix. 271-273
• 
  George Loizou: On the quadratic convergence of the Jacobi method for normal matrices. 274-276
• 
  Reginald P. Tewarson: On minimax solutions of linear equations. 277-279
• 
  Algorithms supplement. 280-285

Volume 15, Number 4, November 1972

• 
  C. O. M. Stross: Operation of a disc data base. 290-297
• 
  M. Shain: Acceptance trials for a real time system. 298-301
• 
  C. J. Burgess: Compile-time error diagnostics in syntax-directed compilers. 302-307
• 
  M. Wells: File compression using variable length encodings. 308-313
• 
  F. R. A. Hopgood, J. Davenport: The quadratic hash method when the table size is a power of 2. 314-315
• 
  M. Goldman Repko: Animated cartoon design with a CRT. 316-320
• 
  C. A. R. Hoare: Proof of a structured program: 'the sieve of Eratosthenes'. 321-325
• 
  Robert F. Ling: On the theory and construction of k-clusters. 326-332
• 
  M. Ahmad: Iterative schemes for high speed division. 333-336
• 
  P. A. Lynn: Recursive digital filters with linear-phase characteristics. 337-342
• 
  P. A. Beaven, D. W. Lewin: An associative parallel processing system for non-numerical computation. 343-349
• 
  I. R. Smith, L. A. Snider: Numerical solution of the differential equations of a synchronous generator. 350-355
• 
  D. J. Evans: An algorithm for the solution of certain tridiagonal systems of linear equations. 356-359
• 
  J. A. Shanks: Romberg tables for singular integrands. 360-361
• 
  David Barton, J. P. Fitch: A review of algebraic manipulative programs and their application. 362-381

last updated on Mon May 20 02:54:17 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page