Reconfiguration Strategies for Environmentally Powered Devices: Theoretical Analysis and Experimental Validation
暂无分享,去创建一个
[1] Tom Torfs,et al. Sensor Cubes: A Modular, Ultra-Compact, Power Aware Platform for Sensor Networks , 2006 .
[2] Deborah Estrin,et al. Guest Editors' Introduction: Overview of Sensor Networks , 2004, Computer.
[3] Christian C. Enz,et al. WiseNET: an ultralow-power wireless sensor network solution , 2004, Computer.
[4] Bengt Jonsson,et al. A logic for reasoning about time and reliability , 1990, Formal Aspects of Computing.
[5] Marta Z. Kwiatkowska,et al. PRISM 2.0: a tool for probabilistic model checking , 2004, First International Conference on the Quantitative Evaluation of Systems, 2004. QEST 2004. Proceedings..
[6] Miodrag Potkonjak,et al. System-architectures for sensor networks issues, alternatives, and directions , 2002, Proceedings. IEEE International Conference on Computer Design: VLSI in Computers and Processors.
[7] Xiuzhen Cheng,et al. Strong Minimum Energy Topology in Wireless Sensor Networks: NP-Completeness and Heuristics , 2003, IEEE Trans. Mob. Comput..
[8] Jan M. Rabaey,et al. Improving power output for vibration-based energy scavengers , 2005, IEEE Pervasive Computing.
[9] Stephan Merz,et al. Model Checking , 2000 .
[10] W.J. Kaiser,et al. The low power energy aware processing (LEAP) embedded networked sensor system , 2006, 2006 5th International Conference on Information Processing in Sensor Networks.
[11] Edmund M. Clarke,et al. Model Checking , 1999, Handbook of Automated Reasoning.
[12] Jan M. Rabaey,et al. PicoRadio Supports Ad Hoc Ultra-Low Power Wireless Networking , 2000, Computer.
[13] Anantha Chandrakasan,et al. Dynamic Power Management in Wireless Sensor Networks , 2001, IEEE Des. Test Comput..
[14] J. Lach,et al. Power-Efficient Adaptable Wireless Sensor Networks , 2003 .
[15] Enrico Magli,et al. Low-complexity video compression for wireless sensor networks , 2003, 2003 International Conference on Multimedia and Expo. ICME '03. Proceedings (Cat. No.03TH8698).
[16] Thomas A. Henzinger,et al. Reactive Modules , 1999, Formal Methods Syst. Des..
[17] Joseph A. Paradiso,et al. Energy scavenging for mobile and wireless electronics , 2005, IEEE Pervasive Computing.
[18] Hobart R. Everett,et al. Using Video Sensor Networks to Command and Control Unmanned Ground Vehicles , 2003 .
[19] L. Alvisi,et al. A Survey of Rollback-Recovery Protocols , 2002 .
[20] Guillermo Barrenetxea,et al. A Weather Station for SensorScope , 2006 .
[21] Andrea Bianco,et al. Model Checking of Probabalistic and Nondeterministic Systems , 1995, FSTTCS.
[22] Luca Benini,et al. A survey of design techniques for system-level dynamic power management , 2000, IEEE Trans. Very Large Scale Integr. Syst..
[23] Robert Tappan Morris,et al. Span: An Energy-Efficient Coordination Algorithm for Topology Maintenance in Ad Hoc Wireless Networks , 2002, Wirel. Networks.