WD
2010
13 years 9 months ago
2010
This paper deals with the routing in cognitive mobile ad hoc networks. We propose to modify the widely adopted Ad-hoc On-demand Distance Vector (AODV) protocol [1] in order to assu...
CORR
2010
Springer
13 years 9 months ago
2010
Springer
Due to lack of the infrastructure, open peer-to-peer architecture, shared wireless medium, limited resource constraints and highly dynamic topology, MANETs (Mobile Adhoc Networks) ...
JACM
2002
13 years 11 months ago
2002
We show how to use an interactive theorem prover, HOL, together with a model checker, SPIN, to prove key properties of distance vector routing protocols. We do three case studies: ...
MOBICOM
1999
ACM
14 years 3 months ago
1999
ACM
This study is a comparison of three routing protocols proposed for wireless mobile ad-hoc networks. The protocols are: Destination Sequenced Distance Vector (DSDV), Ad-hoc On dema...
ICPP
2000
IEEE
14 years 3 months ago
2000
IEEE
A new technique to parallelize loops with variable distance vectors is presented. The method extends previous methods in two ways. First, the present method makes it possible for ...
PERCOM
2003
ACM
14 years 4 months ago
2003
ACM
We investigate the performance issues of destinationsequenced distance vector (DSDV) and ad-hoc on-demand distance vector (AODV) routing protocols for mobile ad hoc networks. Four...
CISS
2008
IEEE
14 years 6 months ago
2008
IEEE
—We investigate the distance vectors contained in individual and in pairs of Costas arrays, and prove some rigorous results in the case of the algebraically constructed ones. Ove...