A State-Based Programming Model for Wireless Sensor Networks

190 Bibliography
[110] Karsten Strehl, Lothar Thiele, Matthias Gries, Dirk Ziegenbein, Rolf Ernst,
and Jürgen Teich. Funstate—an internal design representation for codesign.
IEEE Transactions on Very Large Scale Integration (VSLI) Systems,
9(4):524–544, 2001.
[111] John Suh and Mike Horton. Powering sensor networks - current technology
overview. IEEE Potentials, 23(3):35–38, August 2004.
[112] Robert Szewczyk, Eric Osterweil, Joseph Polastre, Michael Hamilton, Alan
Mainwaring, and Deborah Estrin. Habitat monitoring with sensor networks.
Commun. ACM, 47(6):34–40, 2004.
[113] Esterel Technologies. Esterel Compiler (INRIA Ecoles des Mines Academic
Compiler). Web page. Visited 2006-06-22. Available from:
http://www.esterel-technologies.com/technology/demos/
demos.html.
[114] F. Vahid, S. Narayan, and D. D. Gajski. SpecCharts: A VHDL Front-End
for Embedded Systems. IEEE Transactions on Computer-Aided Design of Integrated
Circuits and Systems, 14(6):694–706, June 1995.
[115] Robert von Behren, Jeremy Condit, and Eric Brewer. Why events are a bad
idea (for high-concurrency servers). In Proceedings of HotOS IX: The 9th
Workshop on Hot Topics in Operating Systems, pages 19–24, Lihue, Hawaii,
USA, May 2003. The USENIX Association.
[116] H. Wang, L. Yip, D. Maniezzo, J. C. Chen, R. E. Hudson, J. Elson, and
K. Yao. A Wireless Time-Synchronized COTS Sensor Platform: Applications
to Beamforming. In In Proceedings of IEEE CAS Workshop on Wireless
Communications and Networking, Pasadena, CA, September 2002.
[117] Hanbiao Wang, Jeremy Elson, Lewis Girod, Deborah Estrin, and Kung
Yao. Target classification and localization in habitat monitoring. In Proceedings
of IEEE International Conference on Acoustics, Speech, and Signal Processing
(ICASSP 2003), Hong Kong, China, April 2003.
[118] Hanbiao Wang, Deborah Estrin, and Lewis Girod. Preprocessing in a
tiered sensor network for habitat monitoring. EURASIP Journal of Applied
Signal Processing (EURASIP JASP), (4):392–401, March 2003.
[119] B. A. Warneke, M. D. Scott, B. S. Leibowitz, L. Zhou, C. L. Bellew, J. A. Chediak,
J. M. Kahn, B. E. Boser, and Kristofer S. J. Pister. An autonomous 16
cubic mm solar-powered node for distributed wireless sensor networks.
In IEEE Sensors, Orlando, USA, June 2002.
[120] Brett Warneke, Matt Last, Brian Liebowitz, and Kristofer S. J. Pister. Smart
dust: Communicating with a cubic-millimeter computer. IEEE Computer,
45(1):44–51, January 2001.
[121] Andrzej Wasowski and Peter Sestoft. On the formal semantics of visual-
STATE statecharts. Technical Report TR-2002-19, IT University of Copenhagen,
Denmark, September 2002.