554 search results - page 48 / 111 » Abstraction of Communication Channels in Promela: A Case Stu... |
159
click to vote
GLOBECOM
2008
IEEE
16 years 18 days ago
2008
IEEE
Abstract—This paper aims at validation of an iterative receiver for Multiple-Input Multiple-Output with Orthogonal Frequency Division Multiplexing (MIMO-OFDM) systems using real-...
255
click to vote
INFOCOM
2008
IEEE
16 years 17 days ago
2008
IEEE
Abstract—Due to peer instability and time-varying peer upload bandwidth availability in live peer-to-peer (P2P) streaming channels, it is preferable to provision adequate levels ...
158
click to vote
ICC
2009
IEEE
16 years 27 days ago
2009
IEEE
Abstract—We study distributed algorithms for updating transmit precoding matrices for a two-user Multi-Input/Multi-Output (MIMO) interference channel. Our objective is to maximiz...
188
click to vote
INFOCOM
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract— MaxWeight algorithm, a.k.a., back-pressure algorithm, has received much attention as a viable solution for dynamic link scheduling in multi-hop wireless networks. The b...
145
click to vote
GW
2003
Springer
15 years 11 months ago
2003
Springer
The paper presents a research on the multimodal communication of teachers in the classroom. The “musical score”, a procedure for the analysis of multimodal communication, is us...