Sciweavers

1552 search results - page 205 / 311
» On the Complexity of Constant Propagation
Sort
View
DCOSS
2007
Springer
16 years 20 days ago
A Connectivity Based Partition Approach for Node Scheduling in Sensor Networks
This paper presents a Connectivity based Partition Approach (CPA) to reduce the energy consumption of a sensor network by sleep scheduling among sensor nodes. CPA partitions sensor...
Yong Ding, Chen Wang, Li Xiao
ESAS
2007
Springer
16 years 20 days ago
Key Distribution in Mobile Ad Hoc Networks Based on Message Relaying
Abstract. Securing wireless mobile ad hoc networks (MANETs) is challenging due to the lack of centralized authority and poor connectivity. A key distribution mechanism is central t...
Johann van der Merwe, Dawoud S. Dawoud, Stephen Mc...
ESOP
2007
Springer
16 years 20 days ago
Computing Procedure Summaries for Interprocedural Analysis
Abstract. We describe a new technique for computing procedure summaries for performing an interprocedural analysis on programs. Procedure summaries are computed by performing a bac...
Sumit Gulwani, Ashish Tiwari
IEEEARES
2006
IEEE
16 years 16 days ago
Application of the Digraph Method in System Fault Diagnostics
There is an increasing demand for highly reliable systems in the safety conscious climate of today’s world. When a fault does occur there are two desirable outcomes. Firstly, de...
E. M. Kelly, L. M. Bartlett
IROS
2006
IEEE
136views Robotics» more  IROS 2006»
16 years 15 days ago
Multi-robot SLAM with Unknown Initial Correspondence: The Robot Rendezvous Case
Abstract— This paper presents a new approach to the multirobot map-alignment problem that enables teams of robots to build joint maps without initial knowledge of their relative ...
Xun S. Zhou, Stergios I. Roumeliotis