Title :
Algorithmic models for sensor networks
Author :
Schmid, Stefan ; Wattenhofer, Roger
Author_Institution :
Comput. Eng. & Networks Lab., ETH Zurich
Abstract :
Developing algorithms for sensor networks - and proving their correctness and performance - requires simplifying but still realistic models. This paper surveys various models in use today and puts them into perspective. In addition, we propose interesting models which are not widely adopted by the community so far
Keywords :
program verification; telecommunication computing; wireless sensor networks; algorithmic models; correctness proving; performance proving; sensor networks; Acoustic sensors; Algorithm design and analysis; Computer networks; Geometry; Interference; Laboratories; Mathematical model; Microprocessors; Temperature sensors; Wireless sensor networks;
Conference_Titel :
Parallel and Distributed Processing Symposium, 2006. IPDPS 2006. 20th International
Conference_Location :
Rhodes Island
Print_ISBN :
1-4244-0054-6
DOI :
10.1109/IPDPS.2006.1639417
