DocumentCode
2045392
Title
Algorithmic models for sensor networks
Author
Schmid, Stefan ; Wattenhofer, Roger
Author_Institution
Comput. Eng. & Networks Lab., ETH Zurich
fYear
2006
fDate
25-29 April 2006
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Parallel and Distributed Processing Symposium, 2006. IPDPS 2006. 20th International
Conference_Location
Rhodes Island
Print_ISBN
1-4244-0054-6
Type
conf
DOI
10.1109/IPDPS.2006.1639417
Filename
1639417
Link To Document