Abstract. This paper uses a theory of composition based on existential and universal properties. Universal properties are useful to describe components interactions through shared ...
Abstract. Beowulf-class clusters use a diverse collection of queue management software, and interconnect technology, often causing inter-cluster operability issues. We present a Un...
Francis Tang, Ho Liang Yoong, Chua Ching Lian, Aru...
We consider the distributed complexity of the stable marriage problem. In this problem, the communication graph is undirected and bipartite, and each node ranks its neighbors. Giv...
The Paderborn University BSP (PUB) library is a parallel C library based on the BSP model. The basic library supports buffered and unbuffered asynchronous communication between an...
Olaf Bonorden, Ben H. H. Juurlink, Ingo von Otte, ...