6061 search results - page 880 / 1213 » Dynamic group communication |
168
click to vote
IFIP
2004
Springer
16 years 4 days ago
2004
Springer
A term terminates if all its reduction sequences are of finite length. We show four type systems that ensure termination of well-typed π-calculus processes. The systems are obtai...
206
click to vote
IPSN
2004
Springer
16 years 4 days ago
2004
Springer
In this paper we develop algorithms for distributed computation of a broad range of estimation and detection tasks over networks with arbitrary but fixed connectivity. The distri...
249
click to vote
WAC
2004
Springer
16 years 3 days ago
2004
Springer
We describe the motivation and design of a novel embedded systems architecture for large networks of small devices, tha canonical example being wireless sensor networks. The archit...
141
click to vote
ASYNC
2003
IEEE
16 years 2 days ago
2003
IEEE
We present a high-speed, clockless, serial link transceiver for inter-chip communication in asynchronous VLSI systems. Serial link transceivers achieve high offchip data rates by ...
172
Voted
ECRTS
2003
IEEE
16 years 2 days ago
2003
IEEE
This paper deals with specific issues related to the design of distributed embedded systems implemented with mixed, event-triggered and time-triggered task sets, which communicate...