30. RTSS 2009:
Washington,
DC,
USA
Theodore P. Baker (Ed.):
Proceedings of the 30th IEEE Real-Time Systems Symposium, RTSS 2009, Washington, DC, USA, 1-4 December 2009.
IEEE Computer Society 2009, ISBN 978-0-7695-3875-4
Cyber-Physical Systems & Power Management
- Adolfo Anta Martinez, Paulo Tabuada:
On the Benefits of Relaxing the Periodicity Assumption for Networked Control Systems over CAN.
3-12
- Hahnsang Kim, Kang G. Shin:
Scheduling of Battery Charge, Discharge, and Rest.
13-22
- Kai Huang, Luca Santinelli, Jian-Jia Chen, Lothar Thiele, Giorgio C. Buttazzo:
Adaptive Dynamic Power Management for Hard Real-Time Systems.
23-32
- Sibin Mohan, Min-Young Nam, Rodolfo Pellizzoni, Lui Sha, Richard M. Bradford, Shana Fliginger:
Rapid Early-Phase Virtual Integration.
33-44
Execution Time Analysis
Memory & Data Management
Delays in Wireless Sensor Networks
Design & Verification I
- Abdullah Al-Nayeem, Mu Sun, Xiaokang Qiu, Lui Sha, Steven P. Miller, Darren D. Cofer:
A Formal Architecture Pattern for Real-Time Distributed Systems.
161-170
- Thomas A. Henzinger, Christoph M. Kirsch, Eduardo R. B. Marques, Ana Sokolova:
Distributed, Modular HTL.
171-180
- Pavithra Prabhakar, Vladimeros Vladimerou, Mahesh Viswanathan, Geir E. Dullerud:
Verifying Tolerant Systems Using Polynomial Approximations.
181-190
Real-Time Operating Systems
Wireless Sensor Networks:
Systems and Detection
- Shan Lin, Gang Zhou, Kamin Whitehouse, Yafeng Wu, John A. Stankovic, Tian He:
Towards Stable Network Performance in Wireless Sensor Networks.
227-237
- Hossein Ahmadi, Tarek F. Abdelzaher:
An Adaptive-Reliability Cyber-Physical Transport Protocol for Spatio-temporal Data.
238-247
- Guoliang Xing, Mo Sha, Jun Huang, Gang Zhou, Xiaorui Wang, Shucheng Liu:
Multi-Channel Interference Measurement and Modeling in Low-Power Wireless Networks.
248-257
Scheduling Analysis
Wireless Sensor Network Protocols
- Lili Wang, Yong Yang, Dong Kun Noh, Hieu Khac Le, Jie Liu, Tarek F. Abdelzaher, Michael Ward:
AdaptSens: An Adaptive Data Collection and Storage Service for Solar-Powered Sensor Networks.
303-312
- Zhigang Chen, Kang G. Shin:
Post-Deployment Performance Debugging in Wireless Sensor Networks.
313-322
- Rui Tan, Guoliang Xing, Benyuan Liu, Jianping Wang:
Impact of Data Fusion on Real-Time Detection in Sensor Networks.
323-332
- James E. Weimer, Bruno Sinopoli, Bruce H. Krogh:
Multiple Source Detection and Localization in Advection-Diffusion Processes Using Wireless Sensor Networks.
333-342
Design & Verification II
Multiprocessor Scheduling I
Multiprocessor Scheduling II
Multiprocessor Scheduling III
Last update Fri May 25 08:34:45 2012
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page