7189 search results - page 163 / 1438 » Connecting Design with Code |
136
click to vote
ICC
2008
IEEE
15 years 9 months ago
2008
IEEE
—Wireless sensor networks consist of unreliable and energy-constrained sensors connecting to each other wirelessly. As measured data may be lost due to sensor failures, maintaini...
122
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Orbits of graphs under local complementation (LC) and edge local complementation (ELC) have been studied in several different contexts. For instance, there are connections between...
111
click to vote
TIT
2008
15 years 3 months ago
2008
The identifying code problem for a given graph involves finding a minimum set of vertices whose neighborhoods uniquely overlap at any given graph vertex. Initially introduced in 1...
255
click to vote
POPL
2006
ACM
16 years 3 months ago
2006
ACM
We define a type system, which may also be considered as a simple Hoare logic, for a fragment of an assembly language that deals with code pointers and jumps. The typing is aimed ...
103
click to vote
INFOCOM
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract—The highly stochastic nature of wireless environments makes it desirable to monitor link loss rates in wireless sensor networks. In this paper, we study the loss inferen...