Pattern matching algorithms are among the most important and practical contribution of theoretical computer science. Pattern matching is used in a wide variety of applications such as text editing, information retrieval, ...

Artificial neural network models have been developed that provide the magnetospheric parameters Dst, polar cap potential and the midnight equatorward boundary of diffuse aurora. Layered feedforward neural networks have ...

This dissertation presents a new protocol that allows rollback-recovery and process replication to co-exist in a distributed system. The protocol relies on a novel data structure called the antecedence graph, which tracks ...

Hyper-redundant robot manipulators possess a very large degree of kinematic redundancy and are capable of motion similar to that of snakes and elephant trunks. Because of the computational burden required to calculate the ...

This work uses denotational models to understand and improve the part of a programming language concerned with non-local control operators. These operators let the programmer identify and restore arbitrary control contexts ...

The SVD (Singular Value Decomposition) is a critical matrix factorization in many real-time computations from an application domain which includes signal processing and robotics; and complex data matrices are encountered ...

A distributed shared memory (DSM) system allows shared memory parallel programs to be executed on distributed memory multiprocessors. The challenge in building a DSM system is to achieve good performance over a wide range ...