554 search results - page 65 / 111 » Abstraction of Communication Channels in Promela: A Case Stu... |
ISCC
2009
IEEE
14 years 3 months ago
2009
IEEE
Abstract—In-network storage of data in wireless sensor networks contributes to reduce the communications inside the network and to favor data aggregation. In this paper, we consi...
CONCUR
2010
Springer
13 years 10 months ago
2010
Springer
Abstract. In this paper we introduce a real-time extension of the concurrent object modeling language Creol which is based on duration statements indicating best and worst case exe...
ICCCN
2007
IEEE
14 years 19 days ago
2007
IEEE
Abstract--The static nature of mesh nodes imposes requirements for designing routing metrics that support high throughput and low packet delay. This paper considers the problem of ...
JSAC
2008
13 years 8 months ago
2008
Abstract--We consider the design of multiple-input multipleoutput communication systems with a linear precoder at the transmitter, zero-forcing decision feedback equalization (ZFDF...
TIT
2008
13 years 8 months ago
2008
Abstract--For output-symmetric discrete memoryless channels (DMCs) at even moderately high rates, fixed-block-length communication systems show no improvements in their error expon...