1649 search results - page 171 / 330 » A Stable Broadcast Algorithm |
167
click to vote
SSS
2007
Springer
16 years 15 days ago
2007
Springer
We present formal definitions of stabilization for the Timed I/O Automata (TIOA) framework, and of emulation for the timed Virtual Stationary Automata programming abstraction laye...
164
click to vote
DSD
2006
IEEE
16 years 13 days ago
2006
IEEE
This paper addresses the implementation of ReedSolomon decoding for battery-powered wireless devices. The scope of this paper is constrained by the Digital Media Broadcasting (DMB...
192
click to vote
ICCSA
2005
Springer
15 years 12 months ago
2005
Springer
In this paper, we propose internetworking strategy of WLAN and MANET. Both WLAN and MANET are based on IEEE 802.11 for MAC layer protocol while they adopt different mode, such as i...
158
click to vote
ICDCSW
2003
IEEE
15 years 11 months ago
2003
IEEE
In this paper, we propose a novel cache consistency maintenance scheme, called Ë Ð Ð ×ÝÒ ÖÓÒÓÙ× ÓÒ× ×Ø Ò Ý Ë Ñ (SACCS), for mobile environments. It relies on ...
149
click to vote
CHES
2001
Springer
15 years 11 months ago
2001
Springer
This paper describes an algorithm and architecture based on an extension of a scalable radix-2 architecture proposed in a previous work. The algorithm is proven to be correct and t...