Algorithm design and synthesis for wireless sensor networks | IEEE Conference Publication | IEEE Xplore