A model for recursive-parallel programsWe define a formal model for a class of recursive-parallel systems with specific invocation and synchronization primitives. This original model is infinite-state but can still be analyzed successfully using the "well-structured transition systems" approach....
In many cases, this type of "mutex" is really more of a semaphore action, where you are not necessarily using the mutex as an exclusion device but use it as synchronization or signaling device between two or more threads. In the commentaries people say that is not correct and there is no...
What is needed is a virtual machine design that can be implemented on an existing conventional computer system, or on "fourth generation" computer systems, which include descriptor-based memory addressing, multi-layered rings of protection and process synchronization primitives such as semaphores, etc....
Multicast communication in which the same packet is delivered from a source node to an arbitrary number of destination nodes is fundamental in supporting collective communication primitives including broadcast, reduction, and barrier synchronization operations. This paper presents a new approach to support ...