554 search results - page 49 / 111 » Abstraction of Communication Channels in Promela: A Case Stu... |
83
Voted
GLOBECOM
2008
IEEE
15 years 1 months ago
2008
IEEE
Abstract—We present a novel routing approach for multichannel cognitive radio networks (CRNs). Our approach is based on probabilistically estimating the available capacity of eve...
104
Voted
GROUP
2009
ACM
15 years 5 months ago
2009
ACM
Designing for non-verbal communication using e.g. gestures and other bodily expressions is difficult. Hardware and software need to be co-designed and harmonize in order to not th...
SPAA
2010
ACM
15 years 5 months ago
2010
ACM
In this paper we study a dynamic version of capacity maximization in the physical model of wireless communication. In our model, requests for connections between pairs of points i...
118
click to vote
JSAC
2007
15 years 14 days ago
2007
Abstract— Transmit channel side information (CSIT) can significantly increase MIMO wireless capacity. Due to delay in acquiring this information, however, the time-selective fad...
118
Voted
ASAP
2005
IEEE
15 years 6 months ago
2005
IEEE
As billion transistor System-on-chips (SoC) become commonplace and design complexity continues to increase, designers are faced with the daunting task of meeting escalating design...