1778 search results - page 211 / 356 » On the Power of the Randomized Iterate |
176
click to vote
MOBIHOC
2009
ACM
16 years 7 months ago
2009
ACM
In this paper, we propose a practical scheme, called Non-Binary Joint Network-Channel Decoding (NB-JNCD) for reliable communication in wireless networks. It seamlessly couples cha...
163
click to vote
CHI
2010
ACM
16 years 1 months ago
2010
ACM
Water is our most precious and most rapidly declining natural resource. We explore pervasive technology as an approach for promoting water conservation in public and private space...
191
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
—Verification is a major issue in circuit and system design. Formal methods like bounded model checking (BMC) can guarantee a high quality of the verification. There are severa...
151
click to vote
DSN
2009
IEEE
16 years 1 months ago
2009
IEEE
This work explores the principles and practice of isolating low-level device drivers in order to improve OS dependability. In particular, we explore the operations drivers can per...
170
click to vote
MOBICOM
2009
ACM
16 years 27 days ago
2009
ACM
Spatial multiple access holds the promise to boost the capacity of wireless networks when an access point has multiple antennas. Due to the asynchronous and uncontrolled nature of...