Search
Now showing items 161-169 of 169
A competitive analysis for retransmission timeout
(Texas A&M University, 1994)
Protocols that provide reliable communication on top of a network that can lose packets rely on periodically retransmitting packets. The choice of retransmission timeout critically affects system performance. This thesis ...
The design and implementation of the buffer manager for an experimental relational database management system
(Texas A&M University, 1994)
Buffer management is an essential component of database management. This thesis presents a design and implementation of the buffer manager for an experimental relational database management system. The relationship and ...
An improved parameterized algorithm for the 3-Dimensional Matching problem
(Texas A&M University, 1997)
Recently a framework of fixed-parameter tractability has been introduced by Downey and Fellows [8] to study the intractable behavior of computational problems whose input contains a significant numerical parameter. The ...
Logic verification using recursive learning, ATPG and transformations
(Texas A&M University, 1996)
We describe a new approach for formal verification of combinational logic circuits using Recursive learning, ATPG and Transformations. A logic verification tool, VeriLAT, was implemented based on this approach. Experimental ...
An obstacle-based probabilistic roadmap method for path planning
(Texas A&M University, 1996)
This thesis presents a new obstacle-based probabilistic roadmap method for motion planning for many degree of freedom robots that can be used to obtain high quality roadmaps even when the robot's configuration space is ...
Cognitive effects of multimedia in computer-based training
(Texas A&M University, 1994)
Distributed client-server architectures on desktop workstations are rapidly replacing centralized mainframes in the current business model for enterprise computing. The resulting process of "rightsizing" is forcing companies ...
Combinational logic optimization for low power using implication-based transformations
(Texas A&M University, 1997)
The demand for portable equipment has increased the emphasis on low-power designs. Higher power consumption results in shorter battery-lifetime of portable electronic devices. As a result larger batteries are required for ...
Generation of Test Sequences for programmable logic array-based Finite State Machines
(Texas A&M University, 1994)
Entities on a network communicate with each other using protocols. Protocols are rigid specifications of rules which entities must follow to ensure proper operation and unambiguous exchange of information. Testing of ...
Subpage migration and replication in CC-NUMA multiprocessors
(Texas A&M University, 1999)
This thesis deals with the issue of large memory access times in cache coherent non uniform memory access architecture multiprocessor systems. Specifically this thesis addresses the problems of false sharing and poor ...