Now showing items 1-20 of 1033

    • Generalized Structured Programming 

      Martin, Johannes J. (Department of Computer Science, Virginia Polytechnic Institute & State University, 1973), CS73003-R
      In 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 ...
    • Functionally Complete Machines 

      Wesselkamper, Thomas C. (Department of Computer Science, Virginia Polytechnic Institute & State University, 1973), CS73005-R
      This 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 ...
    • Dynamic Quantum Allocation and Swap-Time Variability in Time-Sharing Operating Systems 

      Bhat, U. Narayan; Nance, Richard E. (Department of Computer Science, Virginia Polytechnic Institute & State University, 1973), CS73001-R
      No abstract available.
    • The Dynamic Creation And Modification of Heuristics in a Learning Program 

      Claybrook, Billy G.; Nance, Richard E. (Department of Computer Science, Virginia Polytechnic Institute & State University, 1973), CS73007-R
      POLY 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 ...
    • Fol: A Language for Implementing File Organizations for Information Storage And Retrieval Systems 

      Claybrook, Billy G. (Department of Computer Science, Virginia Polytechnic Institute & State University, 1973), CS73008-R
      The 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 ...
    • A Complete Horizontal Microlanguage 

      Wesselkamper, Thomas C.; Nixon, Eric (Department of Computer Science, Virginia Polytechnic Institute & State University, 1973), CS73002-R
      This 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 ...
    • Lpl: A Generalized List Processing Language 

      Claybrook, Billy G. (Department of Computer Science, Virginia Polytechnic Institute & State University, 1973), CS73009-R
      The 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 

      Muzio, Jon C.; Wesselkamper, Thomas C. (Department of Computer Science, Virginia Polytechnic Institute & State University, 1973), CS73006-R
      This 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 ...
    • A Topological Model of the Data Space for a Block Structured Language 

      Wesselkamper, Thomas C. (Department of Computer Science, Virginia Polytechnic Institute & State University, 1973), CS73004-R
      A 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 ...
    • Three Papers on the Completeness Properties of Abelian Semi groups and Groups 

      Wesselkamper, Thomas C. (Department of Computer Science, Virginia Polytechnic Institute & State University, 1974), CS74008-R
      The 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 ...
    • Principle of Optimal Page Replacement and the LRU Stack Model 

      Lam, Felix L. (Department of Computer Science, Virginia Polytechnic Institute & State University, 1974), CS74023-R
      Program 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, ...
    • Working-Set-Like Memory Management Algorithms 

      Lam, Felix L.; Ferrari, Domenico (Department of Computer Science, Virginia Polytechnic Institute & State University, 1974), CS74025-R
      This paper considers the design and evaluation of memory management algorithms to be applied to multiprogramming computer systems with virtual memory. The operation of the Denning working set algorithm is studied and ...
    • The Automatic Digitizer in Computer Graphics 

      Williams, Charles M. (Department of Computer Science, Virginia Polytechnic Institute & State University, 1974), CS74029-R
      An operational hardware-software system is described which rapidly and economically converts hard-copy drawings into graphic data structures faithfully representing both their geometry and their topology. These facilities ...
    • Some Experimental Observations on the Behavior of Composite Random Number Generators 

      Nance, Richard E.; Overstreet Jr., Claude (Department of Computer Science, Virginia Polytechnic Institute & State University, 1974), CS74014-R
      A 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 word-size of the machine), (2) ...
    • The Role of Automatic Digitizers in Demography 

      Williams, Charles M. (Department of Computer Science, Virginia Polytechnic Institute & State University, 1974), CS74028-R
      The incorporation of facilities for automatically digitizing maps and drawings can considerably enhance the power of the computer in demographical research. A hardware-software process is described which can rapidly, ...
    • The Use of Computer Modulated Drawing in the Teaching of Art 

      Williams, Charles M. (Department of Computer Science, Virginia Polytechnic Institute & State University, 1974), CS74030-R
      A hardware-software process is described which automatically creates computer modulated drawings from an artist's own works. The process allows a drawing to act as a constant source of data for a series of renditions of ...
    • A Total Algorithm for Polynomial Roots Based Upon Bairstow's Method 

      Ault, David A. (Department of Computer Science, Virginia Polytechnic Institute & State University, 1974), CS74002-R
      This 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 ...
    • An Artificial Intelligence Approach to the Symbolic Factorization of Multivariable Polynomials 

      Claybrook, Billy G. (Department of Computer Science, Virginia Polytechnic Institute & State University, 1974), CS74019-R
      A 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 ...
    • No Abelian Semigroup Operation Is Complete 

      Wesselkamper, Thomas C. (Department of Computer Science, Virginia Polytechnic Institute & State University, 1974), CS74021-R
      This paper shows that there does not exist a finite abelian semigroup with order > 3 such that the semigroup operation is complete over S. Neither is {*} complete with constants over S. J. C. Muzio has shown that ...
    • Searching One Multiplier in Glm 

      Greenberg, Harvey J. (Department of Computer Science, Virginia Polytechnic Institute & State University, 1974), CS74024-R
      A unified approach is developed for one-dimensional GLM. The major result is a convergence theorem for interval reduction. Comparative analysis of bisection, linear interpolation and tangential approximation reveals the ...