In this paper, we study the communication complexity of Reliable Message Transmission (RMT) and Secure Message Transmission (SMT) protocols in asynchronous settings. We consider two variants of the problem, namely perfect (where no error is allowed in the protocol outcome) and statistical (where the protocol may output a wrong outcome with negligible probability). RMT and SMT protocols have bee...

Abstract This report discusses the power efficient communication in a Network-on-Chip (NoC) on a Globally-Asynchronous-Locally-Synchronous (GALS) system, stepping away from a fully synchronous design. The focus is on the communication window with the control and data signals, which are both examined for the possibility of minimizing power consumption. For the estimation of the power consumption...

This report describes globs, a programming language whose purpose is to facilitate the development of parallel applications. Globs provides powerful support to task parallelism: statements in the same block are executed in parallel. Additionally, Globs allows synchronous and asynchronous communication between processes. Asynchronous message passing is implemented via message boxes, in a way sim...

Interactions in swarm robotic search are explored for intelligence emergence based on Extended Particle Swarm Optimization (EPSO) model. For this end, the best combination of proper properties in typical versions of PSO is transferred to swarm robotic search. Synchronous / asynchronous communication modes and respective control strategies under conditions of parallel distributed control are com...

Effective communication is an important issue for global software development. Due to geographical limitations and travel challenges, face-toface meetings are expensive to schedule and run. Web-based communication methods are thus the primary means of communication in global software development efforts. In general. two types of web-based communication mechanisms exist: synchronous and asynchro...

In distributed systems, high service availability can be achieved by letting a group of servers replicate the service state; if some servers fail, the surviving ones know the service state and can continue to provide the service. Group communication services, such as membership and atomic broadcast, have been proposed to solve the problem of maintaining server state replica consistency. Group m...

Honda and Tokoro provide a formal system for communicating systems developed from Milner's {calculus. Unlike other formalisms, their work is based on asynchronous communication primitives. This paper proposes some minor but practically signiicant extensions to a model based on asynchronous communication and shows how the resulting system may be mapped very directly onto a graph rewriting system...

We consider the problem of synthesizing correct-by-construction globally asynchronous, locally synchronous (GALS) implementations from modular synchronous specifications. This involves the synthesis of asynchronous wrappers that drive the synchronous clocks of the modules and perform input reading in such a fashion as to preserve, in a certain sense, the global properties of the system. Our app...

FDDI network is a network that can provide real-time message delivery, It supports two classes of messages: synchronous class and asynchronous class. Guaranteeing deadlines of real-time messages with FDDI synchronous mode has been studied extensively. However, most existing FDDI products support asynchronous message transmission only. In this paper, we develop an analytic method for guaranteein...

In a distributed robot system, asynchronous and synchronous communication between the system components is necessary to guarantee problem soliving capability in realtime. On that account, the distributed control architecure of the Karlsruhe Autonomous Mobile Robot KAMRO which is being developed at IPR has been extended by these communication kinds. The robot system consists of several subcompon...