Browsing by Subject "Computer programs"

Now showing items 1-20 of 22

    • 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. ...
    • The application of nonlinear programming to constrained maximum likelihood estimation 
      Rydl, Lester Melvin (Texas A&M University. Libraries, 1978)
      A procedure is developed to solve constrained maximum likelihood estimation problems that arise in the determination of safe doses for suspected carcinogens. A change-of-variable transformation procedure is used to remove ...
    • Computer implementation of singular function enrichment of finite element methods for multigroup neutron diffusion 
      Booker, Clay Pierce (Texas A&M University. Libraries, 1979)
      Angular singularities for the multigroup neutron diffusion equation are examined. Since the solution to this equation as well as the solution to other engineering equations of interest can exhibit unbounded derivatives at ...
    • A decision support methodology for the rehabilitation and replacement of highway bridges 
      Sobanjo, John Olusegun (Texas A&M University. Libraries, 1991)
      The current rate of deterioration of highway bridges in the United States has created the need for a comprehensive bridge management system (BMS). This need has also been recognized in Texas, necessitating the development ...
    • The design and implementation of an ecological simulation development environment 
      George, Leroy Conra (Texas A&M University. Libraries, 1985)
      Researchers have suggested two approaches for designing software development environments (SDEs) aimed at alleviating the software crisis: an evolutionary approach that supports the contemporary software life cycle model ...
    • The effects of complexity on COBOL program changes 
      Carver, Doris Loveday (Texas A&M University. Libraries, 1981)
      Due to the increasing complexity and the increasing costs of developing and maintaining computer programs, a great need exists for reliable methods of predicting the number of errors to be expected in computer programs. ...
    • An exact piecewise differentiable parameter-free penalty function 
      Feiring, Bruce Robert (Texas A&M University. Libraries, 1979)
      In this dissertation, the problem of optimizing a nonlinear objective function subject to linear and/or nonlinear constraints is considered. When the constraints are nonlinear, it is particularly advantageous to transform ...
    • 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 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 ...
    • An interface model for building energy performance simulation in an integrated computer-aided design environment 
      Kim, Byungseon Sean (Texas A&M University. Libraries, 1992)
      Computer-aided building design (CABD) has been very diversified since the design process encompasses so many decision making steps by architects. However, the segregated design decision making process frequently prevents ...
    • A language for designing software systems 
      Quick, Michael Joseph (Texas A&M University. Libraries, 1980)
      At the present time there have been few tools developed to aid in the design of software systems. It is now recognized that more effort in the design phase of the software life cycle pays benefits in time and money in the ...
    • A method for engineering modeling using automotive air conditioning as a case study 
      Lockledge, Jeffrey Carleton (Texas A&M University. Libraries, 1993)
      The reuse and maintenance of engineering modeling source code is dependent on the effective communication of the complex ideas on which the software is based. These ideas, usually referred to as the model of the software, ...
    • Nutrient limitation determinations for a Texas watershed 
      Lehmberg, Richard Verne (Texas A&M University. Libraries, 1968)
      This study involves the development of techniques of limiting nutrient determinations for the specific conditions found in a Texas river, the Trinity. The methods presently available for the determination of which factors ...
    • 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 ...
    • Selection of the working set window size 
      Nute, Cyril Thomas (Texas A&M University. Libraries, 1977)
      A function is developed which describes the cost of executing a program when using demand paging. The function includes the cost of paging operations and memory usage. Several theorems are proven which determine, in a ...
    • Singular function enriched finite element methods for multigroup neutron diffusion problems 
      Hardin, David Denton (Texas A&M University. Libraries, 1977)
      The angular singularities of the multigroup neutron diffusion equations are studied. The solution of the diffusion equations may have unbounded derivatives at points where the boundary has a corner, where two material ...
    • A software project scheduling assistant design and analysis 
      Fisher, Fred Hulen (Texas A&M University. Libraries, 1988)
      Conventional software development scheduling systems, while doing an adequate job in resource scheduling, have lacked the ability to accurately estimate required implementation effort. Typically the analyst is required to ...
    • A statistical methodology for constructing synthetic test workloads 
      Graybeal, Wayne Thomas (Texas A&M University. Libraries, 1979)
      Computer performance measurement and evaluation (CPME) studies are conducted for the purpose of sizing and selecting a new system (selection studies); during the design phase of either a new system or a hardware/software ...
    • SunFast : a sun workstation based, fuel analysis scoping tool for pressurized water reactors 
      Bohnhoff, William Joseph (Texas A&M University. Libraries, 1991)
      The objective of this research was to develop a fuel cycle scoping program for light water reactors and implement the program on a workstation class computer. Nuclear fuel management problems are quite formidable due to ...