26. RTSS 2005: Miami, FL, USA

Introduction

• Message from the Conference Chairs.
  
• Committees.
  
• Reviewers.
  

Real-Time Networking

• Qixin Wang, Xue Liu, Weiqun Chen, Wenbo He, Marco Caccamo:
  Building Robust Wireless LAN for Industrial Control with DSSS-CDMA Cellphone Network Paradigm. 3-14
  
• Björn Andersson, Eduardo Tovar, Nuno Pereira:
  Analyzing TDMA with Slot Skipping. 15-24
  

Data Management

• Ming Xiong, Song Han, Kam-yiu Lam:
  A Deferrable Scheduling Algorithm for Real-Time Transactions Maintaining Data Freshness. 27-37
  
• Mehdi Amirijoo, Nicolas Chaufette, Jörgen Hansson, Sang Hyuk Son, Svante Gunnarsson:
  Generalized Performance Management of Multi-Class Real-Time Imprecise Data Services. 38-49
  
• Chengdu Huang, Gang Zhou, Tarek F. Abdelzaher, Sang Hyuk Son, John A. Stankovic:
  Load Balancing in Bounded-Latency Content Distribution. 50-61
  
• Jeremy Manson, Jason Baker, Antonio Cunei, Suresh Jagannathan, Marek Prochazka, Bin Xin, Jan Vitek:
  Preemptible Atomic Regions for Real-Time Java. 62-71
  

Modeling

• William Hawkins, Tarek F. Abdelzaher:
  Towards Feasible Region Calculus: An End-to-End Schedulability Analysis of Real-Time Multistage Execution. 75-86
  
• Samarjit Chakraborty, Linh T. X. Phan, P. S. Thiagarajan:
  Event Count Automata: A State-Based Model for Stream Processing Systems. 87-98
  
• Slobodan Matic, Thomas A. Henzinger:
  Trading End-to-End Latency for Composability. 99-110
  
• Hakan Yazarel, Antoine Girard, George J. Pappas, Rajeev Alur:
  Quantifying the Gap between Embedded Control Models and Time-Triggered Implementations. 111-120
  

Multi-Resource Scheduling

• Prasad Calyam, Chang-Gun Lee, Phani Kumar Arava, Dima Krymskiy:
  Enhanced EDF Scheduling Algorithms for Orchestrating Network-Wide Active Measurements. 123-132
  
• Xiaorui Wang, Dong Jia, Chenyang Lu, Xenofon D. Koutsoukos:
  Decentralized Utilization Control in Distributed Real-Time Systems. 133-142
  
• Saowanee Saewong, Ragunathan Rajkumar:
  Multi-Granularity Resource Reservations. 143-153
  

Formal Methods and Specifications

• Dezhuang Zhang, Rance Cleaveland:
  Fast On-the-Fly Parametric Real-Time Model Checking. 157-166
  
• Zonghua Gu, Kang G. Shin:
  Synthesis of Real-Time Implementations from Component-Based Software Models. 167-176
  
• Osmar Marchi dos Santos, Andy J. Wellings:
  Cost Monitoring and Enforcement in the Real-Time Specification for Java - A Formal Evaluation. 177-186
  

Robustness

• Xiaorui Wang, Chenyang Lu, Xenofon D. Koutsoukos:
  Enhancing the Robustness of Distributed Real-Time Middleware via End-to-End Utilization Control. 189-199
  
• Aloysius K. Mok, Wing-Chi Poon:
  Non-Preemptive Robustness under Reduced System Load. 200-209
  
• Hui Ding, Lui Sha:
  Dependency Algebra: A Tool for Designing Robust Real-Time Systems. 210-220
  

Hardware/Software Boundary

• Vivy Suhendra, Tulika Mitra, Abhik Roychoudhury, Ting Chen:
  WCET Centric Data Allocation to Scratchpad Memory. 223-232
  
• Sibin Mohan, Frank Mueller, William Hawkins, Michael Root, Christopher A. Healy, David B. Whalley:
  ParaScale: Exploiting Parametric Timing Analysis for Real-Time Schedulers and Dynamic Voltage Scaling. 233-242
  

Sensor Networks I

• Min-Young Nam, Chang-Gun Lee, Kanghee Kim, Marco Caccamo:
  Time-Parameterized Sensing Task Model for Real-Time Tracking. 245-255
  
• Anand Eswaran, Anthony Rowe, Raj Rajkumar:
  Nano-RK: An Energy-Aware Resource-Centric RTOS for Sensor Networks. 256-265
  
• John Ostwald, Victor R. Lesser, Sherief Abdallah:
  Combinatorial Auction for Resource Allocation in a Distributed Sensor Network. 266-274
  

Sensor Networks II

• Vinayak Naik, Anish Arora, Prasun Sinha, Hongwei Zhang:
  Sprinkler: A Reliable and Energy Efficient Data Dissemination Service for Wireless Embedded Devices. 277-286
  
• Kyriakos Karenos, Vana Kalogeraki, Srikanth V. Krishnamurthy:
  A Rate Control Framework for Supporting Multiple Classes of Traffic in Sensor Networks. 287-297
  
• Jai-Jin Lim, Kang G. Shin:
  Gradient-Ascending Routing via Footprints in Wireless Sensor Networks. 298-307
  

Multiprocessor Scheduling

• Paolo Valente, Giuseppe Lipari:
  An Upper Bound to the Lateness of Soft Real-Time Tasks Scheduled by EDF on Multiprocessors. 311-320
  
• Sanjoy K. Baruah, Nathan Fisher:
  The Partitioned Multiprocessor Scheduling of Sporadic Task Systems. 321-329
  
• UmaMaheswari C. Devi, James H. Anderson:
  Tardiness Bounds under Global EDF Scheduling on a Multiprocessor. 330-341
  

Energy-Awareness

• Jian-Jia Chen, Tei-Wei Kuo:
  Voltage Scaling Scheduling for Periodic Real-Time Tasks in Reward Maximization. 345-355
  
• Linwei Niu, Gang Quan:
  A Hybrid Static/Dynamic DVS Scheduling for Real-Time Systems with (m, k)-Guarantee. 356-365
  
• Xiliang Zhong, Cheng-Zhong Xu:
  Energy-Aware Modeling and Scheduling of Real-Time Tasks for Dynamic Voltage Scaling. 366-375
  
• Tarek A. AlEnawy, Hakan Aydin:
  Energy-Constrained Scheduling for Weakly-Hard Real-Time Systems. 376-385
  

Scheduling

• Robert I. Davis, Alan Burns:
  Hierarchical Fixed Priority Pre-Emptive Scheduling. 389-398
  
• Enrico Bini, Marco Di Natale:
  Optimal Task Rate Selection in Fixed Priority Systems. 399-409
  
• Caixue Lin, Scott A. Brandt:
  Improving Soft Real-Time Performance through Better Slack Reclaiming. 410-421