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
T. Briggs: A Review of Road Traffic Simulation Method Using a General Purpose Digital Computer. 11-16

Advanced Programming and System Programming

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

Computer Science Theory

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

Technical Applications

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

Discussion

Advanced Programming and System Programming

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

Computer Science Theory

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

Hardware and Logic Design

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

Technical Applications

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

Advanced Programming and System Programming

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

Computer Science Theory

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

Hardware and Logic Design

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

Technical Applications

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

Special Feature

Discussion

Advanced Programming and System Programming

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

Computer Science Theory

Discussion