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

last updated on Sat May 25 05:31:01 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page