30. RTSS 2009: Washington, DC, USA

Cyber-Physical Systems & Power Management

• Adolfo Anta Martinez, Paulo Tabuada:
  On the Benefits of Relaxing the Periodicity Assumption for Networked Control Systems over CAN. 3-12
  
• Hahnsang Kim, Kang G. Shin:
  Scheduling of Battery Charge, Discharge, and Rest. 13-22
  
• Kai Huang, Luca Santinelli, Jian-Jia Chen, Lothar Thiele, Giorgio C. Buttazzo:
  Adaptive Dynamic Power Management for Hard Real-Time Systems. 23-32
  
• Sibin Mohan, Min-Young Nam, Rodolfo Pellizzoni, Lui Sha, Richard M. Bradford, Shana Fliginger:
  Rapid Early-Phase Virtual Integration. 33-44
  

Execution Time Analysis

• Sudipta Chattopadhyay, Abhik Roychoudhury:
  Unified Cache Modeling for WCET Analysis and Layout Optimizations. 47-56
  
• Yan Li, Vivy Suhendra, Yun Liang, Tulika Mitra, Abhik Roychoudhury:
  Timing Analysis of Concurrent Programs Running on Shared Cache Multi-Cores. 57-67
  
• Damien Hardy, Thomas Piquet, Isabelle Puaut:
  Using Bypass to Tighten WCET Estimates for Multi-Core Processors with Shared Instruction Caches. 68-77
  

Memory & Data Management

• Tomas Kalibera, Filip Pizlo, Antony L. Hosking, Jan Vitek:
  Scheduling Hard Real-Time Garbage Collection. 81-92
  
• Duhee Lee, Chang-Gun Lee, Kanghee Kim:
  A Generic Framework for Soft Real-Time Program Executions on NAND Flash Memory in Multi-Tasking Embedded Systems. 93-104
  
• Yan Zhou, Kyoung-Don Kang:
  Integrating Proactive and Reactive Approaches for Robust Real-Time Data Services. 105-114
  
• Song Han, Deji Chen, Ming Xiong, Aloysius K. Mok:
  Online Scheduling Switch for Maintaining Data Freshness in Flexible Real-Time Systems. 115-124
  

Delays in Wireless Sensor Networks

• Yu Gu, Tian He, Mingen Lin, Jinhui Xu:
  Spatiotemporal Delay Control for Low-Duty-Cycle Sensor Networks. 127-137
  
• Yunbo Wang, Mehmet C. Vuran, Steve Goddard:
  Cross-Layer Analysis of the End-to-End Delay Distribution in Wireless Sensor Networks. 138-147
  
• Qiao Xiang, Jinhong Xu, Xiaohui Liu, Hongwei Zhang, Loren J. Rittle:
  When In-Network Processing Meets Time: Complexity and Effects of Joint Optimization in Wireless Sensor Networks. 148-157
  

Design & Verification I

• Abdullah Al-Nayeem, Mu Sun, Xiaokang Qiu, Lui Sha, Steven P. Miller, Darren D. Cofer:
  A Formal Architecture Pattern for Real-Time Distributed Systems. 161-170
  
• Thomas A. Henzinger, Christoph M. Kirsch, Eduardo R. B. Marques, Ana Sokolova:
  Distributed, Modular HTL. 171-180
  
• Pavithra Prabhakar, Vladimeros Vladimerou, Mahesh Viswanathan, Geir E. Dullerud:
  Verifying Tolerant Systems Using Polynomial Approximations. 181-190
  

Real-Time Operating Systems

• Stanley Bak, Emiliano Betti, Rodolfo Pellizzoni, Marco Caccamo, Lui Sha:
  Real-Time Control of I/O COTS Peripherals for Embedded Systems. 193-203
  
• Wanja Hofer, Daniel Lohmann, Fabian Scheler, Wolfgang Schröder-Preikschat:
  Sloth: Threads as Interrupts. 204-213
  
• Björn B. Brandenburg, James H. Anderson:
  On the Implementation of Global Real-Time Schedulers. 214-224
  

Wireless Sensor Networks: Systems and Detection

• Shan Lin, Gang Zhou, Kamin Whitehouse, Yafeng Wu, John A. Stankovic, Tian He:
  Towards Stable Network Performance in Wireless Sensor Networks. 227-237
  
• Hossein Ahmadi, Tarek F. Abdelzaher:
  An Adaptive-Reliability Cyber-Physical Transport Protocol for Spatio-temporal Data. 238-247
  
• Guoliang Xing, Mo Sha, Jun Huang, Gang Zhou, Xiaorui Wang, Shucheng Liu:
  Multi-Channel Interference Measurement and Modeling in Low-Power Wireless Networks. 248-257
  

Scheduling Analysis

• Jian-Jia Chen, Nikolay Stoimenov, Lothar Thiele:
  Feasibility Analysis of On-Line DVS Algorithms for Scheduling Arbitrary Event Streams. 261-270
  
• Linh T. X. Phan, Samarjit Chakraborty, Insup Lee:
  Timing Analysis of Mixed Time/Event-Triggered Multi-Mode Systems. 271-280
  
• Praveen Jayachandran, Tarek F. Abdelzaher:
  Flow-Based Mode Changes: Towards Virtual Uniprocessor Models for Efficient Reduction-Based Schedulability Analysis of Distributed Systems. 281-290
  
• Dionisio de Niz, Karthik Lakshmanan, Ragunathan Rajkumar:
  On the Scheduling of Mixed-Criticality Real-Time Task Sets. 291-300
  

Wireless Sensor Network Protocols

• Lili Wang, Yong Yang, Dong Kun Noh, Hieu Khac Le, Jie Liu, Tarek F. Abdelzaher, Michael Ward:
  AdaptSens: An Adaptive Data Collection and Storage Service for Solar-Powered Sensor Networks. 303-312
  
• Zhigang Chen, Kang G. Shin:
  Post-Deployment Performance Debugging in Wireless Sensor Networks. 313-322
  
• Rui Tan, Guoliang Xing, Benyuan Liu, Jianping Wang:
  Impact of Data Fusion on Real-Time Detection in Sensor Networks. 323-332
  
• James E. Weimer, Bruno Sinopoli, Bruce H. Krogh:
  Multiple Source Detection and Localization in Advection-Diffusion Processes Using Wireless Sensor Networks. 333-342
  

Design & Verification II

• Georgios E. Fainekos, Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta:
  Robustness of Model-Based Simulations. 345-354
  
• Rupak Majumdar, Indranil Saha:
  Symbolic Robustness Analysis. 355-363
  
• Hans-Jörg Peter, Robert Mattmüller:
  Component-Based Abstraction Refinement for Timed Controller Synthesis. 364-374
  

Multiprocessor Scheduling I

• Arvind Easwaran, Björn Andersson:
  Resource Sharing in Global Fixed-Priority Preemptive Multiprocessor Scheduling. 377-386
  
• Nan Guan, Martin Stigge, Wang Yi, Ge Yu:
  New Response Time Bounds for Fixed Priority Multiprocessor Scheduling. 387-397
  
• Robert I. Davis, Alan Burns:
  Priority Assignment for Global Fixed Priority Pre-Emptive Scheduling in Multiprocessor Real-Time Systems. 398-409
  
• Hennadiy Leontyev, Samarjit Chakraborty, James H. Anderson:
  Multiprocessor Extensions to Real-Time Calculus. 410-421
  

Multiprocessor Scheduling II

• Cong Liu, James H. Anderson:
  Task Scheduling with Self-Suspensions in Soft Real-Time Multiprocessor Systems. 425-436
  
• Enrico Bini, Marko Bertogna, Sanjoy K. Baruah:
  Virtual Multiprocessor Platforms: Specification and Use. 437-446
  
• Konstantinos Bletsas, Björn Andersson:
  Preemption-Light Multiprocessor Scheduling of Sporadic Tasks with High Utilisation Bound. 447-456
  

Multiprocessor Scheduling III

• Shinpei Kato, Yutaka Ishikawa:
  Gang EDF Scheduling of Parallel Task Systems. 459-468
  
• Karthik Lakshmanan, Dionisio de Niz, Ragunathan Rajkumar:
  Coordinated Task Scheduling, Allocation and Synchronization on Multiprocessors. 469-478
  
• Pi-Cheng Hsiu, Der-Nien Lee, Tei-Wei Kuo:
  Multi-layer Bus Optimization for Real-Time Task Scheduling with Chain-Based Precedence Constraints. 479-488
  

Last update Fri May 25 08:34:45 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page