Browsing by Subject "Computing Science"

Now showing items 1-20 of 24

    • Adaptive random data generation for computer solfware testing 
      Lundstrom, Stephen Frank (Texas A&M University. Libraries, 1977)
      Although proof of correctness techniques are intellectually acceptable for validation of computer software, they are often not practical. Therefore, program testing techniques are important methods for gaining confidence ...
    • The analysis and display of computer program execution 
      Sigle, John Walter (Texas A&M University. Libraries, 1977)
      Dynamic analysis is any analysis of the execution behavior of a program with a particular set (or sets) of input data. As such it comprises one of the principal concerns of the emerging discipline of software engineering. ...
    • An automated method for memory allocation using acyclic digraphs 
      Marchbanks, Miner Peek (Texas A&M University. Libraries, 1976)
      In many cases more effective memory utilization in digital computers can be accomplished through the use of memory management techniques such as virtual memory and/or the overlay facilities of the linkage editor. Methodologies ...
    • Comparative analysis of error detection and recovery in syntax directed compilers 
      Sagr, Abdulaziz Nassir (Texas A&M University. Libraries, 1978)
      A theoretical and practical analysis for error detection and recovery are presented in this dissertation. This comparative analysis covers LL(1) and SLR(1) recovery algorithms with and without backtracking. Error detection ...
    • The design for a computerized information cataloging system for regional water resources application 
      Carpenter, Stewart Barnett (Texas A&M University. Libraries, 1972)
      This study outlines the design for a computer based catalog of water resources information and data for use within a regional area. A storage and retrieval system called the Generalized Cataloging System (GCS) is described ...
    • Design of an intelligent data communication multiplexer 
      McMath, Charles Wallis (Texas A&M University. Libraries, 1977)
      An intelligent data communication multiplexer has been designed and constructed for use with Agency Records Control's minicomputer system. The multiplexer is designed to utilize a Signetics 2650 microprocessor as the main ...
    • The effects of EEG analysis on computer-assisted instruction 
      Jones, Marvin Rex (Texas A&M University. Libraries, 1977)
      The primary research objective presented in this dissertation is a demonstration of the feasibility of incorporating electroencephalographic monitoring and feedback into a conventional computer-assisted instruction ...
    • An empirical investigation of voice as an input modality for computer programming 
      Leggett, John Josep (Texas A&M University. Libraries, 1982)
      Recently, automatic speech recognition systems have shown the potential of becoming a useful means of data entry and control. The most successful of these speech recognition systems accept an isolated utterance as input ...
    • Event driven sampling in feedback queueing systems 
      Adkins, Gerald Wayne (Texas A&M University. Libraries, 1978)
      Event driven sampling in a Markovian feedback queueing system is used to develop a bias or difference term between the steady state number in system computed from two different embedded Markov chains. One of the embedded ...
    • The four-color theorem and flow analysis of computer programs 
      Jamieson, Thomas Vinson (Texas A&M University. Libraries, 1978)
      The history of the Four-Color Conjecture is presented from 1850 to present. The most recent presentation takes the form of a Theorem under Appel, Haken and Koch, 1976. Some ideas from this history are combined with some ...
    • A general model for storage and retrieval of chemical structures 
      Villarreal, Jose (Texas A&M University. Libraries, 1974)
      A generalized model for storage and retrieval has been designed-developed, and implemented. It has been adapted to a crystallographic chemical data base. The thesis is that it is possible to design general systems in a ...
    • A graph model for deadlock prevention 
      Tanik, Murat Mehmet (Texas A&M University. Libraries, 1978)
      A deadlock prevention model is developed. In the process, a relationship between two seemingly unrelated problems and their relevance to deadlock prevention problem is demonstrated. These problems are Dijkstra's n-philosophers ...
    • A high level computer control language 
      Tomlinson, Robert Trueman (Texas A&M University. Libraries, 1976)
      A set of primitive operators is developed for directing the progress of a computer job. These primitive operators form the core of a high level language, based on the ALGOL-60 syntax, intended to be used as a replacement ...
    • A high level language implementation of the common features of data base definitions 
      Forehand, Jimmie Charles Rhea (Texas A&M University. Libraries, 1975)
      A high level language (GDBD - Generalized Data Base Definition) is presented for hierarchical relationships, network relationships, and data field definitions which, with a proper translator, can be used to generate data ...
    • A multiple subsystem simulator of processor scheduling 
      Reeves, Thomas Edward (Texas A&M University. Libraries, 1975)
      A multiple subsystem simulator of processor scheduling for performance of a time-sharing system has been developed and validated. This FB₃ multiple subsystem utilizes an objective function which considers both processor ...
    • A nonlinear multiprocessor scheduling problem 
      Price, Camille Cook (Texas A&M University. Libraries, )
      The problem addressed in this research is that of assigning modules of a computer program among processors in a distributed computer network having functionally similar nodes. The assignment is to be made in such a way as ...
    • Optimal design of files for transaction oriented data base systems 
      Schember, Kurt Alan (Texas A&M University. Libraries, 1975)
      The lack of an existing file design methodology for data base systems is established. A file design procedure for a class of transaction oriented data base systems is then developed. An enumerative algorithm is described. ...
    • An optimizing variable power data compression method 
      Martin, William Charles (Texas A&M University. Libraries, 1976)
      Data compression, the reduction of the size of the physical representation of data being stored or transmitted, has long been of interest to managers of large computer-based information processing systems. Decreases in the ...
    • Processor scheduling with improved heuristic algorithms 
      Langston, Michael Allen (Texas A&M University. Libraries, 1981)
      Consideration is given to the problem of nonpreemptively scheduling a set of N independent tasks to a system of M identical processors, with the objective to minimize the overall finish time. Since this problem is known ...
    • A quantitative analysis of estimating accuracy in software development 
      Gehring, Philip Francis (Texas A&M University. Libraries, 1976)
      This research quantitatively examines the estimating accuracy of over 5000 standardized resource consuming activities from 39 software development projects of various size which were accomplished at the U.S. Air Force ...