


default search action
28th 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, ISBN 0-7695-3062-1
Task Scheduling I
- Robert I. Davis, Alan Burns:
Robust Priority Assignment for Fixed Priority Real-Time Systems. 3-14 - G. Sudha Anil Kumar, G. Manimaran:
Energy-Aware Scheduling of Real-Time Tasks in Wireless Networked Embedded Systems. 15-24 - Ruibin Xu, Rami G. Melhem, Daniel Mossé:
Energy-Aware Scheduling for Streaming Applications on Chip Multiprocessors. 25-38
Hw/Sw Co-design
- Kathy Dang Nguyen, P. S. Thiagarajan, Weng-Fai Wong
:
A UML-Based Design Framework for Time-Triggered Applications. 39-48 - Jakob Rosen, Alexandru Andrei, Petru Eles, Zebo Peng:
Bus Access Optimization for Predictable Implementation of Real-Time Applications on Multiprocessor Systems-on-Chip. 49-60 - Sangsoo Park, Walter Olds, Kang G. Shin, Shige Wang:
Integrating Virtual Execution Platform for Accurate Analysis in Distributed Real-Time Control System Development. 61-72
System Integration
- Rodolfo Pellizzoni, Marco Caccamo:
Toward the Predictable Integration of Real-Time COTS Based Systems. 73-82 - Nathan Fisher
, Marko Bertogna
, Sanjoy K. Baruah:
The Design of an EDF-Scheduled Resource-Sharing Open Environment. 83-92 - Roman Obermaisser:
A Model-Driven Framework for the Generation of Gateways in Distributed Real-Time Systems. 93-104 - Johannes Helander, Risto Serg, Margus Veanes, Pritam Roy:
Adapting Futures: Scalability for Real-World Computing. 105-118
Schedulability Analysis
- Sanjoy K. Baruah:
Techniques for Multiprocessor Global Schedulability Analysis. 119-128 - Arvind Easwaran
, Madhukar Anand, Insup Lee:
Compositional Analysis Framework Using EDP Resource Models. 129-138 - Marek Chrobak, Mathilde Hurand, Jirí Sgall
:
Fast Algorithms for Testing Fault-Tolerance of Sequenced Jobs with Deadlines. 139-148 - Marko Bertogna
, Michele Cirinei:
Response-Time Analysis for Globally Scheduled Symmetric Multiprocessor Platforms. 149-160
Distributed Systems
- Wei Zheng, Qi Zhu
, Marco Di Natale
, Alberto L. Sangiovanni-Vincentelli:
Definition of Task Allocation and Priority Assignment in Hard Real-Time Distributed Systems. 161-170 - Rafik Henia, Rolf Ernst:
Scenario Aware Analysis for Complex Event Models and Distributed Systems. 171-180 - Yingming Chen, Chenyang Lu
, Xenofon D. Koutsoukos:
Optimal Discrete Rate Adaptation for Distributed Real-Time Systems. 181-192
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
- Kyoung-Don Kang, Jisu Oh, Sang Hyuk Son:
Chronos: Feedback Control of a Real Database System Performance. 267-276 - Woochul Kang, Sang Hyuk Son, John A. Stankovic, Mehdi Amirijoo:
I/O-Aware Deadline Miss Ratio Management in Real-Time Embedded Databases. 277-287 - Honguk Woo, Aloysius K. Mok:
Real-Time Monitoring of Uncertain Data Streams Using Probabilistic Similarity. 288-300
Sensor Networks: Networking and Mobility
- Ying Zhang, Shashidhar Gandham, Qingfeng Huang:
Distributed Minimal Time Convergecast Scheduling for Small or Sparse Data Sources. 301-310 - Guoliang Xing, Tian Wang, Zhihui Xie, Weijia Jia:
Rendezvous Planning in Mobility-Assisted Wireless Sensor Networks. 311-320 - Kyriakos Karenos, Vana Kalogeraki
:
Facilitating Congestion Avoidance in Sensor Networks with a Mobile Sink. 321-332
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
- Qixin Wang
, Xue Liu, Jennifer C. Hou, Lui Sha:
GD-Aggregate: A WAN Virtual Topology Building Tool for Hard Real-Time and Embedded Applications. 379-388 - Octav Chipara
, Chenyang Lu
, Gruia-Catalin Roman:
Real-Time Query Scheduling for Wireless Sensor Networks. 389-399 - Tanya L. Crenshaw, Elsa L. Gunter, Craig L. Robinson, Lui Sha, P. R. Kumar:
The Simplex Reference Model: Limiting Fault-Propagation Due to Unreliable Components in Cyber-Physical System Architectures. 400-412
Task Scheduling II
- Hennadiy Leontyev, James H. Anderson:
Generalized Tardiness Bounds for Global Multiprocessor Scheduling. 413-422 - Fengxiang Zhang
, Alan Burns:
Analysis of Hierarchical EDF Pre-emptive Scheduling. 423-434 - Jianjia Wu, Jyh-Charn Liu, Wei Zhao
:
Utilization-Bound Based Schedulability Analysis of Weighted Round Robin Schedulers. 435-446 - Nuno Pereira
, Björn Andersson, Eduardo Tovar
, Anthony Rowe:
Static-Priority Scheduling over Wireless Networks with Multiple Broadcast Domains. 447-458
Sensor Networks: Systems and Applications
- Anthony Rowe, Dhiraj Goel, Raj Rajkumar:
FireFly Mosaic: A Vision-Enabled Wireless Sensor Networking System. 459-468 - Zheng Yang, Mo Li
, Yunhao Liu:
Sea Depth Measurement with Restricted Floating Sensors. 469-478 - Donnie H. Kim, Rajeev Gandhi, Priya Narasimhan:
Castor: Secure Code Updates Using Symmetric Cryptosystems. 479-488

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.