| 1994 | Bounding Worst-Case Instruction Cache Performance. | Robert D. Arnold, Frank Mueller, David B. Whalley, Marion G. Harmon |
| 1994 | Emulating Soft Real-Time Scheduling Using Traditional Operating System Schedulers. | Brad Adelberg, Hector Garcia-Molina, Ben Kao |
| 1993 | Symbolic Model Checking for Event-Driven Real-Time Systems. | Jin Yang, Aloysius K. Mok, Farn Wang |
| 1993 | Scheduling and communication in MetaH. | Steve Vestal, Pam Binns |
| 1993 | Highly multi-tasking real-time systems and their evaluation. | Terunao Soneoka, Ayaru Oizumi, Koichi Suda |
| 1993 | Acquisition and Service of Temporal Data for Real-Time Plant Monitoring. | Hiromitsu Shimakawa, H. Ohnishi, Ichiro Mizunuma, Morikazu Takegaki |
| 1993 | On-line scheduling of hard deadline aperiodic tasks in fixed-priority systems. | S. Ramos-Thuel, John P. Lehoczky |
| 1993 | Really visual temporal reasoning. | Y. S. Ramakrishna, P. Michael Melliar-Smith, Louise E. Moser, Laura K. Dillon, George Kutty |
| 1993 | Reliability of event-triggered task activation for hard real-time systems. | Stefan Poledna |
| 1993 | The Spring Scheduling Co-Processor: Design, Use, and Performance. | Douglas Niehaus, Krithi Ramamritham, John A. Stankovic, Gary Wallace, Charles C. Weems, Wayne P. Burleson, Jason Ko |
| 1993 | Integrated Management of Priority Inversion in Real-Time Mach. | Tatsuo Nakajima, Takuro Kitayama, Hiroshi Arakawa, Hideyuki Tokuda |
| 1993 | A Bandwidth Allocation Scheme for Time Constrained Message Transmission on a Slotted Ring LAN. | Sarit Mukherjee, Debanjan Saha, Manas Saksena, Satish K. Tripathi |
| 1993 | Architectural considerations in the design of real-time kernels. | Siu Ling Ann Lo, Norman C. Hutchinson, Samuel T. Chanson |
| 1993 | PERTS: A prototyping environment for real-time systems. | Jane W.-S. Liu, J. L. Redondo, Zhong Deng, Too-Seng Tia, Riccardo Bettati, A. Silberman, Matthew F. Storch, Rhan Ha, Wei-Kuan Shih |
| 1993 | Using Dynamic Adjustment of Serialization Order for Real-Time Database Systems. | Juhnyoung Lee, Sang Hyuk Son |
| 1993 | A Dual-Mode Instruction Prefetch Scheme for Improved Worst Case and Average Case Program Execution Times. | Minsuk Lee, Sang Lyul Min, Chang Yun Park, Young Hyun Bae, Heonshik Shin, Chong-Sang Kim |
| 1993 | SSP: A Semantics-Based Protocol for Real-Time Data Access. | Tei-Wei Kuo, Aloysius K. Mok |
| 1993 | MOCA: A multiprocessor on-line competitive algorithm for real-time system scheduling. | Gilad Koren, Dennis E. Shasha, Shih-Chen Huang |
| 1993 | The Non-Blocking Write Protocol NBW: A Solution to a Real-Time Synchronisation Problem. | Hermann Kopetz, Johannes Reisinger |
| 1993 | Performance Evaluation of a Bandwidth Allocation Scheme for Guaranteeing Synchronous Messages with Arbitrary Deadlines in an FDDI Network. | Sanjay Kamat, Nicholas Malcolm, Wei Zhao |
| 1993 | Accounting for interrupt handling costs in dynamic priority task systems. | Kevin Jeffay, Donald L. Stone |
| 1993 | Validation of design for space launch vehicles. | Bruno J. Jambor, George W. Eger, Steven D. Layton |
| 1993 | Specification and verification of a distributed real-time arbitration protocol. | Jozef Hooman |
| 1993 | How to Get Serializability for Real-Time Transactions Without Having to Pay for It. | Marc H. Graham |
| 1993 | Semantics-based compiler transformations for enhanced schedulability. | Richard Gerber, Seongsoo Hong |