554 search results - page 65 / 111 » Abstraction of Communication Channels in Promela: A Case Stu... |
107
click to vote
ISCC
2009
IEEE
15 years 7 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
15 years 1 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...
98
Voted
ICCCN
2007
IEEE
15 years 4 months 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 ...
110
Voted
JSAC
2008
15 years 15 days 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...
97
Voted
TIT
2008
15 years 12 days 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...