Abstract is missing.
- Efficient Aperiodic Service Under Earliest Deadline SchedulingMarco Spuri, Giorgio C. Buttazzo. 2-11
- Mechanisms for Enhancing the Flexibility and Utility of Hard Real-Time SystemsNeil C. Audsley, Robert I. Davis, Alan Burns. 12-21
- Algorithms for Scheduling Hard Aperiodic Tasks in Fixed-Priority Systems Using Slack StealingSandra R. Thuel, John P. Lehoczky. 22-33
- Timeliness via Speculation for Real-Time DatabasesAzer Bestavros, Spyridon Braoudakis. 36-45
- Resource Management for Continuous Multimedia Database ApplicationsJiandong Huang, Ding-Zhu Du. 46-54
- Scaling and Performance of a Priority Packet Queue for Real-Time ApplicationsDan Picker, Ronald D. Fellman. 56-62
- A Priority Forwarding Router Chip for Real-Time Interconnection NetworksKenji Toda, Kenji Nishida, Eiichi Takahashi, Yoshinori Yamaguchi. 63-73
- Multiple Route Real-Time Channels in Packet-Switched NetworksKai Chiu Kwan, Parameswaran Ramanathan. 74-83
- Busy-Idle Profiles and Compact Task Graphs: Compile-Time Support for Interleaved and Overlapped Scheduling of Real- Time TasksRajiv Gupta, Madalene Spezialetti. 86-98
- Compiler Transformations for Speculative Execution in a Real-Time SystemMohamed F. Younis, Thomas J. Marlowe, Alexander D. Stoyenko. 97-108
- The Generalized Railroad Crossing: A Case Study in Formal Verification of Real-Time SystemsConstance L. Heitmeyer, Nancy A. Lynch. 120-131
- Modeling and Analysis of Real-Time Ada Tasking ProgramsJames C. Corbett. 132-141
- An Accurate Worst Case Timing Analysis Technique for RISC ProcessorsSung-Soo Lim, Young Hyun Bae, Gyu Tae Jang, Byung-Do Rhee, Sang Lyul Min, Chang Yun Park, Heonshik Shin, Kunsoo Park, Chong-Sang Kim. 142-151
- Response-Time Bounds of Rule-Based Programs Under Rule Priority StructureRwo-Hsi Wang, Aloysius K. Mok. 142-151
- A Solution to an Automotive Control System BenchmarkHermann Kopetz. 154-158
- Applying RMA to Improve a High-Speed, Real Time Data Acquisition SystemDavid del Val, Ángel Viña. 159-164
- ARINC 659 Scheduling: Problem DefinitionTodd Carpenter, Kevin Driscoll, Ken Hoyme, Jim Carciofini. 165-169
- Bounding Worst-Case Instruction Cache PerformanceRobert D. Arnold, Frank Mueller, David B. Whalley, Marion G. Harmon. 172-181
- Deterministic Upperbounds of the Worst-Case Execution Times of Cached ProgramsJyh-Charn Liu, Hung-Ju Lee. 182-191
- Guaranteeing End-to-End Timing Constraints by Calibrating Intermediate ProcessesRichard Gerber, Seongsoo Hong, Manas Saksena. 192-203
- Scheduling Adaptive Tasks in Real-Time SystemsKai Wang, Tein-Hsiang Lin. 206-215
- Dynamic End-to-End Guarantees in Distributed Real Time SystemsMarco Di Natale, John A. Stankovic. 215-227
- On-Line Scheduling to Maximize Task CompletionsSanjoy K. Baruah, Jayant R. Haritsa, Nitin Sharma. 228-236
- Probabilistic Bounds on Message Delivery for the Totem Single-Ring ProtocolLouise E. Moser, P. M. Melliar-Smith. 238-248
- Real-Time Communication Services in a DQDB NetworkRosa M. L. R. Carmo, Francisco Vasques, Guy Juanole. 249-258
- Analysing Real-Time Communications: Controller Area Network (CAN)Ken Tindell, H. Hanssmon, Andy J. Wellings. 259-263
- Computing Quantitative Characteristics of Finite-State Real-Time SystemsSérgio Vale Aguiar Campos, Edmund M. Clarke, Wilfredo R. Marrero, Marius Minea, Hiromi Hiraishi. 266-270
- Verifying an Intelligent Structural Control System: A Case StudyWael M. Elseaidy, Rance Cleaveland, John W. Baugh Jr.. 271-275
- Flexible Real-Time SQL TransactionsPaul J. Fortier, Victor Fay Wolfe, Janet J. Prichard. 276-280
- Supporting Real-Time Traffic on EthernetChitra Venkatramani, Tzi-cker Chiueh. 282-286
- Modeling DSP Operating Systems for Multimedia ApplicationsDaniel I. Katcher, Kevin A. Kettler, Jay K. Strosnider. 287-291
- Emulating Soft Real-Time Scheduling Using Traditional Operating System SchedulersBrad Adelberg, Hector Garcia-Molina, Ben Kao. 292-298