-
1
-
-
33747356808
-
Automatic symbolic verification of embedded systems
-
R. Alur, T. A. Henzinger, and P. hsin Ho. Automatic symbolic verification of embedded systems. IEEE Transactions on Software Engineering, 22:181-201, 1996 (Pubitemid 126771667)
-
(1996)
IEEE Transactions on Software Engineering
, vol.22
, Issue.3
, pp. 181-201
-
-
Alur, R.1
Henzinger, T.A.2
Ho, P.-H.3
-
2
-
-
84868993835
-
-
Atmel Corporation, Available at
-
Atmel Corporation. Atmega128 data sheet, 2007. Available at http://www.atmel.com
-
(2007)
Atmega128 Data Sheet
-
-
-
4
-
-
3042671755
-
Resource containers: A new facility for resource management in server systems
-
G. Banga, P. Druschel, and J. C.Mogul. Resource containers: A new facility for resource management in server systems. In OSDI, pages 45-58, 1999
-
(1999)
OSDI
, pp. 45-58
-
-
Banga, G.1
Druschel, P.2
Mogul, J.C.3
-
5
-
-
33744944530
-
Towards optimal sleep scheduling in sensor networks for rare event detection
-
Q. Cao, T. Abdelzaher, T. He, and J. Stankovic. Towards Optimal Sleep Scheduling in Sensor Networks for Rare Event Detection . In Proceedings of IPSN, 2005
-
(2005)
Proceedings of IPSN
-
-
Cao, Q.1
Abdelzaher, T.2
He, T.3
Stankovic, J.4
-
6
-
-
51249101388
-
The LiteOS Operating system: Towards Unix-like abstractions for wireless sensor networks
-
Q. Cao, T. Abdelzaher, J. Stankovic, and T. He. The LiteOS Operating system: Towards Unix-like Abstractions for Wireless Sensor Networks. In Proceedings IPSN, 2008
-
(2008)
Proceedings IPSN
-
-
Cao, Q.1
Abdelzaher, T.2
Stankovic, J.3
He, T.4
-
7
-
-
0034819265
-
Habitat monitoring: Application driver for wireless communications technology
-
April
-
A. Cerpa, J. Elson, D. Estrin, L. Girod, M. Hamilton, and J. Zhao. Habitat Monitoring: Application Driver for Wireless Communications Technology. In Proc. of the 2001 ACM SIGCOMM Workshop on Data Communications in Latin America and the Caribbean, April 2001
-
(2001)
Proc. of the 2001 ACM SIGCOMM Workshop on Data Communications in Latin America and the Caribbean
-
-
Cerpa, A.1
Elson, J.2
Estrin, D.3
Girod, L.4
Hamilton, M.5
Zhao, J.6
-
8
-
-
48749117234
-
-
Chipcon
-
Chipcon. CC2420 Data Sheet. http://www.chipcon.com/
-
CC2420 Data Sheet
-
-
-
9
-
-
84868979541
-
-
CrossBow
-
CrossBow. MicaZ data sheet, 2007. Available at http://www.xbow.com
-
(2007)
MicaZ Data Sheet
-
-
-
10
-
-
37849041266
-
Software-based online energy estimation for sensor nodes
-
New York, NY, USA, 2007. ACM
-
A. Dunkels, F. Osterlind, N. Tsiftes, and Z. He. Software-based online energy estimation for sensor nodes. In EmNets '07: Proceedings of the 4th workshop on Embedded networked sensors, pages 28-32, New York, NY, USA, 2007. ACM
-
(2007)
EmNets '07: Proceedings of the 4th Workshop on Embedded Networked Sensors
, pp. 28-32
-
-
Dunkels, A.1
Osterlind, F.2
Tsiftes, N.3
He, Z.4
-
11
-
-
84879353967
-
Nano-RK: An energy-aware resource-centric rtos for sensor networks
-
A. Eswaran, A. Rowe, and R. Rajkumar. Nano-RK: An energy-aware resource-centric rtos for sensor networks. In RTSS, 2005
-
(2005)
RTSS
-
-
Eswaran, A.1
Rowe, A.2
Rajkumar, R.3
-
12
-
-
21644452744
-
Real-time resource reservation protocol for wireless mobile ad hoc networks
-
Proceedings - 25th IEEE International Real-Time Systems Symposium, RTSS 2004
-
T. Facchinetti, L. Almeida, G. C. Buttazzo, and C. Marchini. Realtime resource reservation protocol for wireless mobile ad hoc networks. In RTSS, pages 382-391, 2004 (Pubitemid 40929935)
-
(2004)
Proceedings - Real-Time Systems Symposium
, pp. 382-391
-
-
Facchinetti, T.1
Almeida, L.2
Marchini, C.3
Buttazzo, G.C.4
-
13
-
-
67249112126
-
VigilNet: An integrated sensor network system for energy-efficient surveillance
-
T. He, S. Krishnamurthy, L. Luo, T. Yan, R. Stoleru, G. Zhou, Q. Cao, P. Vicaire, J. A. Stankovic, T. F. Abdelzaher, J. Hui, and B. Krogh. VigilNet: An Integrated Sensor Network System for Energy-Efficient Surveillance. ACM Transaction on Sensor Networks, 2007
-
(2007)
ACM Transaction on Sensor Networks
-
-
He, T.1
Krishnamurthy, S.2
Luo, L.3
Yan, T.4
Stoleru, R.5
Zhou, G.6
Cao, Q.7
Vicaire, P.8
Stankovic, J.A.9
Abdelzaher, T.F.10
Hui, J.11
Krogh, B.12
-
14
-
-
0034445661
-
System architecture directions for network sensors
-
J. Hill, R. Szewczyk, A. Woo, S. Hollar, D. Culler, and K. Pister. System architecture directions for network sensors. In Proceedings of ASPLOS-IX, 2000
-
(2000)
Proceedings of ASPLOS-IX
-
-
Hill, J.1
Szewczyk, R.2
Woo, A.3
Hollar, S.4
Culler, D.5
Pister, K.6
-
15
-
-
0345813853
-
CPU Reservations and Time Constraints: Efficient, Predictable Scheduling of Independent Activities
-
M. B. Jones, D. Rosu, and M.-C. Rosu. Cpu reservations and time constraints: Efficient, predictable scheduling of independent activities. In SOSP, pages 198-211, 1997 (Pubitemid 127466039)
-
(1997)
Operating Systems Review (ACM)
, vol.31
, Issue.5
, pp. 198-211
-
-
Jones, M.B.1
Rosu, D.2
Rosu, M.-C.3
-
16
-
-
34247364655
-
Ultra-low power data storage for sensor networks
-
G. Mathur, P. Desnoyers, D. Ganesan, and P. J. Shenoy. Ultra-low power data storage for sensor networks. In IPSN, pages 374-381, 2006
-
(2006)
IPSN
, pp. 374-381
-
-
Mathur, G.1
Desnoyers, P.2
Ganesan, D.3
Shenoy, P.J.4
-
17
-
-
0028094353
-
Processor capacity reserves: Operating system support for multimedia applications
-
C. W. Mercer, S. Savage, and H. Tokuda. Processor capacity reserves: Operating system support for multimedia applications. In ICMCS, pages 90-99, 1994
-
(1994)
ICMCS
, pp. 90-99
-
-
Mercer, C.W.1
Savage, S.2
Tokuda, H.3
-
19
-
-
35348908542
-
On scheduling and real-time capacity of hexagonal wireless sensor networks
-
S. Prabh and T. F. Abdelzaher. On scheduling and real-time capacity of hexagonal wireless sensor networks. In ECRTS, 2007
-
(2007)
ECRTS
-
-
Prabh, S.1
Abdelzaher, T.F.2
-
21
-
-
0032047410
-
Rate-proportional servers: A design methodology for fair queueing algorithms
-
PII S1063669298022754
-
D. Stiliadis and A. Varma. Rate-proportional servers a design methodology for fair queueing algorithms. IEEE/ACM Trans. Netw., 6(2):164-174, 1998 (Pubitemid 128747916)
-
(1998)
IEEE/ACM Transactions on Networking
, vol.6
, Issue.2
, pp. 164-174
-
-
Stiliadis, D.1
Varma, A.2
-
22
-
-
84905819805
-
A macroscope in the redwoods
-
ACM Press
-
G. Tolle, J. Polastre, R. Szewczyk, N. Turner, K. Tu, S. Burgess, D. Gay, P. Buonadonna, W. Hong, T. Dawson, and D. Culler. A macroscope in the redwoods. In The 3rd ACM Conference on Embedded Networked Sensor Systems. ACM Press, 2005
-
(2005)
3rd ACM Conference on Embedded Networked Sensor Systems
-
-
Tolle, G.1
Polastre, J.2
Szewczyk, R.3
Turner, N.4
Tu, K.5
Burgess, S.6
Gay, D.7
Buonadonna, P.8
Hong, W.9
Dawson, T.10
Culler, D.11
-
23
-
-
18844371448
-
Integrated coverage and connectivity configuration in wireless sensor networks
-
November
-
X. Wang, G. Xing, Y. Zhang, C. Lu, R. Pless, and C. Gill. Integrated Coverage and Connectivity Configuration in Wireless Sensor Networks. In First ACM Conference on Embedded Networked Sensor Systems (SenSys 2003, November 2003
-
(2003)
First ACM Conference on Embedded Networked Sensor Systems (SenSys 2003)
-
-
Wang, X.1
Xing, G.2
Zhang, Y.3
Lu, C.4
Pless, R.5
Gill, C.6
-
24
-
-
85030680255
-
Fidelity and yield in a volcano monitoring sensor network
-
G. Werner-Allen, K. Lorincz, J. Johnson, J. Lees, and M. Welsh. idelity and yield in a volcano monitoring sensor network. In OSDI, pages 381-396, 2006
-
(2006)
OSDI
, pp. 381-396
-
-
Werner-Allen, G.1
Lorincz, K.2
Johnson, J.3
Lees, J.4
Welsh, M.5
|