Unlike aerial or terrestrial navigation, the global navigation satellite system (GNSS) is not available underwater. This a big challenge for underwater navigation. The inertial (INS) aided by single-beacon acoustic positioning (APS) provides one solution, but long-range case limited low-SNR conditions. Inspired passive synthetic aperture detection, we proposed new tightly coupled algorithm base...

Tightly Coupled Processor Arrays (TCPAs), a class of massively parallel loop accelerators, allow applications to offload computationally expensive loops for improved performance and energy efficiency. To achieve these two goals, executing on TCPA requires an efficient generation specific programs as well other configuration data each distinct combination bounds number available processing eleme...

M ultiprocessing is apopularway to increase system computing power beyond the limit of current uniprocessor technology. In a multiprocessor, multiple instruction streams execute in parallel and communicate or synchronize by passing messages or sharing memory. We can classify multiprocessor systems according to the logical and physical architecture of their memory systems. In systems with disjoi...

An efficient conference service facilitates the implementation and run-time control of conference applications. Beside key features of a conference service like conference management, multipoint communication support, and application state synchronization, the reconfiguration of such environments is crucial for the scalability and availability of the service. The paper proposes a reconfiguratio...

We consider an environment where agents' tasks are tightly coupled and require real-time scheduling and execution. In order to complete their tasks, agents need to coordinate their actions both constantly and extensively. We present an approach that consists of a standard operating procedure and a look-ahead coordination. The standard operating procedure regulates task coupling and minimizes co...

We propose a novel method of scheduling memory access on a non-blocking interconnection network that provides only one-to-one communication. Connicts at the switches can be avoided if the accesses are scheduled so that no two processors attempt to access the same memory at the same time. We show how such a scheduling problem can be mapped to an edge-coloring problem for a directed graph and pre...

Coordination is defined as ”the harmonious functioning of parts for effective results” (Mish 1996). When applied to multiple robot systems, coordination is classified by one of two categories: collaboration or cooperation. Each component contributes to the harmonious functioning aspect of Coordination. Collaboration occurs when multiple robots engage in separate independent tasks to fulfill a h...

We consider the problem of verifying context-aware, pervasive, interactive systems when the interaction involves both system configuration and system use. Verification of configurable systems is more tightly coupled to design when the verification process involves reasoning about configurable formal models. The approach is illustrated with a case study: using the model checker SPIN [Hol03] and ...