623 search results - page 61 / 125 » Declarative Network Verification |
ICC
2007
IEEE
14 years 3 months ago
2007
IEEE
—In this paper, we analyze the impact of imperfect channel quality feedback on the scheduling algorithms that exploit multi-user diversity. We consider a time-slotted MIMO broadc...
SOSP
2009
ACM
14 years 5 months ago
2009
ACM
We describe Neutron, a version of the TinyOS operating system that efficiently recovers from memory safety bugs. Where existing schemes reboot an entire node on an error, Neutron...
ICDT
2012
ACM
11 years 11 months ago
2012
ACM
In a recent paper by Hellerstein [15], a tight relationship was conjectured between the number of strata of a Datalog¬ program and the number of “coordination stages” require...
MOBIHOC
2003
ACM
14 years 8 months ago
2003
ACM
Directional antennas in ad hoc networks offer many benefits compared with classical omnidirectional antennas. The most important include significant increase of spatial reuse, cov...
MDM
2007
Springer
14 years 2 months ago
2007
Springer
The engineering community has recently begun to adopt wireless sensing technologies for use in many sensing applications. These low-cost sensors provide an optimal setting for den...