Sciweavers

6506 search results - page 439 / 1302
» Algorithmic models for sensor networks
Sort
View
PODC
1987
ACM
15 years 10 months ago
Hierarchical Correctness Proofs for Distributed Algorithms
Abstract: We introduce the input-output automaton, a simple but powerful model of computation in asynchronous distributed networks. With this model we are able to construct modular...
Nancy A. Lynch, Mark R. Tuttle
ITCC
2005
IEEE
16 years 11 days ago
Simulation of Mobility and Routing in Ad Hoc Networks using Ant Colony Algorithms
Mobile Ad-hoc Networks (MANET’s) have recently attracted a lot of attention in the research community as well as the industry. This technology has become increasingly important ...
Tarek H. Ahmed
IPPS
1999
IEEE
15 years 11 months ago
Application of Parallel Processors to Real-Time Sensor Array Processing
Historically, most radar sensor array processing has been implemented using dedicated and specialized processing systems. This approach was necessary because the algorithm computa...
David R. Martinez
ICRA
2006
IEEE
103views Robotics» more  ICRA 2006»
16 years 25 days ago
Stability Analysis of Information based Control for Biochemical Source Localization
— The paper proposes an improved model and its approximation for a diffusion of a biochemical agent in the air. Based on the model, a new motion control algorithm based on the Fi...
Panos Tzanos, Milos Zefran
IPSN
2005
Springer
16 years 9 days ago
Beyond event handlers: programming wireless sensors with attributed state machines
— Event-driven programming is a popular paradigm for programming sensor nodes. It is based on the specification of actions (also known as event handlers) which are triggered by ...
Oliver Kasten, Kay Römer