Sciweavers

3941 search results - page 547 / 789
» Computational Efficiency of Batching Methods
Sort
View
112
Voted
CORR
2010
Springer
139views Education» more  CORR 2010»
15 years 17 days 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»
15 years 17 days 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»
15 years 17 days 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...
105
Voted
IJNSEC
2008
126views more  IJNSEC 2008»
15 years 14 days 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
97
Voted
JNW
2008
133views more  JNW 2008»
15 years 13 days 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...