1615 search results - page 10 / 323 » Distributed Forward Checking |
INFOCOM
2011
IEEE
12 years 11 months ago
2011
IEEE
Abstract—Several recently proposed multicast protocols use inpacket Bloom filters to encode multicast trees. These mechanisms are in principle highly scalable because no per-fl...
ICPADS
1998
IEEE
13 years 12 months ago
1998
IEEE
ICSE
2009
IEEE-ACM
13 years 5 months ago
2009
IEEE-ACM
This paper presents experiments realized by Airbus on model checking a safety critical system, lessons learnt and ways forward to extend the industrial use of formal verification ...
CORR
2007
Springer
13 years 7 months ago
2007
Springer
Abstract- We investigate cooperative wireless relay networks in which the nodes can help each other in data transmission. We study different coding strategies in the single-source ...
ICCNMC
2005
Springer
14 years 1 months ago
2005
Springer
Routing packets along a specified curve is a new approach to forwarding packets in large-scale dense sensor networks. Forwarding packets along trajectories can be very effective in...