Description of the entire system in terms of abstract cooperating sequential processes and use of semaphores for explicit synchronization among different processes make it possible to establish harmonious cooperation among the processes through logical reasoning alone, without the need of actual testing of the system. This leads to a considerable saving of time and effort in developing a system...

We describe an algorithm for matching two-dimensional coordinate lists. Such matching should be immune to translation, rotation, scaling and flipping. We assume that coordinate lists may be only partially overlapping and we allow some random perturbations in the lists. Our goal is to match enough points to be able to derive a coordinates transformation with high confidence. The implementation d...

We present a simple solution to the mutual exclusion problem with no lockout that uses weak binary semaphores. Previously, Morris [4] presented a solution to this problem that uses three binary semaphores and two variable-size shared variables. A simpler solution was given in [5], where just two semaphores and two shared singlebit variables are used. (In some earlier versions, an incorrect one-...

The main objections to semaphores and events—the synchronization mechanisms introduced in the last chapter—are that they are too low level and do not support the elegant structuring of concurrent programs. For example, they do not permit a segment of code to be designated explicitly as a critical section (CS). Rather, the effect of a CS must be enforced by correctly using the semaphore operatio...

We address the problem of detecting race conditions in programs that use semaphores for synchronization. Netzer and Miller showed that it is NP-complete to detect race conditions in programs that use many semaphores. We show in this paper that it remains NP-complete even if only two semaphores are used in the parallel programs. For the tractable case, i.e., using only one semaphore, we give two...

A new technique was developed to retrieve near-surface instantaneous air temperatures and turbulent sensible heat fluxes using satellite data during the Structure des Echanges Mer–Atmosphere, Proprietes des Heterogeneites Oceaniques: Recherche Experimentale (SEMAPHORE) experiment, which was conducted in 1993 under mainly anticyclonic conditions. The method is based on a regional, horizontal atm...

TTL is an abstract task-level interface which is used both for developing parallel application models and as a platform interface for implementing streaming applications on multi-processor architectures. Inter-task communication (ITC) is defined by TTL. The CAKE platform that we target, consists of homogeneous communicating tiles. Each tile consists of a shared memory with a heterogeneous mix o...