471 search results - page 36 / 95 » Automatic Mutual Exclusion |
ICC
2009
IEEE
14 years 3 months ago
2009
IEEE
—We propose a broadcast protocol that is based on a form of cooperative transmission called the Opportunistic Large Array (OLA). Multiple SNR (or transmission) thresholds are use...
UC
2009
Springer
14 years 3 months ago
2009
Springer
Some physical aspects related to the limit operations of the Thomson lamp are discussed. Regardless of the formally unbounded and even infinite number of “steps” involved, the...
ICC
2007
IEEE
14 years 2 months ago
2007
IEEE
Abstract— Many sensor networks (SN) use in-network aggregation to minimize the amount of data transmitted by sensors. Unfortunately, aggregation makes the network more vulnerable...
TPHOL
2007
IEEE
14 years 2 months ago
2007
IEEE
This paper concerns the formal semantics of programming languages, and the specification and verification of software. We are interested in the verification of real programs, wr...
ISCAS
2006
IEEE
14 years 2 months ago
2006
IEEE
— We consider the design of the MAC layer for low power, low data-rate, impulse-radio ultra-wide band (IRUWB) networks. In such networks, the primary concern is energy consumptio...