1362 search results - page 65 / 273 » Model Checking Large Network Protocol Implementations |
137
click to vote
SECON
2008
IEEE
15 years 10 months ago
2008
IEEE
—The novel cross-layer protocol Breath for wireless sensor networks is designed, implemented, and experimentally evaluated. The Breath protocol is based on randomized routing, MA...
184
click to vote
FPL
2006
Springer
15 years 7 months ago
2006
Springer
With current FPGAs, designers can now instantiate several embedded processors, memory units, and a wide variety of IP blocks to build a single-chip, high-performance multiprocesso...
161
click to vote
TDSC
2011
14 years 11 months ago
2011
Abstract— We present on-line tunable diagnostic and membership protocols for generic time-triggered (TT) systems to detect crashes, send/receive omission faults and network parti...
158
click to vote
NCA
2007
IEEE
15 years 10 months ago
2007
IEEE
The assessment of routing protocols for wireless networks is a difficult task, because of the networks’ highly dynamic behavior and the absence of benchmarks. However, some of ...
127
click to vote
CONCUR
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. We present an in-depth discussion of the relationships between synchrony and asynchrony. Simple models of both paradigms are presented, and we state theorems which guaran...