Search
Now showing items 21-30 of 294
Uniqueness of Solution in Linear Programming
(University of Wisconsin-Madison Department of Computer Sciences, 1978)
A number of characterizations are given which are both necessary and sufficient for the uniqueness of a solution to a linear programming problem.
A Multivariate Liouville Theorem on Integration in Finite Terms
(University of Wisconsin-Madison Department of Computer Sciences, 1974)
On the Complexity of Grammar and Related Problems
(University of Wisconsin-Madison Department of Computer Sciences, 1975)
Theoretical Issues of the Implementation of Programming Languages
(University of Wisconsin-Madison Department of Computer Sciences, 1977)
This report presents theoretical results about two issues relevant to the implementation of programning languages. The first issue concerns data types in a highly typed algorithmic language such as Algol 68. It has long ...
Parallel-Serial Production Systems with Many Working Memories
(University of Wisconsin-Madison Department of Computer Sciences, 1978)
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 ...
Implementation of a Generative Computer-Assisted Instruction System on a Small Computer
(University of Wisconsin-Madison Department of Computer Sciences, 1973)
This paper gives a brief overview of several "traditional" approaches towards computer-assisted instruction (CAI. A new CAI language is then described which allows the user to write programs which generate bath questions ...
Processor Interconnection Strategies
(University of Wisconsin-Madison Department of Computer Sciences, 1977)
In this paper we describe four topologies for interconnecting many identical processors into a computer network. Each topology is investigated with respect to average interprocessor distance, bus load, and routing algorithms. ...
A Model Nonlinear Problem Having a Continuous Locus of Singular Points
(University of Wisconsin-Madison Department of Computer Sciences, 1977)
EASEy-2: An English-Like Program Language
(University of Wisconsin-Madison Department of Computer Sciences, 1973)
Aminol Reference Manual
(University of Wisconsin-Madison Department of Computer Sciences, 1974)
AMINOL is a high-level machine language for creating and managing virtual processes in a network of multi-processing systems. It is a language with which logical operating system functions may be factored and safely delegated ...