14078 search results - page 2161 / 2816 » Design and Analysis of Computer Algorithms |
209
click to vote
ICPP
2006
IEEE
16 years 1 months ago
2006
IEEE
— Due to resource scarcity, a paramount concern in ad hoc networks is to utilize the limited resources efficiently. The self-organized nature of ad hoc networks makes the social...
240
click to vote
SKG
2006
IEEE
16 years 1 months ago
2006
IEEE
The research community has turned to create Semantic Overlay Networks for information retrieval in large scale peer-to-peer networks. Much research work in semantic overlay protoc...
202
click to vote
ACL2
2006
ACM
16 years 1 months ago
2006
ACM
We describe a new procedure for verifying ACL2 properties about finite state machines (FSMs) using satisfiability (SAT) solving. We present an algorithm for converting ACL2 conj...
201
click to vote
CONEXT
2006
ACM
16 years 1 months ago
2006
ACM
Running the Border Gateway Protocol (BGP), the Internet’s interdomain routing protocol, consumes a large amount of memory. A BGP-speaking router typically stores one or more rou...
177
click to vote
APCSAC
2005
IEEE
16 years 26 days ago
2005
IEEE
Fibonacci Cubes (FCs), together with the enhanced and extended forms, are a family of interconnection topologies formed by diluting links from binary hypercube. While they scale up...