Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDThe Computer Journal, Volume 15, 1972
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 - Gordon 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 - Charles 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 - Paul 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, Derrick 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, Christopher S. Strachey:
OS6 - an experimental operating system for a small computer. Part 1: general principles and structure. 117-124 - Edward 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 xn, [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, Christopher S. 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 - David M. Jackson, Lee J. White:
Stability problems in non-statistical classification. 214-221 - L. W. Smith, Stephen S. Yau:
Generation 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 - Colin 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 - Henry 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. Comput. J. 15(3): 280-285 (1972)
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. Robert A. Hopgood, James H. 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 - David 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, John P. Fitch:
A review of algebraic manipulative programs and their application. 362-381
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 20:50 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
