| 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 | 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 | A new Petri net based formalism for specification, design and analysis of real-time systems. Giorgio Bruno, Andrea Castella, I. Pavesio, Mario P. Pescarmona |
| 1993 | Accounting for interrupt handling costs in dynamic priority task systems. Kevin Jeffay, Donald L. Stone |
| 1993 | Acquisition and Service of Temporal Data for Real-Time Plant Monitoring. Hiromitsu Shimakawa, H. Ohnishi, Ichiro Mizunuma, Morikazu Takegaki |
| 1993 | Architectural considerations in the design of real-time kernels. Siu Ling Ann Lo, Norman C. Hutchinson, Samuel T. Chanson |
| 1993 | Automatic Symbolic Verification of Embedded Systems. Rajeev Alur, Thomas A. Henzinger, Pei-Hsin Ho |
| 1993 | HARTIK: A real-time kernel for robotics applications. Giorgio C. Buttazzo |
| 1993 | Highly multi-tasking real-time systems and their evaluation. Terunao Soneoka, Ayaru Oizumi, Koichi Suda |
| 1993 | How to Get Serializability for Real-Time Transactions Without Having to Pay for It. Marc H. Graham |
| 1993 | Implementation of a synchronous execution machine on Chorus micro-kernel. Raphael Bernhard, Laurent Hazard, François Horn, Jean-Bernard Stefani |
| 1993 | Integrated Management of Priority Inversion in Real-Time Mach. Tatsuo Nakajima, Takuro Kitayama, Hiroshi Arakawa, Hideyuki Tokuda |
| 1993 | MOCA: A multiprocessor on-line competitive algorithm for real-time system scheduling. Gilad Koren, Dennis E. Shasha, Shih-Chen Huang |
| 1993 | MT: A Toolset for Specifying and Analyzing Real-Time Systems. Paul C. Clements, Constance L. Heitmeyer, Bruce G. Labaw, A. T. Rose |
| 1993 | Object-Based Semantic Real-Time Concurrency Control. Lisa Cingiser DiPippo, Victor Fay Wolfe |
| 1993 | On-line scheduling of hard deadline aperiodic tasks in fixed-priority systems. S. Ramos-Thuel, John P. Lehoczky |
| 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 | 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 | Proceedings of the Real-Time Systems Symposium. Raleigh-Durham, NC, USA, December 1993 |
| 1993 | Queuing spin lock algorithms to support timing predictability. Travis S. Craig |
| 1993 | RTSL: a language for real-time schedulability analysis. Andre N. Fredette, Rance Cleaveland |
| 1993 | Real-time issues in computer music. Roger B. Dannenberg, David H. Jameson |
| 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 | SSP: A Semantics-Based Protocol for Real-Time Data Access. Tei-Wei Kuo, Aloysius K. Mok |
| 1993 | Scheduling and communication in MetaH. Steve Vestal, Pam Binns |
| 1993 | Scheduling slack time in fixed priority pre-emptive systems. Robert I. Davis, Ken Tindell, Alan Burns |
| 1993 | Semantics-based compiler transformations for enhanced schedulability. Richard Gerber, Seongsoo Hong |
| 1993 | Specification and verification of a distributed real-time arbitration protocol. Jozef Hooman |
| 1993 | Symbolic Model Checking for Event-Driven Real-Time Systems. Jin Yang, Aloysius K. Mok, Farn Wang |
| 1993 | The Non-Blocking Write Protocol NBW: A Solution to a Real-Time Synchronisation Problem. Hermann Kopetz, Johannes Reisinger |
| 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 | The use of preemptive priority-based scheduling for space applications. C. M. Bailey, E. Fyfe, Tullio Vardanega, Andy J. Wellings |
| 1993 | Using Dynamic Adjustment of Serialization Order for Real-Time Database Systems. Juhnyoung Lee, Sang Hyuk Son |
| 1993 | Validation of design for space launch vehicles. Bruno J. Jambor, George W. Eger, Steven D. Layton |