| 1994 | A Priority Forwarding Router Chip for Real-Time Interconnection Networks. | Kenji Toda, Kenji Nishida, Eiichi Takahashi, Yoshinori Yamaguchi |
| 1994 | Analysing Real-Time Communications: Controller Area Network (CAN). | Ken Tindell, H. Hanssmon, Andy J. Wellings |
| 1994 | Algorithms for Scheduling Hard Aperiodic Tasks in Fixed-Priority Systems Using Slack Stealing. | Sandra R. Thuel, John P. Lehoczky |
| 1994 | Efficient Aperiodic Service Under Earliest Deadline Scheduling. | Marco Spuri, Giorgio C. Buttazzo |
| 1994 | Scaling and Performance of a Priority Packet Queue for Real-Time Applications. | Dan Picker, Ronald D. Fellman |
| 1994 | Dynamic End-to-End Guarantees in Distributed Real Time Systems. | Marco Di Natale, John A. Stankovic |
| 1994 | Probabilistic Bounds on Message Delivery for the Totem Single-Ring Protocol. | Louise E. Moser, P. M. Melliar-Smith |
| 1994 | Deterministic Upperbounds of the Worst-Case Execution Times of Cached Programs. | Jyh-Charn Liu, Hung-ju Lee |
| 1994 | An Accurate Worst Case Timing Analysis Technique for RISC Processors. | 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 |
| 1994 | Multiple Route Real-Time Channels in Packet-Switched Networks. | Kai Chiu Kwan, Parameswaran Ramanathan |
| 1994 | A Solution to an Automotive Control System Benchmark. | Hermann Kopetz |
| 1994 | Modeling DSP Operating Systems for Multimedia Applications. | Daniel I. Katcher, Kevin A. Kettler, Jay K. Strosnider |
| 1994 | Resource Management for Continuous Multimedia Database Applications. | Jiandong Huang, Ding-Zhu Du |
| 1994 | The Generalized Railroad Crossing: A Case Study in Formal Verification of Real-Time Systems. | Constance L. Heitmeyer, Nancy A. Lynch |
| 1994 | Busy-Idle Profiles and Compact Task Graphs: Compile-Time Support for Interleaved and Overlapped Scheduling of Real- Time Tasks. | Rajiv Gupta, Madalene Spezialetti |
| 1994 | Guaranteeing End-to-End Timing Constraints by Calibrating Intermediate Processes. | Richard Gerber, Seongsoo Hong, Manas Saksena |
| 1994 | Flexible Real-Time SQL Transactions. | Paul J. Fortier, Victor Fay Wolfe, Janet J. Prichard |
| 1994 | Verifying an Intelligent Structural Control System: A Case Study. | Wael M. Elseaidy, Rance Cleaveland, John W. Baugh Jr. |
| 1994 | Modeling and Analysis of Real-Time Ada Tasking Programs. | James C. Corbett |
| 1994 | ARINC 659 Scheduling: Problem Definition. | Todd Carpenter, Kevin Driscoll, Ken Hoyme, Jim Carciofini |
| 1994 | Real-Time Communication Services in a DQDB Network. | Rosa M. L. R. Carmo, Francisco Vasques, Guy Juanole |
| 1994 | Computing Quantitative Characteristics of Finite-State Real-Time Systems. | Srgio Vale Aguiar Campos, Edmund M. Clarke, Wilfredo R. Marrero, Marius Minea, Hiromi Hiraishi |
| 1994 | Timeliness via Speculation for Real-Time Databases. | Azer Bestavros, Spyridon Braoudakis |
| 1994 | On-Line Scheduling to Maximize Task Completions. | Sanjoy K. Baruah, Jayant R. Haritsa, Nitin Sharma |
| 1994 | Mechanisms for Enhancing the Flexibility and Utility of Hard Real-Time Systems. | Neil C. Audsley, Robert I. Davis, Alan Burns |