Category:Journal The Computer Journal

From BibNetWiki

Papers published in the Journal "The Computer Journal"

(previous 200) (next 200)

Articles in category "Journal The Computer Journal"

There are 200 articles in this category.

' 'Picture logic' for 'Bacchus' a fourth-generation computer 1 1-2 brother trees or AVL trees revisited A A 'database' subsystem for BCPL A Chebyshev series method for the numerical solution of Fredholm integral equations A Class of Non-Analytical Iterative Processes A Comparison of Text Retrieval Models A Computer Architecture to Support Neural Net Simulation A Controlled Environment for Meta-Message Processing A Database Architecture for Aggregate-Incomplete Data A Distributed Algorithm for Mutual Exclusion in an Arbitrary Network A FORTRAN preprocessor to support encapsulated data abstraction definitions A FORTRAN to ALGOL translator A FORTRAN to FORTRAN optimising compiler A Fast Algorithm for the Towers of Hanoi Problem A Fast Radix Sort A Formal Specification of the QMC Message System: the Underlying Abstract Model A Fortran Interface to the CODASYL Database Task Group Specifications A Framework for Building Dependable Systems A General Temporal Theory A Higher-Order Approach to Parallel Algorithms A KDF9 ALGOL list-processing scheme A Las Vegas graph colouring algorithm A Letter-oriented Minimal Perfect Hashing Scheme A Linear Algorithm for Colouring Planar Graphs with Five Colours A Literal Code Method for Minimizing Boolean Functions A Method for Minimizing a Sum of Squares of Non-Linear Functions Without Calculating Derivatives A Method of Generating Surfaces as a Composite of Cyclide Patches A Method to Estimate the I/O Buffer Size in a Computer System A Monte Carlo simulation of a production planning problem A Multiprocessor Architecture for Solving Spatial Problems A Natural Language Data Base Interface to the User A New Approach to the 'Hidden Line' Problem A New Graph Colouring Algorithm A New HEAPSORT Algorithm and the Analysis of Its Complexity A New Method of Solving Nonlinear Simultaneous Equations A New Parallel Sorting Algorithm and its Efficient VLSI Implementation A New Symbolic Integration System in REDUCE A New Technique for Self-Organising Linear Searches A Non-Classical Logic for Information Retrieval A Note on Compacting Garbage Collection A Note on an Iterative Method for Root Extraction A Note on the Expected Behaviour of Binary Tree Traversals A Note on the Use of Floating Point in Critical Systems A One-sided Transformation Method for the Singular Value Decomposition and Algebraic Eigenproblem A PMS Level Notation for the Description and Simulation of Digital Systems A Parallel Computation Approach to Topological Sorting A Parallel Prolog Abstract Machine and its Multi-Transputer Implementation A Pattern-Matching Algorithm for Functional Databases A Practitioner's Introduction to Database Performance Benchmarks and Measurements A Programmer's Utility Filing System A Proposed Standard for Measuring Crossword Compilation Efficiency A Query Language for Retrieving Information from Hierarchic Text Structures A Recursive Algorithm for the Optimal Solution of a Complex Allocation Problem Using a Dynamic Programming Formulation A Revised Theory of Action and Time Based on Intervals and Points A Runge-Kutta method for the numerical solution of the Goursat problem in hyperbolic partial differential equations A SIMULA-based structure oriented language for the dynamic simulation of chemical plants A Secure Messaging Architecture Implementing the X.400-1988 Security Features A Simple Algorithm for Generating Non-Regular Trees in Lexicographic Order A Simplex Method for Function Minimization A Structured Semantic Design of Distributed Operating Systems A Survey of Exploratory Software Development A Systematic and Practical Approach to the Definition of Data A Technique for Analyzing the Effects of Changes in Formal Specifications A Temporal Database Model Supporting Relative and Absolute Time A Theorem on Rank One Modifications to a Matrix and Its Inverse A Theory of Evaluative Comments in Chess with a Note on Minimaxing

A cont. A Transformation on Ordered Trees A Tree Search Algorithm for Mixed Integer Programming Problems A UNIX-based system for software configuration management A University faculty timetable A bank adopts automatic data processing A basic approach to pattern recognition A basic approach to remote access A binary form of Horner's method A binary n-gram technique for automatic correction of substitution, deletion, insertion and reversal errors in words A binary tree representation and related algorithms for generating integer partitions A bit comparison program for algorithm testing A bracketing technique for computing a zero of a function A business application of a digital computer A canonical schema for a generalised data model with local interfaces A case for type and form flow analysis A combined graphical and iterative approach to the problem of finding zeros of functions in the complex plane A comment on the decomposition of flowchart schemata A comment on the evaluation of Polish postfix expressions A compact form of one-track syntax analyser A compact storage scheme for the solution of symmetric linear simultaneous equations A compaction procedure for variable-length storage elements A comparative framework of data modelling paradigms and approaches A comparison of JSD and DFD as descriptive tools A comparison of PASCAL and ALGOL 68 A comparison of PASCAL and Ada A comparison of modified Newton methods for unconstrained optimisation A comparison of password techniques for multilevel authentication mechanisms A comparison of several current optimization methods, and the use of transformations in constrained problems A comparison of some inverse Laplace transform techniques for use in circuit design A comparison of some methods of calculating covariance functions on an electronic computer A compiler compiler and methodology for problem oriented language compiler implementors A compiler definition facility based on the syntactic macro A compiler optimization technique A compositional model for software reuse A comprehensive program for network problems A computational algorithm for sequential estimation A computational method for evaluating generalized inverses A computer aid for the analysis of complex systems A computer application to a transport scheduling problem A computer controlled circulation system A computer in insurance A computer model for instructional purposes A computer program for banking multiple choice questions A computer program for generating diagnostic keys A computer technique for game-theoretic problems I: chemin-de-fer analyzed A computer technique for optimizing the sites and heights of transmission line towers - a dynamic programming approach A computer-oriented description of the Peaceman-Rachford ADI method A constructive geometry for computer graphics A control structure for a variable number of nested loops A controlled random search procedure for global optimisation A convention to distinguish letter O from numeral zero A conversational compiler for full PL/I A cost accounting formula for multiprogramming computers A cross compiler for pocket calculators A data collection and display system for a large-scale simulation A data dictionary approach to teaching information systems analysis A data dictionary for learning data analysis A data structure and algorithm for a self-augmenting heuristic program A data structure for family relations A data transmission survey A description and analysis of character maps A design for an efficient NOR-gate only, binary-ripple adder with carry-completion-detection logic A design language for asynchronous logic A design of a data model based on abstraction of symbols A dialogue development system for the design and implementation of user interfaces in Ada A dialogue system to teach database concepts A digital approach to the efficient synthesis of threshold gates

A cont. A direct method for the solution of large sparse systems of linear equations A direct ordering, recording and invoicing system A direction-independent algorithm for determining the forward and backward compute point for a term or subscript during compilation A director for Kriegspiel, a variant of chess A distributed directory database system for telecommunications A distributed function computer with dedicated processors A distributed synchronisation scheme for communicating processes A doubly-adaptive Clenshaw-Curtis quadrature method A dynamic database which automatically removes unwanted generalisation for the efficient analysis of language features that exhibit a disparate frequency distribution A dynamic disc allocation algorithm designed to reduce fragmentation during file reloading A dynamic file organization model A dynamic programming process A dynamic storage allocation scheme A facility for real-time program development A family of gradient methods for optimization A fast algorithm for generating set partitions A fast iterative algorithm for generating set partitions A fast-carry adder with CMOS transmission gates A file index for document storage and retrieval utilizing descriptor fragments A finite element approach to surface definition A fixed routing problem in large and high connectivity networks A fixed-size Bloom filter for searching textural documents A flexible synonym interface with application examples in CAL and help environments A formula for establishing re-order quantities for individual items within a joint stock replenishment scheme A framework for the creation and management of national computing strategies in developing countries A framework for the investigation of a spatial data base A free-text retrieval system using hash codes A function interpretive scheme for Pegasus A further note on top-down deterministic languages A general Fourier synthesis program for the London University Atlas computer A general PASCAL program for map overlay of quadtrees and related problems A general control language: language structure and translation A general factorising algorithm A general procedure for evaluating the controllability of time delay feedback control systems A general program for the analysis of surveys A general purpose macrogenerator A general theory of classificatory sorting strategies 1. Hierarchical systems A general theory of classificatory sorting strategies II. Clustering systems A generalised compactifying garbage collector A generalised interactive system for the acquisition of structured data A generalised normal form theorem for context-free grammars A generalized alternating direction method of Douglas-Rachford type for solving the biharmonic equation A grading procedure for PL/1 student exercises A graphical representation of the Backus-Naur form A graphical technique for numerical input A hardware pattern matching algorithm on a dataflow A hardware representation for ALGOL 60 using Creed teleprinter equipment A heuristic solution of the rectangular cutting stock problem A high-order Crank-Nicholson technique for solving differential equations A high-order method of solution for the Lyapunov matrix equation A high-order solution to the characteristic initial value problem in hyperbolic partial differential equations A hybrid computer performance modelling system A hybrid multiple processor garbage collection algorithm A keyword index file of British book titles A knowledge engineering approach to instructional design A knowledge-based operating system A language for algorithms A language for chemical plant design and simulation programs A least squares iterative method for singular equations A least squares method for Laplace's equation with Dirichlet boundary conditions A least squares surface fitting program A linear algorithm for computing the optimum university timetable A locally correctable B-tree implementation A lower estimate of the cumulative truncation error in Milne's method A lumped-state model of clustering in dynamic storage allocation A machine description language A mark-scaling algorithm

(previous 200) (next 200)