Many powerful code optimization techniques rely on accurate information connecting the definitions and uses of values in a program. This information is difficult to produce for programs written with pointer-based languages ...

We present a computational approach for constructing Sylvester style resultants for sparse systems of bivariate polynomial equations. Necessary and sufficient conditions are derived which guarantee that a multiplying set ...

Robots are increasingly found to operate together in the same environment where they must coordinate their motion. Such an operation is simple if the motion is quasi-static. Under second-order dynamics, the problem becomes ...

Supporting Quality of Service (QoS) in mobile networks requires that admission control algorithms incorporate user mobility, and limit the probability that sufficient resources are unavailable when a user must handoff. In ...

Part assembly is an important goal of part manipulation. Among other techniques, programmable force fields have been introduced for part manipulation. Many different force fields have been proposed to manipulate a part, ...

Popular approaches for mobile robot navigation involve range information and metric maps. For many sensors, however, such as cameras, the angle between two landmarks is easier to measure. With these sensors' features in ...

Modem network control plane that supports versatile communication services (e.g. performance differentiation, access control, virtualization, etc.) is highly complex. Different control components such as routing protocols, ...

This thesis describes a new implementation architecture for polymorphic methods in Generic Java using the NEXTGEN compiler framework. The standard Generic Java (Java 1.5) compiler erases generic types at compilation. This ...

Recent trend has made it clear that the processor makers are committed to the multicore chip designs. The number of cores per chip is increasing, while there is little or no increase in the clock speed. This parallelism ...

Assessing and predicting internal network performance is of fundamental importance in problems ranging from routing optimization to anomaly detection. The problem of estimating internal network structure and link-level ...