Sciweavers

3941 search results - page 547 / 789
» Computational Efficiency of Batching Methods
Sort
View
CORR
2010
Springer
139views Education» more  CORR 2010»
13 years 11 months ago
Pushdown Control-Flow Analysis of Higher-Order Programs
Context-free approaches to static analysis gain precision over classical approaches by perfectly matching returns to call sites-a property that eliminates spurious interprocedural...
Christopher Earl, Matthew Might, David Van Horn
CORR
2010
Springer
109views Education» more  CORR 2010»
13 years 11 months ago
Pairwise Optimal Discrete Coverage Control for Gossiping Robots
Abstract-- We propose distributed algorithms to automatically deploy a group of robotic agents and provide coverage of a discretized environment represented by a graph. The classic...
Joseph W. Durham, Ruggero Carli, Francesco Bullo
CORR
2008
Springer
97views Education» more  CORR 2008»
13 years 11 months ago
Gaussian Belief Propagation Based Multiuser Detection
In this work, we present a novel construction for solving the linear multiuser detection problem using the Gaussian Belief Propagation algorithm. Our algorithm yields an efficient,...
Danny Bickson, Danny Dolev, Ori Shental, Paul H. S...
IJNSEC
2008
126views more  IJNSEC 2008»
13 years 10 months ago
A Hybrid Group Key Management Protocol for Reliable and Authenticated Rekeying
We present a hybrid group key management protocol that incorporates both a centralized and a contributory scheme for key management, and a tree-based Elliptic Curve Diffie-Hellman...
Depeng Li, Srinivas Sampalli
JNW
2008
133views more  JNW 2008»
13 years 10 months ago
A Route Establishment Scheme for Multi-route Coding in Multihop Cellular Networks
Since the network topology in multihop cellular networks is flexible, multiple routes from a user station to a base station can be established. To reduce packet reception errors of...
Hiraku Okada, Hitoshi Imai, Takaya Yamazato, Masaa...