14. RTAS 2008: St. Louis, Missouri, USA

Power Management

• Yan Gu, Samarjit Chakraborty:
  A Hybrid DVS Scheme for Interactive 3D Games. 3-12
  
• Jian-Jia Chen, Chuan-Yue Yang, Hsueh-I Lu, Tei-Wei Kuo:
  Approximation Algorithms for Multiprocessor Energy-Efficient Scheduling of Periodic Real-Time Tasks with Uncertain Task Execution Time. 13-23
  
• Saowanee Saewong, Raj Rajkumar:
  Coexistence of Real-Time and Interactive & Batch Tasks in DVS Systems. 24-33
  
• Vinay Devadas, Hakan Aydin:
  Real-Time Dynamic Power Management through Device Forbidden Regions. 34-44
  

Execution Time Analysis

• Trevor Harmon, Martin Schoeberl, Raimund Kirner, Raymond Klefstad:
  A Modular Worst-case Execution Time Analysis Tool for Java Processors. 47-57
  
• Harini Ramaprasad, Frank Mueller:
  Bounding Worst-Case Response Time for Tasks with Non-Preemptive Regions. 58-67
  
• Juan A. Colmenares, Chansik Im, K. H. (Kane) Kim, Raymond Klefstad, Chae-Deok Lim:
  Measurement Techniques in a Hybrid Approach for Deriving Tight Execution-time Bounds of Program Segments in Fully-featured Processors. 68-79
  
• Jun Yan, Wei Zhang:
  WCET Analysis for Multi-Core Processors with Shared L2 Instruction Caches. 80-89
  

Quality of Service

• Amogh Kavimandan, Aniruddha S. Gokhale:
  Automated Middleware QoS Configuration Techniques for Distributed Real-time and Embedded Systems. 93-102
  
• Nicola Manica, Luca Abeni, Luigi Palopoli:
  QoS Support in the X11 Window System. 103-112
  
• Jaiganesh Balasubramanian, Sumant Tambe, Balakrishnan Dasarathy, Shrirang Gadgil, Frederick Porter, Aniruddha S. Gokhale, Douglas C. Schmidt:
  NetQoPE: A Model-Driven Network QoS Provisioning Engine for Distributed Real-time and Embedded Systems. 113-122
  
• Krishnakumar Balasubramanian, Douglas C. Schmidt:
  Physical Assembly Mapper: A Model-Driven Optimization Tool for QoS-Enabled Component Middleware. 123-134
  

Model-Based Development

• Jianliang Yi, Honguk Woo, James C. Browne, Aloysius K. Mok, Fei Xie, Ella Atkins, Chan-Gun Lee:
  Incorporating Resource Safety Verification to Executable Model-based Development for Embedded Systems. 137-146
  
• Roberto Lublinerman, Stavros Tripakis:
  Modular Code Generation from Triggered and Timed Block Diagrams. 147-158
  
• Rajeev Alur, Gera Weiss:
  Regular Specifications of Resource Requirements for Embedded Control Software. 159-168
  
• Marco Di Natale, Guoqiang Wang, Alberto L. Sangiovanni-Vincentelli:
  Optimizing the Implementation of Communication in Synchronous Reactive Models. 169-179
  

Distributed Systems

• Maarten Wiggers, Marco Bekooij, Gerard J. M. Smit:
  Buffer Capacity Computation for Throughput Constrained Streaming Applications with Data-Dependent Inter-Task Communication. 183-194
  
• Karthik Lakshmanan, Raj Rajkumar:
  Distributed Resource Kernels: OS Support for End-To-End Resource Isolation. 195-204
  
• Thomas Huining Feng, Edward A. Lee:
  Real-Time Distributed Discrete-Event Execution with Fault Tolerance. 205-214
  
• Lei Ju, Abhik Roychoudhury, Samarjit Chakraborty:
  Schedulability Analysis of MSC-based System Models. 215-224
  

Scheduling

• Rodrigo M. Santos, Giuseppe Lipari, Enrico Bini:
  Efficient On-line Schedulability Test for Feedback Scheduling of Soft Real-Time Tasks under Fixed-Priority. 227-236
  
• Matthieu Lemerre, Vincent David, Christophe Aussaguès, Guy Vidal-Naquet:
  Equivalence between Schedule Representations: Theory and Applications. 237-247
  
• Sanjoy K. Baruah, Nathan Fisher:
  Hybrid-priority Scheduling of Resource-Sharing Sporadic Task Systems. 248-257
  
• Johan Kraft, Yue Lu, Christer Norström, Anders Wall:
  A Metaheuristic Approach for Best Effort Timing Analysis Targeting Complex Legacy Real-Time Systems. 258-269
  

Hardware-Software Co-Design

• Rodolfo Pellizzoni, Marco Caccamo:
  Hybrid Hardware-Software Architecture for Reconfigurable Real-Time Systems. 273-284
  
• Sibin Mohan, Frank Mueller:
  Hybrid Timing Analysis of Modern Processor Pipelines via Hardware/Software Interactions. 285-294
  
• Mingxuan Yuan, Xiuqiang He, Zonghua Gu:
  Hardware/Software Partitioning and Static Task Scheduling on Runtime Reconfigurable FPGAs using a SMT Solver. 295-304
  
• Jack Whitham, Neil C. Audsley:
  Using Trace Scratchpads to Reduce Execution Times in Predictable Real-Time Architectures. 305-316
  

Operating Systems

• Tim Kaldewey, Theodore M. Wong, Richard A. Golding, Anna Povzner, Scott A. Brandt, Carlos Maltzahn:
  Virtualizing Disk Performance. 319-330
  
• Mark J. Stanovich, Theodore P. Baker, An-I Andy Wang:
  Throttling On-Disk Schedulers to Meet Soft-Real-Time Requirements. 331-341
  
• Björn B. Brandenburg, John M. Calandrino, Aaron Block, Hennadiy Leontyev, James H. Anderson:
  Real-Time Synchronization on Multiprocessors: To Block or Not to Block, to Suspend or Spin? 342-353
  
• Zane D. Purvis, Alexander G. Dean:
  TOSSTI: Saving Time and Energy in TinyOS with Software Thread Integration. 354-363
  

Networking and Security

• Qixin Wang, Sathish Gopalakrishnan, Xue Liu, Lui Sha:
  A Switch Design for Real-Time Industrial Networks. 367-376
  
• Jianping Song, Song Han, Aloysius K. Mok, Deji Chen, Mike Lucas, Mark Nixon, Wally Pratt:
  WirelessHART: Applying Wireless Technology in Real-Time Industrial Process Control. 377-386
  
• Tommaso Cucinotta:
  Access Control for Adaptive Reservations on Multi-User Systems. 387-396
  

Last update Thu May 23 17:53:28 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page