20. RTSS 1999: Phoenix, AZ, USA

Keynote Speeches

• David L. Tennenhouse:
  It's Time to Get Physical. 3
  
• James F. Kurose:
  Scalable Network Support for Multimedia, Real-Time Communication. 4
  
• C. L. Liu:
  From Time Sharing to Real Time-Sharing of a Really Good Time in the Last 40 Years. 5
  

Timing Issues

• Thomas Lundqvist, Per Stenström:
  Timing Anomalies in Dynamically Scheduled Microprocessors. 12-21
  
• Sung-Kwan Kim, Sang Lyul Min, Rhan Ha:
  Analysis of the Impacts of Overestimation Sources on the Accuracy of Worst Case Timing Analysis. 22-31
  
• Ming Xiong, Krithi Ramamritham:
  Deriving Deadlines and Periods for Real-Time Update Transactions. 32-43
  
• Tarek F. Abdelzaher, Kang G. Shin:
  QoS Provisioning with qContracts in Web and Multimedia Servers. 44-53
  

Scheduling Algorithms

• Chenyang Lu, John A. Stankovic, Gang Tao, Sang Hyuk Son:
  Design and Evaluation of a Feedback Control EDF Scheduling Algorithm. 56-67
  
• Guillem Bernat, Alan Burns:
  New Results on Fixed Priority Aperiodic Servers. 68-78
  
• Hakan Aydin, Rami G. Melhem, Daniel Mossé, Pedro Mejía-Alvarez:
  Optimal Reward-Based Scheduling of Periodic Real-Time Tasks. 79-89
  
• Saowanee Saewong, Ragunathan Rajkumar:
  Cooperative Scheduling of Multiple Resources. 90-101
  

Specification and Verification

• Pedro R. D'Argenio, Joost-Pieter Katoen, Ed Brinksma:
  Specification and Analysis of Soft Real-Time Systems: Quantity and Quality. 104-114
  
• Carolos Livadas, John Lygeros, Nancy A. Lynch:
  High-Level Modeling and Analysis of TCAS. 115-125
  
• Purnendu Sinha, Neeraj Suri:
  On the Use of Formal Techniques for Analyzing Dependable Real-Time Protocols. 126-135
  
• Deji Chen, Aloysius K. Mok:
  SRDE-Application of Data Similarity to Process Control. 136-145
  

Task Coordinations (Poster)

• Michael E. Thomadakis, Jyh-Charn Liu:
  On the Efficient Scheduling of Non-Periodic Tasks in Hard Real-Time Systems. 148-151
  
• Christophe Lizzi:
  Enabling Deadline Scheduling for Java Real-Time Computing. 152-153
  
• Karine Altisen, Gregor Gößler, Amir Pnueli, Joseph Sifakis, Stavros Tripakis, Sergio Yovine:
  A Framework for Scheduler Synthesis. 154-163
  
• Ramesh Chandra, Lui Sha:
  On Scheduling Tasks in Reliable Real-Time Control Systems. 164-165
  

Real-Time Communication

• Hung-Ying Tyan, Chao-Ju Hou, Bin Wang:
  A Framework for Provisioning of Temporal QoS in Core-Based Multicast Routing. 168-178
  
• Seok-Kyu Kweon, Kang G. Shin:
  Transport of MPEG Video with Statistical Loss and Delay Guarantees in ATM Networks Using a Histogram-Based Source Model. 179-189
  
• Shibin Song, Joseph Kee-Yin Ng, Bihai Tang:
  Efficient Delay Computation Methods for an ATM Network with Real-Time Video Traffic. 190-199
  
• James H. Anderson, Sanjoy K. Baruah, Kevin Jeffay:
  Parallel Switching in Connection-Oriented Networks. 200-209
  

New Applications (Poster)

• Georg F. Mauer, Chanaka Fernando:
  Remote Controlled Mobile Imaging in a High Temperature Tunnel Environment. 212-213
  
• Christiane Iaccarino, Meridith A. Sigel, Ralph E. Taylor Jr., David Perozzi, Aristides Staikos, Patricia Morreale:
  HoneyWEB: Embedded Web-based Control Applications. 214-217
  
• Brett L. Chappell, David T. Marlow, Philip M. Irey IV, Karen O'Donoghue:
  IP Security Impact on System Performance in a Distributed Real-Time Environment. 218-219
  
• Manoj Apte, Srigurunath Chakravarthi, Anand Pillai, Anthony Skjellum, Xin Yan Zan:
  Time Based Linux for Real-Time NOWs and MPI/RT. 220-222
  

System Development

• Daniela Rosu, Karsten Schwan:
  FARACost: An Adaptation Cost Model Aware of Pending Constraints. 224-233
  
• Alexander G. Dean, John Paul Shen:
  System-Level Issues for Software Thread Integration: Guest Triggering and Host Selection. 234
  
• Yu-Chung Wang, Kwei-Jay Lin:
  Implementing a General Real-Time Scheduling Framework in the RED-Linux Real-Time Kernel. 246-255
  
• Tei-Wei Kuo, Ching-Hui Li:
  A Fixed-Priority-Driven Open Environment for Real-Time Applications. 256-267
  

Design and Implementations (Poster)

• Joachim Wegener, Harmen Sthamer, Hartmut Pohlheim:
  Testing the Temporal Behavior of Real-Time Tasks Using Extended Evolutionary Algorithms. 270-271
  
• Alia Atlas, Azer Bestavros:
  Design and Implementation of Statistical Rate Monotonic Scheduling in KURT Linux. 272-276
  
• Fridtjof Siebert:
  Real-Time Garbage Collection in Multi-Threaded Systems on a Single Processor. 277-278
  
• Sean B. House, Shyam Murthy, Douglas Niehaus:
  Proportional Time Simulation of ATM Networks. 279-282
  

Resource Management

• Marco Caccamo, Giuseppe Lipari, Giorgio C. Buttazzo:
  Sharing Resources among Periodic and Aperiodic Tasks with Dynamic Deadlines. 284-293
  
• Mark Moir, Srikanth Ramamurthy:
  Pfair Scheduling of Fixed and Migrating Periodic Tasks on Multiple Resources. 294-303
  
• Kevin Jeffay, Steve Goddard:
  A Theory of Rate-Based Execution. 304-314
  
• Chen Lee, John P. Lehoczky, Daniel P. Siewiorek, Ragunathan Rajkumar, Jeffery P. Hansen:
  A Scalable Solution to the Multi-Resource QoS Problem. 315-326
  

Distributed Systems

• José C. Palencia Gutiérrez, Michael González Harbour:
  Exploiting Precedence Relations in the Schedulability Analysis of Distributed Real-Time Systems. 328-339
  
• Frank Müller:
  Priority Inheritance and Ceilings for Distributed Mutual Exclusion. 340-349
  
• Lynn Y. Zhang, Jane W.-S. Liu, Zhong Deng, Ian R. Philp:
  Hierarchical Scheduling of Periodic Messages in Open System. 350-359
  
• Henrik Thane, Hans Hansson:
  Towards Systematic Testing of Distributed Real-Time Systems. 360-369