In connection with efforts to utilize the CRAY-1 computer efficiently, we present some methods of analysis of rates of convergence for block iterative methods applied to the model problem. One of the more interesting methods ...

A number of characterizations are given which are both necessary and sufficient for the uniqueness of a solution to a linear programming problem.

This paper describes several extensions to standard Production System (PS) languages that appear to make them more conveniently usable for a wider variety of perceptual and cognitive systems. The extensions are described ...

New iterative separable programming techniques based on two-segment, piecewise-linear approximations are described for the minimization of convex separable functions over convex sets. These techniques have two advantages ...

By perturbing a linear program to a quadratic program it is possible to solve the latter in its dual variable space by iterative techniques such as successive over-relaxation (SOR) methods. This provides a solution to the ...

An error corrector working with LR(1) parsers and variations such as SLR(1) and LALR(1) is studied. The corrector is able to correct and parse any input string. Upon detection of a syntax error, it operates by deleting ...

The design of DIRECT, a multiprocessor organization for supporting relational database management systems is presented. DIRECT has a MIMD (multiple instruction stream, multiple data stream) architecture. It can simultaneously ...

The abstract proposal is to support the development of the "science" behind software engineering in order to ensure required system properties, to compare current sotware engineering techniques, to develop specification ...

The Roscoe project at the University of Wisconsin is an experimental network of microcomputers running a common operating system. The purpose of the project is to develop techniques and software needed to create a distributed ...

This paper presents some recent computer studies of a von Neumann type fluid. The particular model and the discrete dynamical equations utilized are described in detail and various results from fluid mechanics and statistical ...