31. RTSS 2010: San Diego, California, USA

Multiprocessors I

• Cong Liu, James H. Anderson:
  Supporting Soft Real-Time DAG-Based Systems on Multiprocessors with No Utilization Loss. 3-13
  
• Andrea Bastoni, Björn B. Brandenburg, James H. Anderson:
  An Empirical Comparison of Global, Partitioned, and Clustered Multiprocessor EDF Schedulers. 14-24
  
• Jinkyu Lee, Arvind Easwaran, Insik Shin:
  LLF Schedulability Analysis on Multiprocessor Platforms. 25-36
  
• Thomas Megel, Renaud Sirdey, Vincent David:
  Minimizing Task Preemptions and Migrations in Multiprocessor Optimal Real-Time Schedules. 37-46
  

Blocking, Locking, and Versioning

• Björn B. Brandenburg, James H. Anderson:
  Optimality Results for Multiprocessor Real-Time Locking. 49-60
  
• Moris Behnam, Thomas Nolte, Reinder J. Bril:
  Bounding the Number of Self-Blocking Occurrences of SIRAP. 61-72
  
• Alan Burns, Bev Littlewood:
  Reasoning About the Reliability of Multi-version, Diverse Real-Time Systems. 73-81
  

Cyber-Physical Systems

• Mikael Lindberg, Karl-Erik Årzén:
  Feedback Control of Cyber-physical Systems with Multi Resource Dependencies and Model Uncertainties. 85-94
  
• Soheil Samii, Petru Eles, Zebo Peng, Paulo Tabuada, Anton Cervin:
  Dynamic Scheduling and Control-Quality Optimization of Self-Triggered Control Applications. 95-104
  
• Yang Yang, Alessandro Pinto, Alberto L. Sangiovanni-Vincentelli, Qi Zhu:
  A Design Flow for Building Automation and Control Systems. 105-116
  
• Jinzhu Chen, Rui Tan, Guoliang Xing, Xiaorui Wang, Xing Fu:
  Fidelity-Aware Utilization Control for Cyber-Physical Surveillance Systems. 117-126
  

WSN Algorithms and Improvements

• Yang Peng, Zi Li, Wensheng Zhang, Daji Qiao:
  Prolonging Sensor Network Lifetime Through Wireless Charging. 129-139
  
• S. Gopalakrishnan:
  Optimal Schedules for Sensor Network Queries. 140-149
  
• Abusayeed Saifullah, You Xu, Chenyang Lu, Yixin Chen:
  Real-Time Scheduling for WirelessHART Networks. 150-159
  
• Sadaf Zahedi, Mani B. Srivastava, Chatschik Bisdikian, Lance M. Kaplan:
  Quality Tradeoffs in Object Tracking with Duty-Cycled Sensor Networks. 160-169
  

Uniprocessor Scheduling

• Sanjoy K. Baruah:
  The Non-cyclic Recurring Real-Time Task Model. 173-182
  
• Haohan Li, Sanjoy K. Baruah:
  An Algorithm for Scheduling Certifiable Mixed-Criticality Sporadic Task Systems. 183-192
  
• Terry Tidwell, Robert Glaubius, Christopher D. Gill, William D. Smart:
  Optimizing Expected Time Utility in Cyber-Physical Systems Schedulers. 193-201
  

WSN Systems Issues and Techniques

• Yuan He, Xingfa Shen, Yunhao Liu, Lufeng Mo, Guojun Dai:
  LISTEN: Non-interactive Localization in Wireless Camera Sensor Networks. 205-214
  
• Rui Tan, Guoliang Xing, Zhaohui Yuan, Xue Liu, Jianguo Yao:
  System-Level Calibration for Fusion-Based Wireless Sensor Networks. 215-224
  
• Marc Aoun, Peter van der Stok:
  Overloading an IEEE 802.15.4 Point-to-Point Connection with Real-Time Messages. 225-235
  

Multiprocessors II

• Björn Andersson, Gurulingesh Raravi, Konstantinos Bletsas:
  Assigning Real-Time Tasks on Heterogeneous Multiprocessors with Two Unrelated Types of Processors. 239-248
  
• Giuseppe Lipari, Enrico Bini:
  A Framework for Hierarchical Scheduling on Multiprocessors: From Application Requirements to Run-Time Allocation. 249-258
  
• Karthik Lakshmanan, Shinpei Kato, Ragunathan Rajkumar:
  Scheduling Parallel Real-Time Tasks on Multi-core Processors. 259-268
  

WSN Applications

• Rui Tan, Guoliang Xing, Jinzhu Chen, Wen-Zhan Song, Renjie Huang:
  Quality-Driven Volcanic Earthquake Detection Using Wireless Sensor Networks. 271-280
  
• Athanasios Bamis, Andreas Savvides:
  Lightweight Extraction of Frequent Spatio-Temporal Activities from GPS Traces. 281-291
  
• Liqun Li, Guoliang Xing, Qi Han, Limin Sun:
  Adaptive Voice Stream Multicast Over Low-Power Wireless Networks. 292-301
  

Data Flows, Networks, and Distributed Systems

• Md. Yusuf Sarwar Uddin, Fatemeh Saremi, Tarek F. Abdelzaher:
  End-to-End Delay Bound for Prioritized Data Flows in Disruption-Tolerant Networks. 305-316
  
• Praveen Jayachandran, Tarek F. Abdelzaher:
  On Structural Robustness of Distributed Real-Time Systems Towards Uncertainties in Service Times. 317-326
  
• Hyoseung Kim, Shinyoung Yi, Wonwoo Jung, Hojung Cha:
  A Decentralized Approach for Monitoring Timing Constraints of Event Flows. 327-336
  

Design and Verification I

• Mingsong Lv, Wang Yi, Nan Guan, Ge Yu:
  Combining Abstract Interpretation with Model Checking for Timing Analysis of Multicore Software. 339-349
  
• Yi Wang, Duo Liu, Zhiwei Qin, Zili Shao:
  Memory-Aware Optimal Scheduling with Communication Overhead Minimization for Streaming Applications on Chip Multiprocessors. 350-359
  
• Rüdiger Ehlers, Daniel Fass, Michael Gerke, Hans-Jörg Peter:
  Fully Symbolic Timed Model Checking Using Constraint Matrix Diagrams. 360-371
  

Design and Verification II

• Wilfried Steiner:
  An Evaluation of SMT-Based Schedule Synthesis for Time-Triggered Multi-hop Networks. 375-384
  
• Bogdan Tanasa, Unmesh D. Bordoloi, Petru Eles, Zebo Peng:
  Scheduling for Fault-Tolerant Communication on the Static Segment of FlexRay. 385-394
  
• Tyler Sondag, Hridesh Rajan:
  A More Precise Abstract Domain for Multi-level Caches for Tighter WCET Analysis. 395-404
  

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