Browsing Computer Science Technical Reports by Issue Date
Now showing items 120 of 1035

Fol: A Language for Implementing File Organizations for Information Storage And Retrieval Systems
(Department of Computer Science, Virginia Polytechnic Institute & State University, 1973), CS73008RThe 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 ... 
Dynamic Quantum Allocation and SwapTime Variability in TimeSharing Operating Systems
(Department of Computer Science, Virginia Polytechnic Institute & State University, 1973), CS73001RNo abstract available. 
Generalized Structured Programming
(Department of Computer Science, Virginia Polytechnic Institute & State University, 1973), CS73003RIn 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 ... 
Microprogrammable Cellular Automata
(Department of Computer Science, Virginia Polytechnic Institute & State University, 1973), CS73006RThis 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 ... 
The Dynamic Creation And Modification of Heuristics in a Learning Program
(Department of Computer Science, Virginia Polytechnic Institute & State University, 1973), CS73007RPOLY 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 ... 
Lpl: A Generalized List Processing Language
(Department of Computer Science, Virginia Polytechnic Institute & State University, 1973), CS73009RThe 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 ... 
A Topological Model of the Data Space for a Block Structured Language
(Department of Computer Science, Virginia Polytechnic Institute & State University, 1973), CS73004RA 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 ... 
Functionally Complete Machines
(Department of Computer Science, Virginia Polytechnic Institute & State University, 1973), CS73005RThis 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 Complete Horizontal Microlanguage
(Department of Computer Science, Virginia Polytechnic Institute & State University, 1973), CS73002RThis 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 ... 
The Relationship Between the Multiplicative And Mixed Generators Modulo 2^b
(Department of Computer Science, Virginia Polytechnic Institute & State University, 1974), CS74012RMacLaren 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 ... 
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), CS74031RA 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 ... 
An Artificial Intelligence Approach to the Symbolic Factorization of Multivariable Polynomials
(Department of Computer Science, Virginia Polytechnic Institute & State University, 1974), CS74019RA 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 ... 
Principle of Optimal Page Replacement and the LRU Stack Model
(Department of Computer Science, Virginia Polytechnic Institute & State University, 1974), CS74023RProgram reference strings generated by the LRU stack model are considered, and expressions for the expected times to next reference for all pages occupying different LRU stack positions are derived. Using these expressions, ... 
Three Papers on the Completeness Properties of Abelian Semi groups and Groups
(Department of Computer Science, Virginia Polytechnic Institute & State University, 1974), CS74008RThe 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 ... 
Some Experimental Observations on the Behavior of Composite Random Number Generators
(Department of Computer Science, Virginia Polytechnic Institute & State University, 1974), CS74014RA series of experiments with composite random number generators utilizing shuffling tables is described. The factors investigated are: (1) the magnitude of the modulus (equivalently, the wordsize of the machine), (2) ... 
On Making Bairstow's Method Work
(Department of Computer Science, Virginia Polytechnic Institute & State University, 1974), CS74003RNo abstract available. 
The Mixed Method of Random Number Generation: A Tutorial
(Department of Computer Science, Virginia Polytechnic Institute & State University, 1974), CS74013RSeveral motivations are recognized for userdefined random number generators in preference to builtin generators. The mixed method of random number generation is discussed) and the conditions for achieving full period ... 
A Total Algorithm for Polynomial Roots Based Upon Bairstow's Method
(Department of Computer Science, Virginia Polytechnic Institute & State University, 1974), CS74002RThis program uses Bairstow's method to find the real and complex roots of a polynomial with real coefficients. There are several reasons for developing a routine based upon Bairstow's method. It is sometimes the case ... 
Implementation of Fortran Random Number Generators on Computers with One's Complement Arithmetic
(Department of Computer Science, Virginia Polytechnic Institute & State University, 1974), CS74011RNo abstract available. 
A File Definition Facility for File Structures
(Department of Computer Science, Virginia Polytechnic Institute & State University, 1974), CS74001RThis paper describes a file definition facility (FDF) for defining files as graph structures. The structure of the file is explicitly declared in the file definition. Primitive functions(from graph theory), operators, and ...