| 1990 | A Calculus for Communicating Systems with Time and Probabitilies. Hans Hansson, Bengt Jonsson |
| 1990 | A Proof System for Communicating Shared Resources. Richard Gerber, Insup Lee |
| 1990 | A Robust Group Membership Algorithm for Distributed Real-Time Systems. Paul D. Ezhilchelvan, Rogério de Lemos |
| 1990 | A Stack-Based Resource Allocation Policy for Realtime Processes. Theodore P. Baker |
| 1990 | A Tagged Memory Technique for Recovery from Transient Errors in Fault Tolerant Systems. Stuart J. Adams, Terry Sims |
| 1990 | Agreeing on a Leader in Real-Time. Brian A. Coan, Gomer Thomas |
| 1990 | Analysis of Three Contention Protocols in Distributed Real-Time Systems. Kang G. Shin, Chao-Ju Hou |
| 1990 | Applying Compiler Techniques to Scheduling in Real-Time Systems. Prabha Gopinath, Rajiv Gupta |
| 1990 | Concurrency Control in Real-Time Databases by Dynamic Adjustment of Serialization Order. Yi Lin, Sang Hyuk Son |
| 1990 | Dynamic Real-Time Optimistic Concurrency Control. Jayant R. Haritsa, Michael J. Carey, Miron Livny |
| 1990 | Experiments with a Program Timing Tool Based on Source-Level Timing Schema. Chang Yun Park, Alan C. Shaw |
| 1990 | Fixed Priority Scheduling of Periodic Task Sets with Arbitrary Deadlines. John P. Lehoczky |
| 1990 | From CHAOS^it base to CHAOS^it arc: A Family of Real-Time Kernels. Karsten Schwan, Ahmed Gheith, Hongyi Zhou |
| 1990 | Implementing a Verifier for Real-Time Systems. Douglas A. Stuart |
| 1990 | Incremental Garbage Collection of Concurrent Objects for Real-Time Applications. Douglas Washabaugh, Dennis G. Kafura |
| 1990 | Language Support for the Maruti Real-Time System. Vivek Nirkhe, Satish K. Tripathi, Ashok K. Agrawala |
| 1990 | MRL: A Real-Time Rule-Based Production System. C.-K. Wang, Aloysius K. Mok, Albert Mo Kim Cheng |
| 1990 | Minimizing the Number of Late Tasks with Error Constraint. Joseph Y.-T. Leung, C. S. Wong |
| 1990 | New Latency Bounds for Atomic Broadcast. H. Raymond Strong, Danny Dolev, Flaviu Cristian |
| 1990 | On-Line Routing of Real-Time Messages. Joseph Y.-T. Leung, Tommy W. Tam, Gilbert H. Young |
| 1990 | Preemptively Scheduling Hard-Real-Time Sporadic Tasks on One Processor. Sanjoy K. Baruah, Aloysius K. Mok, Louis E. Rosier |
| 1990 | Proceedings of the Real-Time Systems Symposium - 1990, Lake Buena Vista, Florida, USA, December 1990 |
| 1990 | Real-Time Communication in Multiple Token Ring Networks. Yann-Hang Lee, Li-Tao Shen |
| 1990 | Real-Time Scheduling Support in Futurebus+. Lui Sha, John P. Lehoczky, Ragunathan Rajkumar |
| 1990 | Real-Time System Scenarios. J. J. Molini, S. K. Maimon, P. H. Watson |
| 1990 | Resource Reclaiming in Real-Time. Chia Shen, Krithi Ramamritham, John A. Stankovic |
| 1990 | SMART (Strategic Memory Allocation for Real-Time) Cache Design Using the MIPS R3000. David Blair Kirk, Jay K. Strosnider |
| 1990 | Scalability of a Distributed Real-Time Resource Counter. Nancy D. Griffeth, Abel Weinrib |
| 1990 | Scheduling I/O Requests with Deadlines: A Performance Evaluation. Robert K. Abbott, Hector Garcia-Molina |
| 1990 | Specifying and Verifying a Real-Time Priority Queue with Modal Algebra. Victor Yodaiken, Krithi Ramamritham |
| 1990 | Strategies for Predictability in Real-Time Data-Flow Architectures. Sukhamoy Som, Roland R. Mielke, John W. Stoughton |
| 1990 | Structuring Large Real-Time Systems with Performance Polymorphism. Kevin B. Kenny, Kwei-Jay Lin |
| 1990 | The ARTS Real-Time Object Model. Clifford W. Mercer, Hideyuki Tokuda |
| 1990 | Time Capsules: An Abstraction for Access of Continuous-Media Data. Ralf Guido Herrtwich |