Sciweavers

63 search results - page 2 / 13
» Separation of Synchronous and Asynchronous Communication Via...
Sort
View
MFCS
1994
Springer
13 years 9 months ago
A Proof System for Asynchronously Communicating Deterministic Processes
We introduce in this paper new communication and synchronization constructs which allow deterministic processes, communicating asynchronously via unbounded FIFO bu ers, to cope wi...
Frank S. de Boer, M. van Hulst
ISCAPDCS
2004
13 years 6 months ago
FG: A Framework Generator for Hiding Latency in Parallel Programs Running on Clusters
FG is a programming environment for asynchronous programs that run on clusters and fit into a pipeline framework. It enables the programmer to write a series of synchronous functi...
Thomas H. Cormen, Elena Riccio Davidson
ATAL
2003
Springer
13 years 10 months ago
Synchronous versus asynchronous collaboration in situated multi-agent systems
According to the taxonomy for agent activity, proposed by V. Parunak, a collaboration is an interaction between agents of a multi-agent system (MAS) whereby the agents explicitly ...
Danny Weyns, Tom Holvoet
ASYNC
2002
IEEE
115views Hardware» more  ASYNC 2002»
13 years 10 months ago
Point to Point GALS Interconnect
Reliable, low-latency channel communication between independent clock domains may be achieved using a combination of clock pausing techniques, self-calibrating delay lines and an ...
George S. Taylor, Simon W. Moore, Robert D. Mullin...
DATE
2005
IEEE
143views Hardware» more  DATE 2005»
13 years 11 months ago
galsC: A Language for Event-Driven Embedded Systems
— We introduce galsC, a language designed for programming event-driven embedded systems such as sensor networks. galsC implements the TinyGALS programming model. At the local lev...
Elaine Cheong, Jie Liu