15. RTSS 1994: San Juan, Puerto Rico

Scheduling and Resource Allocation I

• Marco Spuri, Giorgio C. Buttazzo:
  Efficient Aperiodic Service Under Earliest Deadline Scheduling. 2-11
  
• Neil C. Audsley, Robert I. Davis, Alan Burns:
  Mechanisms for Enhancing the Flexibility and Utility of Hard Real-Time Systems. 12-21
  
• Sandra R. Thuel, John P. Lehoczky:
  Algorithms for Scheduling Hard Aperiodic Tasks in Fixed-Priority Systems Using Slack Stealing. 22-33
  

Databases and Resource Management

• Azer Bestavros, Spyridon Braoudakis:
  Timeliness via Speculation for Real-Time Databases. 36-45
  
• Jiandong Huang, Ding-Zhu Du:
  Resource Management for Continuous Multimedia Database Applications. 46-54
  

Communications I

• Dan Picker, Ronald D. Fellman:
  Scaling and Performance of a Priority Packet Queue for Real-Time Applications. 56-62
  
• Kenji Toda, Kenji Nishida, Eiichi Takahashi, Yoshinori Yamaguchi:
  A Priority Forwarding Router Chip for Real-Time Interconnection Networks. 63-73
  
• Kai Chiu Kwan, Parameswaran Ramanathan:
  Multiple Route Real-Time Channels in Packet-Switched Networks. 74-83
  

Compilers

• Rajiv Gupta, Madalene Spezialetti:
  Busy-Idle Profiles and Compact Task Graphs: Compile-Time Support for Interleaved and Overlapped Scheduling of Real- Time Tasks. 86-96
  
• Sung-Soo Lim, Young Hyun Bae, Gyu Tae Jang, Byung-Do Rhee, Sang Lyul Min, Chang Yun Park, Heonshik Shin, Kunsoo Park, Chong-Sang Kim:
  An Accurate Worst Case Timing Analysis Technique for RISC Processors. 97-108
  
• Mohamed F. Younis, Thomas J. Marlowe, Alexander D. Stoyenko:
  Compiler Transformations for Speculative Execution in a Real-Time System. 109-117
  

Formal Methods

• Constance L. Heitmeyer, Nancy A. Lynch:
  The Generalized Railroad Crossing: A Case Study in Formal Verification of Real-Time Systems. 120-131
  
• James C. Corbett:
  Modeling and Analysis of Real-Time Ada Tasking Programs. 132-141
  
• Rwo-Hsi Wang, Aloysius K. Mok:
  Response-Time Bounds of Rule-Based Programs Under Rule Priority Structure. 142-151
  

Experimental Systems and Applications

• Hermann Kopetz:
  A Solution to an Automotive Control System Benchmark. 154-158
  
• David del Val, Ángel Viña:
  Applying RMA to Improve a High-Speed, Real Time Data Acquisition System. 159-164
  
• Todd Carpenter, Kevin Driscoll, Ken Hoyme, Jim Carciofini:
  ARINC 659 Scheduling: Problem Definition. 165-169
  

Tools

• Robert D. Arnold, Frank Mueller, David B. Whalley, Marion G. Harmon:
  Bounding Worst-Case Instruction Cache Performance. 172-181
  
• Jyh-Charn Liu, Hung-ju Lee:
  Deterministic Upperbounds of the Worst-Case Execution Times of Cached Programs. 182-191
  
• Richard Gerber, Seongsoo Hong, Manas Saksena:
  Guaranteeing End-to-End Timing Constraints by Calibrating Intermediate Processes. 192-203
  

Scheduling and Resource Allocation II

• Kai Wang, Tein-Hsiang Lin:
  Scheduling Adaptive Tasks in Real-Time Systems. 206-215
  
• Marco Di Natale, John A. Stankovic:
  Dynamic End-to-End Guarantees in Distributed Real Time Systems. 216-227
  
• Sanjoy K. Baruah, Jayant R. Haritsa, Nitin Sharma:
  On-Line Scheduling to Maximize Task Completions. 228-236
  

Communications II

• Louise E. Moser, P. M. Melliar-Smith:
  Probabilistic Bounds on Message Delivery for the Totem Single-Ring Protocol. 238-248
  
• Rosa M. L. R. Carmo, Francisco Vasques, Guy Juanole:
  Real-Time Communication Services in a DQDB Network. 249-258
  
• Ken Tindell, H. Hanssmon, Andy J. Wellings:
  Analysing Real-Time Communications: Controller Area Network (CAN). 259-263
  

Formal Approaches and Language

• Sérgio Vale Aguiar Campos, Edmund M. Clarke, Wilfredo R. Marrero, Marius Minea, Hiromi Hiraishi:
  Computing Quantitative Characteristics of Finite-State Real-Time Systems. 266-270
  
• Wael M. Elseaidy, Rance Cleaveland, John W. Baugh Jr.:
  Verifying an Intelligent Structural Control System: A Case Study. 271-275
  
• Paul J. Fortier, Victor Fay Wolfe, Janet J. Prichard:
  Flexible Real-Time SQL Transactions. 276-280
  

Operating Systems and Communications

• Chitra Venkatramani, Tzi-cker Chiueh:
  Supporting Real-Time Traffic on Ethernet. 282-286
  
• Daniel I. Katcher, Kevin A. Kettler, Jay K. Strosnider:
  Modeling DSP Operating Systems for Multimedia Applications. 287-291
  
• Brad Adelberg, Hector Garcia-Molina, Ben Kao:
  Emulating Soft Real-Time Scheduling Using Traditional Operating System Schedulers. 292-298
  

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