Browsing by Subject "Major computer science"

Now showing items 21-40 of 43

    • A Hierarchical Assembly Planning system 
      Chakrabarty, Sugato (Texas A&M University. Libraries, 1994)
      This dissertation addresses the problem of generating feasible assembly sequences for a mechanical product from a description of it in a fundamentally new way. An operation is a motion to bring together two subassemblies ...
    • Horizontal fault tolerance in a fully distributed loosely coupled environment 
      Schiavi, Peter (Texas A&M University. Libraries, 1990)
      The increasing use of local area networks to divide up the processing power once allocated to a single central processor has a side benefit which allows for the implementation of levels of fault tolerance at minimal cost. ...
    • Image synthesis with adaptive cone tracing 
      Genetti, Jon Dudley (Texas A&M University. Libraries, 1993)
      Ray tracing is a simple, yet powerful, image synthesis technique that can produce realistic images. Unfortunately, ray tracing creates several artifacts because of the mathematical properties of a ray. A new technique ...
    • Knowledge-based model construction : an automatic programming approach to simulation modeling 
      Murray, Karen Jean Burns (Texas A&M University. Libraries, 1986)
      A knowledge-based model construction (KBMC) system has been developed to allow the automatic construction of complete discrete simulation models for queueing systems. While this work focuses on the domain of simulation ...
    • Logic and transistor circuit verification using regression testing and hierarchical recursive learning 
      Shao, Li (Texas A&M University, 1996)
      We describe a new approach for formal verification of combinational logic circuits, and their switch-level transistor implementation. Our approach CODibines regression testing, hierarchical recursive learning, and test ...
    • A model for reengineering legacy software systems to object oriented systems 
      Babiker, Elmamoun M. (Texas A&M University. Libraries, 1994)
      Object-oriented methodology facilitates the development and maintenance of large complex software systems. The migration of existing systems to object-oriented technology is becoming increasingly important. In this ...
    • Models and algorithms for task allocation in a parallel environment 
      Lopez, Dian Rae (Texas A&M University. Libraries, 1992)
      A task allocation algorithm in a parallel system assigns tasks to each processor with a goal of minimizing both execution and communication costs. Previous research shows the need for algorithms which can approximate this ...
    • Nondeterminism and optimization 
      Cai, Liming (Texas A&M University. Libraries, 1994)
      The study of the power of nondeterminism is central to complexity theory. However, it remains unclear how nondeterminism can be used to characterize computational optimization problems. In this dissertation, a "Guess-then- ...
    • An outline view model for interacting with structured information systems 
      Desoi, John Francis (Texas A&M University. Libraries, 1994)
      This research describes a user interface model for interacting with structured information systems based on outline views. An outline view is a form of hierarchically organized hypertext whereby information can be expanded ...
    • Parallelizing assistant for parallel architectures 
      Arafeh, Bassel Rashad (Texas A&M University. Libraries, 1986)
      This research presents the design and implementation of a prototype programming tool for vectorization and parallelization assistance, called the Workstation Vectorization and Parallelization Assistance Environment (WVPAE). ...
    • PROXHY : a process-oriented extensible hypertext architecture 
      Kacmar, Charles J. (Texas A&M University. Libraries, 1990)
      This research describes a new architecture for hypertext environments. The architecture merges the process, object-oriented, and hypertext models to provide hypertext services to object-based, distributed, application ...
    • Reconfigurable computer systems for wafer scale integration 
      Salinas, Jose (Texas A&M University. Libraries, 1994)
      This dissertation present new approaches for testing and reconfiguring several types of wafer-scale integration computer systems. Chapter II examines a fault tolerant scheme for two-dimensional arrays of processors which ...
    • Reconfiguration algorithms for fault tolerance in hypercubes 
      Al-Tawil, K. M. (Texas A&M University. Libraries, 1994)
      Recently, a cost-effective and feasible approach to supercomputing by connecting a large number of processors has been offered by hypercube multicomputers. However, a major drawback of such systems is that a single processor ...
    • Resource management in high-speed asynchronous transfer mode (ATM) networks 
      Hao, Ying (Texas A&M University. Libraries, 1994)
      This research develops resource management schemes for supporting guaranteed communication services in ATM broadband networks. Since a broadband network has a high bandwidth-delay product, preventive resource managem ent ...
    • Routing as a flow control strategy within an integrated circuit/packet-switched communications network 
      Hebert, Kenneth Ray (Texas A&M University. Libraries, 1986)
      The introduction of economical voice digitization techniques and dramatic increases in the speed of electronic switching systems have now made possible the integration of voice and data traffic over the same communications ...
    • Semantic gap reduction for microprocessor systems 
      Aletan, Samuel Olubode Olubusola (Texas A&M University. Libraries, 1986)
      The objective of this dissertation is to design an instruction set that will reduce the semantic gap (the difference between the concepts in HLPL's-- high level programming languages-- and the architecture of a computer ...
    • 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 speech error correction algorithm for natural language input processing 
      Wetterlind, Peter James (Texas A&M University. Libraries, 1986)
      Computerized processing of human speech input may be accomplished by 1) recognizing the phoneme sounds in the speech signals, 2) correctly identifying the words in each spoken sentence, 3) interpreting the meaning of the ...
    • TBSM : a task-based specification methodology for expert systems 
      Lee, Yuunjung Raitz (Texas A&M University. Libraries, 1993)
      There has been an increasing interest in improving the quality and reliability of artificial intelligence systems. As a result, several methodologies for specifying expert systems have been proposed. However, these approaches ...
    • The use of symbolic manipulation to enable the practical use of power series integrators 
      McGuire, Timothy Jay (Texas A&M University. Libraries, 1991)
      A prototype scientific programming environment for solving initial and boundary value problems in ordinary differential and integro-differential equations is presented. This environment is designed to assist scientific ...