1674 search results - page 187 / 335 » On the Optimality of the ARQ-DDF Protocol |
192
click to vote
ASPDAC
2001
ACM
15 years 10 months ago
2001
ACM
Abstract-- Image computation is the core operation for optimization and formal verification of sequential systems like controllers or protocols. State exploration techniques based ...
175
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
The main focus of this article is to achieve prolonged network lifetime with overall energy efficiency in wireless sensor networks through controlled utilization of limited energy...
166
click to vote
DEBU
2008
15 years 6 months ago
2008
Software infrastructures and applications more and more must deal with data available in a variety of different storage engines, accessible through a multitude of protocols and in...
267
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
Abstract-- We investigate cascade dynamics in thresholdcontrolled (multiplex) propagation on random geometric networks. We find that such local dynamics can serve as an efficient, ...
185
click to vote
JACM
2006
15 years 6 months ago
2006
We revisit the problem of conveying classical messages by transmitting quantum states, and derive new, optimal bounds on the number of quantum bits required for this task. Much of...