2468 search results - page 281 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
124
click to vote
ICC
2007
IEEE
15 years 10 months ago
2007
IEEE
— Forward Error Correction (FEC) schemes are generally used in wireless communication systems to maintain an acceptable quality of service. Various models have been proposed in l...
144
click to vote
IPPS
2005
IEEE
15 years 9 months ago
2005
IEEE
A growing trend in the development and deployment of grid computing systems is decentralization. Decentralizing these systems helps make them more scalable and robust, but poses s...
107
click to vote
DFT
2007
IEEE
15 years 10 months ago
2007
IEEE
Decreasing feature sizes have led to an increased vulnerability of random logic to soft errors. A particle strike may cause a glitch or single event transient (SET) at the output ...
189
click to vote
LANC
2009
ACM
15 years 9 months ago
2009
ACM
We study a wireless network under the 802.11 random access protocol, supporting multiple physical layer rates. Based on models for the effective packet rates achieved at the MAC ...
146
click to vote
MMM
2010
Springer
15 years 6 months ago
2010
Springer
: Networks and distributed computing systems are becoming increasingly important and at the same time, more and more critical to the world of Information Technology. This rash spre...