554 search results - page 26 / 111 » Abstraction of Communication Channels in Promela: A Case Stu... |
135
Voted
ICC
2007
IEEE
16 years 13 days ago
2007
IEEE
Abstract—In this paper we study the problem of providing shortterm access time fairness in wireless communication systems with multimedia services, while still maintaining high s...
160
click to vote
INFOCOM
2000
IEEE
15 years 10 months ago
2000
IEEE
Abstract—We introduce and analyze CARMA-MC (for Collision Avoidance and Resolution Multiple Access MultiChannel), a new stable channel access protocol for multihop wireless netwo...
310
click to vote
RTAS
2011
IEEE
14 years 9 months ago
2011
IEEE
Abstract—Home area networks (HANs) promise to enable sophisticated home automation applications such as smart energy usage and assisted living. However, recent empirical study of...
167
click to vote
ICC
2007
IEEE
16 years 13 days ago
2007
IEEE
Abstract—Synchronization is an important issue in orthogonal frequency-division multiplexing (OFDM) systems including symbol timing and carrier frequency offset (CFO) estimation....
183
click to vote
GLOBECOM
2008
IEEE
16 years 17 days ago
2008
IEEE
Abstract—In multi-user multiple-input multiple-output (MUMIMO) systems, channel state information at the transmitter (CSIT) allows for multi-user spatial multiplexing and thus in...