Table of Contents

• Robust Priority Assignment for Fixed Priority Real-Time SystemsRobert I. Davis, Alan Burns. 3-14 [doi]
• Energy-Aware Scheduling of Real-Time Tasks in Wireless Networked Embedded SystemsG. Sudha Anil Kumar, G. Manimaran. 15-24 [doi]
• Energy-Aware Scheduling for Streaming Applications on Chip MultiprocessorsRuibin Xu, Rami G. Melhem, Daniel Mossé. 25-38 [doi]
• A UML-Based Design Framework for Time-Triggered ApplicationsKathy Dang Nguyen, P. S. Thiagarajan, Weng-Fai Wong. 39-48 [doi]
• Bus Access Optimization for Predictable Implementation of Real-Time Applications on Multiprocessor Systems-on-ChipJakob Rosen, Alexandru Andrei, Petru Eles, Zebo Peng. 49-60 [doi]
• Integrating Virtual Execution Platform for Accurate Analysis in Distributed Real-Time Control System DevelopmentSangsoo Park, Walter Olds, Kang G. Shin, Shige Wang. 61-72 [doi]
• Toward the Predictable Integration of Real-Time COTS Based SystemsRodolfo Pellizzoni, Marco Caccamo. 73-82 [doi]
• The Design of an EDF-Scheduled Resource-Sharing Open EnvironmentNathan Fisher, Marko Bertogna, Sanjoy K. Baruah. 83-92 [doi]
• A Model-Driven Framework for the Generation of Gateways in Distributed Real-Time SystemsRoman Obermaisser. 93-104 [doi]
• Adapting Futures: Scalability for Real-World ComputingJohannes Helander, Risto Serg, Margus Veanes, Pritam Roy. 105-118 [doi]
• Techniques for Multiprocessor Global Schedulability AnalysisSanjoy K. Baruah. 119-128 [doi]
• Compositional Analysis Framework Using EDP Resource ModelsArvind Easwaran, Madhukar Anand, Insup Lee. 129-138 [doi]
• Fast Algorithms for Testing Fault-Tolerance of Sequenced Jobs with DeadlinesMarek Chrobak, Mathilde Hurand, Jiri Sgall. 139-148 [doi]
• Response-Time Analysis for Globally Scheduled Symmetric Multiprocessor PlatformsMarko Bertogna, Michele Cirinei. 149-160 [doi]
• Definition of Task Allocation and Priority Assignment in Hard Real-Time Distributed SystemsWei Zheng, Qi Zhu, Marco Di Natale, Alberto L. Sangiovanni-Vincentelli. 161-170 [doi]
• Scenario Aware Analysis for Complex Event Models and Distributed SystemsRafik Henia, Rolf Ernst. 171-180 [doi]
• Optimal Discrete Rate Adaptation for Distributed Real-Time SystemsYingming Chen, Chenyang Lu, Xenofon D. Koutsoukos. 181-192 [doi]
• A Comprehensive Worst-Case Calculus for Wireless Sensor Networks with In-Network ProcessingJens B. Schmitt, Frank A. Zdarsky, Lothar Thiele. 193-202 [doi]
• ANDES: An ANalysis-Based DEsign Tool for Wireless Sensor NetworksVibha Prasad, Ting Yan, Praveen Jayachandran, Zengzhong Li, Sang Hyuk Son, John A. Stankovic, Jörgen Hansson, Tarek F. Abdelzaher. 203-213 [doi]
• An Energy-Driven Design Methodology for Distributing DSP Applications across Wireless Sensor NetworksChung-Ching Shen, William Plishker, Shuvra S. Bhattacharyya, Neil Goldsman. 214-226 [doi]
• Integrating Adaptive Components: An Emerging Challenge in Performance-Adaptive Systems and a Server Farm Case-StudyJin Heo, Dan Henriksson, Xue Liu, Tarek F. Abdelzaher. 227-238 [doi]
• Preemptive Scheduling of Multi-criticality Systems with Varying Degrees of Execution Time AssuranceSteve Vestal. 239-243 [doi]
• Implementing Hybrid Operating Systems with Two-Level Hardware InterruptsMiao Liu, Zili Shao, Meng Wang, Hongxing Wei, Tianmiao Wang. 244-253 [doi]
• Performance Evaluation of a Self-Maintained Memory ModuleWeixing Ji, Feng Shi, Baojun Qiao, Qi Zuo, Caixia Liu. 254-266 [doi]
• Chronos: Feedback Control of a Real Database System PerformanceKyoung-Don Kang, Jisu Oh, Sang Hyuk Son. 267-276 [doi]
• I/O-Aware Deadline Miss Ratio Management in Real-Time Embedded DatabasesWoochul Kang, Sang Hyuk Son, John A. Stankovic, Mehdi Amirijoo. 277-287 [doi]
• Real-Time Monitoring of Uncertain Data Streams Using Probabilistic SimilarityHonguk Woo, Aloysius K. Mok. 288-300 [doi]
• Distributed Minimal Time Convergecast Scheduling for Small or Sparse Data SourcesYing Zhang, Shashidhar Gandham, Qingfeng Huang. 301-310 [doi]
• Rendezvous Planning in Mobility-Assisted Wireless Sensor NetworksGuoliang Xing, Tian Wang, Zhihui Xie, Weijia Jia. 311-320 [doi]
• Facilitating Congestion Avoidance in Sensor Networks with a Mobile SinkKyriakos Karenos, Vana Kalogeraki. 321-332 [doi]
• Verifying Linear Real-Time Logic SpecificationsStefan Andrei, Albert M. K. Cheng. 333-342 [doi]
• Composing Functional and State-Based Performance Models for Analyzing Heterogeneous Real-Time SystemsLinh T. X. Phan, Samarjit Chakraborty, P. S. Thiagarajan, Lothar Thiele. 343-352 [doi]
• Static Scheduling and Software Synthesis for Dataflow Graphs with Symbolic Model-CheckingZonghua Gu, Mingxuan Yuan, Nan Guan, Mingsong Lv, Xiuqiang He, Qingxu Deng, Ge Yu. 353-364 [doi]
• Mutable Protection Domains: Towards a Component-Based System for Dependable and Predictable ComputingGabriel Parmer, Richard West. 365-378 [doi]
• GD-Aggregate: A WAN Virtual Topology Building Tool for Hard Real-Time and Embedded ApplicationsQixin Wang, Xue Liu, Jennifer C. Hou, Lui Sha. 379-388 [doi]
• Real-Time Query Scheduling for Wireless Sensor NetworksOctav Chipara, Chenyang Lu, Gruia-Catalin Roman. 389-399 [doi]
• The Simplex Reference Model: Limiting Fault-Propagation Due to Unreliable Components in Cyber-Physical System ArchitecturesTanya L. Crenshaw, Elsa L. Gunter, Craig L. Robinson, Lui Sha, P. R. Kumar. 400-412 [doi]
• Generalized Tardiness Bounds for Global Multiprocessor SchedulingHennadiy Leontyev, James H. Anderson. 413-422 [doi]
• Analysis of Hierarchical EDF Pre-emptive SchedulingFengxiang Zhang, Alan Burns. 423-434 [doi]
• Utilization-Bound Based Schedulability Analysis of Weighted Round Robin SchedulersJianjia Wu, Jyh-Charn Liu, Wei Zhao. 435-446 [doi]
• Static-Priority Scheduling over Wireless Networks with Multiple Broadcast DomainsNuno Pereira, Björn Andersson, Eduardo Tovar, Anthony Rowe. 447-458 [doi]
• FireFly Mosaic: A Vision-Enabled Wireless Sensor Networking SystemAnthony Rowe, Dhiraj Goel, Raj Rajkumar. 459-468 [doi]
• Sea Depth Measurement with Restricted Floating SensorsZheng Yang, Mo Li, Yunhao Liu. 469-478 [doi]
• Castor: Secure Code Updates Using Symmetric CryptosystemsDonnie H. Kim, Rajeev Gandhi, Priya Narasimhan. 479-488 [doi]