Browsing Computer Science Technical Reports by Issue Date
Now showing items 1-20 of 1036
-
Generalized Structured Programming
(Department of Computer Science, Virginia Polytechnic Institute & State University, 1973), CS73003-RIn an effort to eliminate some inconveniences connected with Dijkstra's method of Structured Programming, a generalized set of basic flow graphs for structuring programs is suggested. These structures generate the set of ... -
The Dynamic Creation And Modification of Heuristics in a Learning Program
(Department of Computer Science, Virginia Polytechnic Institute & State University, 1973), CS73007-RPOLY FACT is a learning program that attempts to factor multivariable polynomials. The program has been successful in factoring polynomials (in simplified form) with a maximum of 84 terms, each term consisting of as many ... -
A Topological Model of the Data Space for a Block Structured Language
(Department of Computer Science, Virginia Polytechnic Institute & State University, 1973), CS73004-RA space X is defined, the points of which are trees which possess a unique name property. A topology is defined for X based upon partial order. The topology is shown to be reasonably natural relative to the rationals. The ... -
A Complete Horizontal Microlanguage
(Department of Computer Science, Virginia Polytechnic Institute & State University, 1973), CS73002-RThis paper defines a data space whose points are trees with leaves which are [name,value] pairs. Over this space a substitution operator S (meaning informally "in x for y put z") is formally defined. Taken together with ... -
Dynamic Quantum Allocation and Swap-Time Variability in Time-Sharing Operating Systems
(Department of Computer Science, Virginia Polytechnic Institute & State University, 1973), CS73001-RNo abstract available. -
Lpl: A Generalized List Processing Language
(Department of Computer Science, Virginia Polytechnic Institute & State University, 1973), CS73009-RThe paper describes LFL, a generalized list processing language. LFL allows the user to define multiple cell structures and cell sizes at runtime, thereby allowing nonhomogeneous list structures. The paper examines the ... -
Microprogrammable Cellular Automata
(Department of Computer Science, Virginia Polytechnic Institute & State University, 1973), CS73006-RThis paper reports research into cellular automata with two binary inputs, two binary outputs, and an octal control variable. A set of control variables is chosen and it is shown that any function of three variables can ... -
Fol: A Language for Implementing File Organizations for Information Storage And Retrieval Systems
(Department of Computer Science, Virginia Polytechnic Institute & State University, 1973), CS73008-RThe language FOL is described. FOL facilitates the implementation of file organizations for IS & R systems. FOL is implemented in a list processing language LPL. Files in FOL are interepreted as a list of records, where ... -
Functionally Complete Machines
(Department of Computer Science, Virginia Polytechnic Institute & State University, 1973), CS73005-RThis paper defines a functionally complete machine as a machine which is capable of evaluating every two place function over its data space. Necessary conditions on memory size for completeness are developed. These conditions ... -
A Computer Implementation of the Transformations of Formulas into Prenex Normal Form
(Department of Computer Science, Virginia Polytechnic Institute & State University, 1974), CS74010-RThe purpose of this paper is to explain a computerized process whereby any well-formed formula (wff) of first order predicate calculus can be moved to its prenex normal form (PNF). The main features of the program demonstrate ... -
An Artificial Intelligence Approach to the Symbolic Factorization of Multivariable Polynomials
(Department of Computer Science, Virginia Polytechnic Institute & State University, 1974), CS74019-RA new heuristic factorization scheme that uses learning to improve the efficiency of determining the symbolic factorization of multivariable polynomials with integer coefficients and an arbitrary number of variables and ... -
A DOS-M Primer
(Department of Computer Science, Virginia Polytechnic Institute & State University, 1974), CS74006-RNo abstract available. -
Introduction to Pest Control Using the Watfiv Compiler
(Department of Computer Science, Virginia Polytechnic Institute & State University, 1974), CS74005-RThe purpose of this paper is to consolidate into a brief guide procedures to aid in debugging FORTRAN programs which are being executed under the control of a WATFIV compiler. -
GLM Versus Continuous Approximation for Convex Integer Programs
(Department of Computer Science, Virginia Polytechnic Institute & State University, 1974), CS74022-RGLM is compared to continuous approximation for convex, integer programs. After noting the stronger bound provided by GLM, Lagrangian duality and a gap closing heuristic is used to demonstrate how GLM may provide a better ... -
The Relationship Between the Multiplicative And Mixed Generators Modulo 2^b
(Department of Computer Science, Virginia Polytechnic Institute & State University, 1974), CS74012-RMacLaren and Marsaglia [4] comment that their test results suggest that the multiplicative generator performs better than the mixed generator. We attempt to answer the above question by showing that for any sequence of ... -
Three Papers on the Completeness Properties of Abelian Semi groups and Groups
(Department of Computer Science, Virginia Polytechnic Institute & State University, 1974), CS74008-RThe three papers presented here all arise from recent research into sets of operators which are sufficient to define a horizontal microlanguage for a computer and which are (in some undefined sense) natural for human ... -
Definability of Boolean Function Over Many-value Boolean Algebra
(Department of Computer Science, Virginia Polytechnic Institute & State University, 1974), CS74007-RIn this paper, the definability of functions over B_s is first briefly discussed. We then give necessary and sufficient conditions on the definable functions over B_2, boolean algebra of four values. An efficient algorithm ... -
The Logical Foundations of Microlanguages
(Department of Computer Science, Virginia Polytechnic Institute & State University, 1974), CS74020-RAfter the consideration of two recent examples of instruction sets for microprogrammable computers, the article sketches known and new results about complete sets of functions which appear to be applicable to microlanguage ... -
No Abelian Semigroup Operation Is Complete
(Department of Computer Science, Virginia Polytechnic Institute & State University, 1974), CS74021-RThis paper shows that there does not exist a finite abelian semigroup -
A Process for Producing Tactually Perceptible Images of Line Drawings for Use by the Blind
(Department of Computer Science, Virginia Polytechnic Institute & State University, 1974), CS74031-RA working prototype computer controlled process is described for automatically converting line drawings into raised line images perceptible to the touch. The process uses an automatic digitizer for input and a milling ...
