6. RTAS 2000: Washington, DC, USA

Keynote Speech

• Janos Sztipanovits:
  Software for Embedded Systems: Opportunities and Challenges. 2-
  

Session I: Scheduling

• Tei-Wei Kuo, Yu-Hua Liu, Kwei-Jay Lin:
  Efficient On-Line Schedulability Tests for Priority Driven Real-Time Systems. 4-13
  
• Deji Chen, Aloysius K. Mok, Sanjoy K. Baruah:
  Scheduling Distributed Real-Time Tasks in the DGMF Model. 14-22
  
• Peter Bosch, Sape J. Mullender:
  Real-Time Disk Scheduling in a Mixed-Media File System. 23-
  

Session II: Real-Time System Design

• Melissa Moy, David B. Stewart:
  An Engineering Approach to Determining Sampling Rates for Switches and Sensors in Real-Time Systems. 34-45
  
• Taehyoun Kim, Naehyuck Chang, Heonshik Shin:
  Bounding Worst Case Garbage Collection Time for Embedded Real-Time Systems. 46-55
  
• Mohamed F. Younis, Mohamed Aboutabl, Daeyoung Kim:
  An Approach for Supporting Temporal Partitioning and Software Reuse in Integrated Modular Avionics. 56-
  

Session III: QoS Support in Operating Systems

• Dionisio de Niz, Ragunathan Rajkumar:
  Chocolate: A Reservation-Based Real-Time Java Environment on Windows/NT. 266-
  
• Kevin M. Obenland, L. Rosen:
  The Performance Trade-offs of Implementing a Large Scale Real-Time Application Using the Windows NT Operating System. 68-77
  
• Sean B. House, Douglas Niehaus:
  KURT-Linux Support for Synchronous Fine-Grain Distributed Computations. 78-
  

Session IV: Network QoS

• Seok-Kyu Kweon, Kang G. Shin, Gary Workman:
  Achieving Real-Time Communication over Ethernet with Adaptive Traffic Smoothing. 90-110
  
• Jaehee Yoon, Azer Bestavros, Ibrahim Matta:
  SomeCast: A Paradigm for Real-Time Adaptive Reliable Multicast. 101-110
  
• Ethendranath Bommaiah, Katherine Guo, Markus Hofmann, Sanjoy Paul:
  Design and Implementation of a Caching System for Streaming Media over the Internet. 111-
  

Session V: System Intrusion Detection and Verification

• Victor C. S. Lee, John A. Stankovic, Sang Hyuk Son:
  Intrusion Detection in Real-Time Database Systems via Time Signatures. 124-133
  
• Steve Vestal:
  Formal Verification of the MetaH Executive Using Linear Hybrid Automata. 134-144
  
• Yun-Hong Lee, Albert Mo Kim Cheng:
  Dynamic Optimization for Real-Time Rule-Based Systems Using Predicate Dependency. 145-
  

Session VI: Scheduling II

• C. Mani Krishna, Yann-Hang Lee:
  Voltage-Clock-Scaling Adaptive Scheduling Techniques for Low Power in Hard Real-Time Systems. 156-165
  
• Giuseppe Lipari, Sanjoy K. Baruah:
  Efficient Scheduling of Real-Time Multi-Task Applications in Dynamic Systems. 166-
  

Session VII: CORBA

• Kimoon Kim, Gwangil Jeon, Seongsoo Hong, Tae-Hyung Kim, Sunil Kim:
  Integrating Subscription-Based and Connection-Oriented Communications into the Embedded CORBA for the CAN Bus. 178-187
  
• Carlos O'Ryan, Douglas C. Schmidt, Fred Kuhns, Marina Spivak, Jeff Parsons, Irfan Pyarali, David L. Levine:
  Evaluating Policies and Mechanisms for Supporting Embedded, Real-Time Applications with CORBA 3.0. 188-197
  
• Andreas Polze, Janek Schwarz, Kristopher Wehner, Lui Sha:
  Integration of CORBA Services with a Dynamic Real-Time Architecture. 198-
  

Session VIII: QoS Management

• Tarek F. Abdelzaher:
  An Automated Profiling Subsystem for QoS-Aware Services. 208-217
  
• Uwe Dannowski, Hermann Härtig:
  Policing Offloaded. 218-227
  
• Aaron Striegel, G. Manimaran:
  Dynamic Class-Based Queue Management for Scalable Media Servers. 228-236
  
• Cuneyt Akinlar, Sarit Mukherjee:
  Bandwidth Guarantee in a Distributed Multimedia File System Using Network Attached Autonomous Disks. 237-
  

Session IX: System Modeling and Analysis

• András Rácz:
  Cell Loss Analysis for Some Alternative Priority Queues. 248-257
  
• Sasikumar Punnekkat, Hans Hansson, Christer Norström:
  Response Time Analysis under Errors for CAN. 258-
  

Last update Sat May 18 19:40:20 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page