The Computer Journal, Volume 22, 1979

Volume 22, Number 1, February 1979

Business Applications

R. Burdekin, R. S. Scowen: Computers and the Construction of Economic Models. 3-10 BibTeX
T. Briggs: A Review of Road Traffic Simulation Method Using a General Purpose Digital Computer. 11-16 BibTeX

Advanced Programming and System Programming

C. B. Spengler, J. B. Westwood: Assessing Data Retrieval Capabilities: A Case Study. 17-21 BibTeX
Eva Huzan: Modelling of Indexed Sequential Files: Monitoring Disc Transfers. 22-27 BibTeX
J. F. A. Wiederhold: Tuning to Service Standards Without Monitors. 28-36 BibTeX
Rahul Chattergy, Udo W. Pooch: A Distributed Function Computer with Dedicated Processors. 37-40 BibTeX
Y. Kobayashi, Tosiyasu L. Kunii: A Simulation of a Minicomputer Controlled System and its Use as a Debugging Tool. 41-49 BibTeX
P. J. Brown: Software Methods for Virtual Storage of Executable Code. 50-52 BibTeX
Michael A. Hennell, David Hedley: An Experimental Testbed for Numerical Software, Part 2: ALGOL 68. 53-56 BibTeX

Computer Science Theory

J. C. Turner: The Conditional Distribution of Waiting Time Given Queue Length in a Computer System. 57-62 BibTeX
Frank G. Pagan: ALGOL 68 as a Metalanguage for Denotational Semantics. 63-66 BibTeX
P. W. Williams, D. Woodhead: Computer Assisted Analysis of Cryptic Crosswords. 67-70 BibTeX
A. G. Bell, N. Jacobi: How to Read, Make and Store Chess Moves. 71-75 BibTeX

Technical Applications

G. Z. Ben-Yaacov: Interactive Computation and Data Management for Power System Studies. 76-79 BibTeX
G. W. Hill: Cyclic Properties of Pseudo-Random Sequences of Mersenne Prime Residues. 80-85 BibTeX

Discussion

Advanced Programming and System Programming

Susan Jones: A Network Display Program. 98-104 BibTeX
Andrew T. Arblaster, Max E. Sime, Thomas R. G. Green: Jumping to Some Purpose. 105-109 BibTeX
Farhad Mavaddat, Behrooz Parhami: A Data Structure for Family Relations. 110-113 BibTeX
J. R. Oliver, R. S. Newton: Practical Experience with ALGOL 68-RT. 114-118 BibTeX
Sallie S. Nelson: CONSIM: A Study of Control Issues in Conversational Simulation. 119-126 BibTeX
Steven J. Harrington: A New Symbolic Integration System in Reduce. 127-131 BibTeX
P. I. P. Boulton, J. R. Goguen: A Machine Description Language. 132-135 BibTeX
Granino A. Korn, Olgierd A. Palusinski: Application of a Digital Computer Simulation Language to Control Hybrid Computer Monte Carlo Studies. 136-141 BibTeX
Abraham Silberschatz: On the Safety of the IO Primitive in Concurrent PASCAL. 142-145 BibTeX
James Leslie Keedy, Kotagiri Ramamohanarao, John Rosenberg: On Implementing Semaphores with Sets. 146-150 BibTeX

Computer Science Theory

Richard S. Bird: Recursion Elimination with Variable Parameters. 151-154 BibTeX
Dan M. Nessett, O. W. Rechard: Allocation Algorithms for Dynamically Microprogrammable Multiprocessor Systems. 155-163 BibTeX
M. Howard Williams: Conditions for Extended Operator Precedence Parsing. 164-168 BibTeX

Hardware and Logic Design

S. S. Yau, Y. S. Tang: Generation of Shortest Test Sequences for Detecting Individual Faults of Sequential Circuits. 169-172 BibTeX
S. L. Hurst: An Engineering Consideration of Spectral Transforms for Ternary Logic Synthesis. 173-183 BibTeX

Technical Applications

Jeff R. Cash, J. C. P. Miller: On an Iterative Approach to the Numerical Solution of Difference Schemes. 184-187 BibTeX

Advanced Programming and System Programming

S. J. Waters: Towards Comprehensive Specifications. 195-199 BibTeX
P. A. Dearnley: Application Level Microcode to Speed Data Base Management. 200-202 BibTeX
C. Lazos, J. R. Yandle: Improving CPU Utilisation in a Multiprogramming System. 203-205 BibTeX
F. Warren Burton, John G. Kollias: Optimising Disc Head Movements in Secondary Key Retrievals. 206-208 BibTeX
Günter Haring, Reinhard Posch, C. Leonhardt, Günter Gell: The Use of a Synthetic Jobstream in Performance Evaluation. 209-219 BibTeX
Olli Nevalainen, Jukka Teuhola: Priority Queue Administration by Sublist Index. 220-225 BibTeX
E. F. Elsworth: Compilation via an Intermediate Language. 226-233 BibTeX
Mauro Di Manzo, A. L. Frisiani, G. Olimpo: Loop Optimisation for Parallel Processing. 234-239 BibTeX

Computer Science Theory

Pierre Deransart: Proof by Semantic Attributes of a LISP Compiler. 240-245 BibTeX
M. Bozyigit, Y. Paker: A Fixed Routing Problem in Large and High Connectivity Networks. 246-250 BibTeX

Hardware and Logic Design

Z. M. Lotfi, A. Tosser: Minimising the NAND-NOR-XOR Network of Modulo 2 Sum of Boolean Products. 251-255 BibTeX

Technical Applications

J. Mottl: Description of a Program for Nonlinear Programming. 256-261 BibTeX
P. J. Green, B. W. Silverman: Constructing the Convex Hull of a Set of Points in the Plane. 262-266 BibTeX
R. H. Barlow, D. J. Evans: A Parallel Organisation of the Bisection Algorithm. 267-269 BibTeX

Special Feature

Discussion

Advanced Programming and System Programming

T. J. Howkins, Mehdi T. Harandi: Towards More Portable COBOL. 290-295 BibTeX
L. Moore: Design for a Transportable Job Organisation Language. 296-302 BibTeX
Ehud Gudes, Harvey S. Koch, Fred A. Stahl: Security in a Multi-Level Structured Model of a Data Base. 303-306 BibTeX
F. Warren Burton: A FORTRAN Preprocessor to Support Encapsulated Data Abstraction Definitions. 307-312 BibTeX
Timo Leipälä, Olli Nevalainen: A Plotter Sequencing System. 313-316 BibTeX
Brian A. Wichmann, J. Du Croz: A Program to Calculate the GAMM Measure. 317-322 BibTeX
C. Lazos, A. Vafiadis: A Method to Estimate the I/O Buffer Size in a Computer System. 323-328 BibTeX
P. I. P. Boulton, M. A. R. Kittler: Estimating Program Reliability. 328-331 BibTeX
H. R. Simpson, K. Jackson: Process Synchronisation in MASCOT. 332-345 BibTeX
C. M. Reeves: Free Store Distribution Under Random Fit Allocation: Part 1. 346-351 BibTeX
J. R. Haley, Andrew S. Noetzel: A Study of Processing Repetition. 352-356 BibTeX
J. Loetzsch, M. Machura, W. Paetzold: Sample Implementation of a Special Purpose Language by the DEPOT System. 357-362 BibTeX

Computer Science Theory

Discussion