13. RTSS 1992: Phoenix, Arizona, USA

• Nancy A. Lynch, Nir Shavit:
  Timing-Based Mutual Exclusion. 2-11
  
• Rajeev Alur, Gadi Taubenfeld:
  Results about Fast Mutual Exclusion. 12-22
  
• HweeHwa Pang, Miron Livny, Michael J. Carey:
  Transaction Scheduling in Multiclass Real-Time Database Systems. 23-34
  
• Tei-Wei Kuo, Aloysius K. Mok:
  Application Semantics and Concurrency Control of Real-Time Data-Intensive Applications. 35-45
  
• Hongyi Zhou, Karsten Schwan, Ian F. Akyildiz:
  Performance Effects of Information Sharing in a Distributed Multiprocessor Real-Time Scheduler. 46-56
  
• Sitaram C. V. Raju, Ragunathan Rajkumar, Farnam Jahanian:
  Monitoring Timing Constraints in Distributed Real-Time Systems. 57-67
  
• Marion G. Harmon, Theodore P. Baker, David B. Whalley:
  A Retargetable Technique for Predicting Execution Time. 68-77
  
• Clifford W. Mercer, Hideyuki Tokuda:
  Preemptibility in Real-Time Operating Systems. 78-88
  
• Kevin Jeffay:
  Scheduling Sporadic Tasks with Shared Resources in Hard-Real-Time Systems. 89-99
  
• Ken Tindell, Alan Burns, Andy J. Wellings:
  Mode Changes In Priority Pre-Emptively Scheduled Systems. 100-109
  
• John P. Lehoczky, S. Ramos-Thuel:
  An optimal algorithm for scheduling soft-aperiodic tasks in fixed-priority preemptive systems. 110-123
  
• W. Zhu, Samuel T. Chanson:
  Adaptive threshold-based scheduling for real-time and non-real-time traffic. 125-135
  
• Fuxing Wang, Krithi Ramamritham, John A. Stankovic:
  Bounds on the performance of heuristic algorithms for multiprocessor scheduling of hard real-time tasks. 136-145
  
• Chao-Ju Hou, Kang G. Shin:
  Allocation of periodic task modules with precedence and deadline constraints in distributed real-time systems. 146-155
  
• Rajeev Alur, Costas Courcoubetis, David L. Dill, Nicolas Halbwachs, Howard Wong-Toi:
  An implementation of three algorithms for timing verification based on automata emptiness. 157-166
  
• A. Udaya Shankar:
  A simple assertional proof system for real-time systems. 167-176
  
• Ping Zhou, Jozef Hooman:
  A proof theory for asynchronously communicating real-time systems. 177-186
  
• Lui Sha, Shirish S. Sathaye, Jay K. Strosnider:
  Scheduling real-time communication on dual-link networks. 188-197
  
• Biao Chen, Gopal Agrawal, Wei Zhao:
  Optimal synchronous capacity allocation for hard real-time communications with the timed token protocol. 198-207
  
• Kenji Toda, Kenji Nishida, Shuichi Sakai, Toshio Shimada:
  A priority forwarding scheme for real-time multistage interconnection networks. 208-217
  
• C. C. Bakshi, L. Bela:
  A virtual memory system for real-time applications. 219-222
  
• Hermann Kopetz, Gerhard Fohler, Günter Grünsteidl, Heinz Kantz, G. Pospischil, Peter P. Puschner, J. Reisinger, R. Schlatterbeck, Werner Schütz, Alexander Vrchoticky, R. Zainlinger:
  The programmer's view of MARS. 223-226
  
• R. M. Tol:
  A small real-time kernel proven correct. 227-230
  
• Christian Koza, C. Reiser:
  Real-time process server for the micro-kernel based Alcatel Elin operating system testbed (AEOS). 231-234
  
• Stephen Ponzio:
  Bounds on the time to detect failures using bounded-capacity message links. 236-245
  
• Marios Mavronicolas:
  An upper and a lower bound for tick synchronization. 246-255
  
• G. Hoffmann, Howard Wong-Toi:
  The input-output control of real-time discrete event systems. 256-265
  
• Kevin Driscoll, Ken Hoyme:
  The Airplane Information Management System: an integrated real-time flight-deck control system. 267-270
  
• A. Syed, Hoda A. ElMaraghy, N. Chagneux:
  Real-time monitoring and diagnosing of robotic assembly with self-organizing neural maps. 271-274
  
• Ben L. Di Vito, R. W. Butler:
  Provable transient recovery for frame-based, fault-tolerant computing systems. 275-278
  
• Wei Kuan Shih, Jane W.-S. Liu:
  On-line scheduling of imprecise computations to minimize error. 280-289
  
• Gilad Koren, Dennis Shasha:
  D^over; an optimal on-line scheduling algorithm for overloaded real-time systems. 290-299
  
• Ching-Chih Han, Kwei-Jay Lin:
  Scheduling distance-constrained real-time tasks. 300-308