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
• 
  Sathish 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 updated on Sat May 25 05:31:04 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page