-
1
-
-
41149163466
-
-
home
-
Tinyos homepage. http://www.tinyOS.net.
-
-
-
-
2
-
-
33845449935
-
Computational models, programming languages and algorithms for sensor networks: Towards a paradigm shift in computer science
-
G. Agha. Computational models, programming languages and algorithms for sensor networks: Towards a paradigm shift in computer science, sutc, 1:2, 2006.
-
(2006)
sutc
, vol.1
, pp. 2
-
-
Agha, G.1
-
3
-
-
0037086890
-
Wireless sensor networks: A survey
-
March
-
I. F. Akyildiz, W. Su, Y. Sankarasubramaniam, and E. Cayirci. Wireless sensor networks: a survey. Computer Networks, 38(4):393-422, March 2002.
-
(2002)
Computer Networks
, vol.38
, Issue.4
, pp. 393-422
-
-
Akyildiz, I.F.1
Su, W.2
Sankarasubramaniam, Y.3
Cayirci, E.4
-
4
-
-
0036983396
-
Lifetime analysis of a sensor network with hybrid automata, modelling
-
New York, NY, USA, ACM Press
-
S. Coleri, M. Ergen, and T. J. Koo. Lifetime analysis of a sensor network with hybrid automata, modelling. In WSNA '02: Proceedings of the 1st ACM international workshop on Wireless sensor networks and applications, pages 98-104, New York, NY, USA, 2002. ACM Press.
-
(2002)
WSNA '02: Proceedings of the 1st ACM international workshop on Wireless sensor networks and applications
, pp. 98-104
-
-
Coleri, S.1
Ergen, M.2
Koo, T.J.3
-
5
-
-
0037702249
-
The nesc language: A holistic approach to networked embedded systems
-
New York, NY, USA, ACM Press
-
D. Gay, P. Levis, R. von Behren, M. Welsh, E. Brewer, and D. Culler. The nesc language: A holistic approach to networked embedded systems. In PLDI '03: Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation, pages 1-11, New York, NY, USA, 2003. ACM Press.
-
(2003)
PLDI '03: Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation
, pp. 1-11
-
-
Gay, D.1
Levis, P.2
von Behren, R.3
Welsh, M.4
Brewer, E.5
Culler, D.6
-
6
-
-
27644468340
-
A system for simulation, emulation, and deployment of heterogeneous sensor networks
-
New York, NY, USA, ACM Press
-
L. Girod, T. Stathopoulos, N. Ramanathan, J. Elson, D. Estrin, E. Osterweil, and T. Schoellhammer. A system for simulation, emulation, and deployment of heterogeneous sensor networks. In SenSys '04: Proceedings of the 2nd international conference on Embedded networked sensor systems, pages 201-213, New York, NY, USA, 2004. ACM Press.
-
(2004)
SenSys '04: Proceedings of the 2nd international conference on Embedded networked sensor systems
, pp. 201-213
-
-
Girod, L.1
Stathopoulos, T.2
Ramanathan, N.3
Elson, J.4
Estrin, D.5
Osterweil, E.6
Schoellhammer, T.7
-
7
-
-
0027029758
-
Undecidability of static analysis
-
W. Landi. Undecidability of static analysis. ACM Lett. Program. Lang. Syst., 1(4):323-337, 1992.
-
(1992)
ACM Lett. Program. Lang. Syst
, vol.1
, Issue.4
, pp. 323-337
-
-
Landi, W.1
-
8
-
-
34547460552
-
Tosdev: A rapid development environment for tinyos
-
New York, NY, USA, ACM Press
-
W. P. McCartney and N. Sridhar. Tosdev: a rapid development environment for tinyos. In SenSys '06: Proceedings of the 4th international conference on Embedded networked sensor systems, pages 387-388, New York, NY, USA, 2006. ACM Press.
-
(2006)
SenSys '06: Proceedings of the 4th international conference on Embedded networked sensor systems
, pp. 387-388
-
-
McCartney, W.P.1
Sridhar, N.2
-
9
-
-
0035783706
-
Coverage criteria for GUI testing
-
New York, NY, USA, ACM Press
-
A. M. Memon, M. L. Soffa, and M. E. Pollack. Coverage criteria for GUI testing. In ESEC/FSE-9: Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering, pages 256-267, New York, NY, USA, 2001. ACM Press.
-
(2001)
ESEC/FSE-9: Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
, pp. 256-267
-
-
Memon, A.M.1
Soffa, M.L.2
Pollack, M.E.3
-
10
-
-
0034593011
-
Sensorsim: A simulation framework for sensor networks
-
New York, NY, USA
-
S. Park, A. Savvides, and M. B. Srivastava. Sensorsim: a simulation framework for sensor networks. In MSWIM '00: Proceedings of the 3rd ACM international workshop on Modeling, analysis and simulation of wireless and mobile systems, pages 104-111, New York, NY, USA, 2000.
-
(2000)
MSWIM '00: Proceedings of the 3rd ACM international workshop on Modeling, analysis and simulation of wireless and mobile systems
, pp. 104-111
-
-
Park, S.1
Savvides, A.2
Srivastava, M.B.3
-
11
-
-
29244475049
-
Random testing of interrupt-driven software
-
New York, NY, USA, ACM Press
-
J. Regehr. Random testing of interrupt-driven software. In EMSOFT '05: Proceedings of the 5th ACM international conference on Embedded Software, pages 290-298, New York, NY, USA, 2005. ACM Press.
-
(2005)
EMSOFT '05: Proceedings of the 5th ACM international conference on Embedded Software
, pp. 290-298
-
-
Regehr, J.1
-
12
-
-
41149087532
-
Glonemo: Global and accurate formal models for the analysis of ad-hoc sensor networks
-
New York, NY, USA, ACM Press
-
L. Samper, F. Maraninchi, L. Mounier, and L. Mandel. Glonemo: global and accurate formal models for the analysis of ad-hoc sensor networks. In InterSense '06: Proceedings of the first international conference on Integrated internet ad hoc and sensor networks, page 3, New York, NY, USA, 2006. ACM Press.
-
(2006)
InterSense '06: Proceedings of the first international conference on Integrated internet ad hoc and sensor networks
, pp. 3
-
-
Samper, L.1
Maraninchi, F.2
Mounier, L.3
Mandel, L.4
-
13
-
-
33745948528
-
Java on the bare metal of wireless sensor devices: The squawk java virtual machine
-
New York, NY, USA, ACM Press
-
D. Simon, C. Cifuentes, D. Cleal, J. Daniels, and D. White. Java on the bare metal of wireless sensor devices: the squawk java virtual machine. In VEE '06: Proceedings of the second international conference on Virtual Execution Environments, pages 78-88, New York, NY, USA, 2006. ACM Press.
-
(2006)
VEE '06: Proceedings of the second international conference on Virtual Execution Environments
, pp. 78-88
-
-
Simon, D.1
Cifuentes, C.2
Cleal, D.3
Daniels, J.4
White, D.5
-
14
-
-
41149104717
-
Fault localization in NesC program by semantic analysis
-
Technical report, University of Virginia
-
N. Zhang. Fault localization in NesC program by semantic analysis. Technical report, University of Virginia, 2007.
-
(2007)
-
-
Zhang, N.1
|