4. RTAS 1998: Denver, Colorado, USA

Scheduling

• Sanjoy K. Baruah:
  Overload Tolerance for Single-Processor Workloads. 2-11
  
• Christopher A. Healy, Mikael Sjödin, Viresh Rustagi, David B. Whalley:
  Bounding Loop Iterations for Timing Analysis. 12-21
  
• Lei Zhou, Kang G. Shin, Elke A. Rundensteiner:
  Rate-Monotonic Scheduling in the Presence of Timing Unpredictability. 22-
  

Communication

• Prashant Pradhan, Tzi-cker Chiueh:
  Real-Time Performance Guarantees over Wired/Wireless LANs. 29-38
  
• Tzi-cker Chiueh, Anindya Neogi, Paul A. Stirpe:
  Performance Analysis of an RSVP-Capable Router. 39-48
  
• Michael J. Markowski, Adarshpal S. Sethi:
  Fully Distributed Wireless MAC Transmission of Real-Time Data. 49-
  

Methodologies and Architectures

• Steve Goddard, Kevin Jeffay:
  Managing Memory Requirements in the Synthesis of Real-Time Systems from Processing Graphs. 59-70
  
• John A. Stankovic, Sang Hyuk Son, C. Nguyen:
  The Cogency Monitor: An External Interface Architecture for a Distributed Object-Oriented Real-Time Database System. 71-78
  
• Daniela Rosu, Karsten Schwan, Sudhakar Yalamanchili:
  FARA - A Framework for Adaptive Resource Allocation in Complex Real-Time Systems. 79-84
  
• Kevin Bradley, Jay K. Strosnider:
  An Application of Complex Task Modeling. 85-
  

Operating Systems and Middleware

• Douglas C. Schmidt, Sumedh Mungee, Sergio Flores-Gaitan, Aniruddha S. Gokhale:
  Alleviating Priority Inversion and Non-Determinism in Real-Time CORBA ORB Core Architectures. 92-101
  
• Krithi Ramamritham, Chia Shen, Oscar González, Subhabrata Sen, S. Shirgurkar:
  Using Windows NT for Real-Time Applications: Experimental Observations and Recommendations. 102-111
  
• B. Srinivasan, S. Pather, R. Hill, F. Ansari, Douglas Niehaus:
  A Firm Real-Time System Implementation using Commercial Off-the-Shelf Hardware and Free Software. 112-
  

Quality of Service

• Tarek F. Abdelzaher, Kang G. Shin:
  End-Host Architecture for QoS-Adaptive Communication. 121-130
  
• Libin Dong, Rami G. Melhem, Daniel Mossé:
  Time Slot Allocation for Real-Time Messages with Negotiable Distance Constrains. 131-136
  
• Ibrahim Matta, Mohamed Eltoweissy:
  A Scalable QoS Routing Architecture for Real-Time CSCW Applications. 137-
  

Session VI: Specification and Verification

• Frank Mueller, Joachim Wegener:
  A Comparison of Static Analysis and Evolutionary Testing for the Verification of Timing Constraints. 144-154
  
• J. Lee, K. Kang, G. Kim, H. Kim:
  Form, the Missing Piece in Effective Real-Time System Specification and Simulation. 155-
  
• Stavros Tripakis, Sergio Yovine:
  Verification of the Fast Reservation Protocol with Delayed Transmission using the Tool Kronos. 165-
  
• David Kendall, Steven Bradley, William Henderson, Adrian Robson:
  bCANDLE: Formal Modelling and Analysis of CAN Control Systems. 171-
  

Session VII: Database and Information Systems

• Vinay Kanitkar, Alex Delis:
  Real-Time Client-Server Push Strategies: Specification and Evaluation. 179-
  
• C. Lai:
  Optimistic Similarity-Based Real-Time Concurrency Control. 189-
  
• Guangtian Liu, Aloysius K. Mok, Prabhudev Konana:
  A Unified Approach for Specifying Timing Constraints and Composite Events in Active Real-Time Database Systems. 199-
  

Session VIII: Experiences and Case Studies

• Kotaro Shimamura, Yuichiro Morita, Yoshitaka Takahashi, Takashi Hotta, Shigeta Ueda, Mikiya Nohara, Mitsuyasu Kido, Seji Tanaka, Kazuhiro Imaie, Koji Sakamoto, Tatsuhito Nakajima:
  A Triple Redundant Controller which Adopts the Time-Sharing Fault Recovery Method and its Application to a Power Converter Controller. 210-
  
• Oleg Sokolsky, Mohamed F. Younis, Insup Lee, Hee-Hwan Kwak, Jeffrey X. Zhou:
  Verification of the Redundancy Management System for Space Launch Vehicle: A Case Study. 220-229
  
• Alan Ptak, K. Foundy:
  Real-Time Spacecraft Simulation and Hardware-in-the-Loop Testing. 230-236
  

Last update Fri May 24 15:23:48 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page