28. RTSS 2007:
Tucson, Arizona, USA
Proceedings of the 28th IEEE Real-Time Systems Symposium (RTSS 2007), 3-6 December 2007, Tucson, Arizona, USA.
IEEE Computer Society 2007
Task Scheduling I
Hw/Sw Co-design
System Integration
Schedulability Analysis
Distributed Systems
Sensor Networks:
Design and Analysis
- Jens B. Schmitt, Frank A. Zdarsky, Lothar Thiele:
A Comprehensive Worst-Case Calculus for Wireless Sensor Networks with In-Network Processing.
193-202

- Vibha Prasad, Ting Yan, Praveen Jayachandran, Zengzhong Li, Sang Hyuk Son, John A. Stankovic, Jörgen Hansson, Tarek F. Abdelzaher:
ANDES: An ANalysis-Based DEsign Tool for Wireless Sensor Networks.
203-213

- Chung-Ching Shen, William Plishker, Shuvra S. Bhattacharyya, Neil Goldsman:
An Energy-Driven Design Methodology for Distributing DSP Applications across Wireless Sensor Networks.
214-226

Industrial Applications and Implementations
- Jin Heo, Dan Henriksson, Xue Liu, Tarek F. Abdelzaher:
Integrating Adaptive Components: An Emerging Challenge in Performance-Adaptive Systems and a Server Farm Case-Study.
227-238

- Steve Vestal:
Preemptive Scheduling of Multi-criticality Systems with Varying Degrees of Execution Time Assurance.
239-243

- Miao Liu, Zili Shao, Meng Wang, Hongxing Wei, Tianmiao Wang:
Implementing Hybrid Operating Systems with Two-Level Hardware Interrupts.
244-253

- Weixing Ji, Feng Shi, Baojun Qiao, Qi Zuo, Caixia Liu:
Performance Evaluation of a Self-Maintained Memory Module.
254-266

Database System and Data Processing
Sensor Networks:
Networking and Mobility
System Modeling, Verification, and Synthesis
- Stefan Andrei, Albert M. K. Cheng:
Verifying Linear Real-Time Logic Specifications.
333-342

- Linh T. X. Phan, Samarjit Chakraborty, P. S. Thiagarajan, Lothar Thiele:
Composing Functional and State-Based Performance Models for Analyzing Heterogeneous Real-Time Systems.
343-352

- Zonghua Gu, Mingxuan Yuan, Nan Guan, Mingsong Lv, Xiuqiang He, Qingxu Deng, Ge Yu:
Static Scheduling and Software Synthesis for Dataflow Graphs with Symbolic Model-Checking.
353-364

- Gabriel Parmer, Richard West:
Mutable Protection Domains: Towards a Component-Based System for Dependable and Predictable Computing.
365-378

Cyber-Physical Systems
Task Scheduling II
Sensor Networks:
Systems and Applications
Last update Thu May 23 17:53:38 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page