554 search results - page 64 / 111 » Abstraction of Communication Channels in Promela: A Case Stu... |
ICC
2009
IEEE
14 years 3 months ago
2009
IEEE
—With the opening of the 60 GHz spectrum for WLANs, there has been a great deal of interest in academia and industry on how best to exploit the more than 5 GHz of available bandw...
INFOCOM
2003
IEEE
14 years 2 months ago
2003
IEEE
— We present a detailed analysis of the loss performance in an optical buffer having access to a single outgoing channel. Such a system - consisting of a number of fiber delay li...
STOC
2010
ACM
14 years 1 months ago
2010
ACM
In STOC’05, von Ahn, Hopper and Langford introduced the notion of covert computation. In covert computation, a party runs a secure computation protocol over a covert (or stegano...
ICC
2007
IEEE
14 years 3 months ago
2007
IEEE
— Given an AWGN channel, we look at the problem of designing a source controlled binary antipodal signaling system for transmitting blocks of binary symbols generated either by a...
GLOBECOM
2008
IEEE
14 years 3 months ago
2008
IEEE
Abstract—We address the problem of maximizing the minimum signal to interference and noise ratio of individual users via linear precoding in a multiuser downlink channel with mul...