Abstract is missing.
- Proving Dynamic Properties in an Aerospace ApplicationSimin Nadjm-Tehrani, Jan-Erik Strömberg. 2-10
- Modelling a Real Time Control System Based on Distributed ObjectsNigel Baker, Wayne Harris, Chris S. Wallace, Richard McClatchey, Jean-Marie Le Goff. 11-17
- A Scalable Real-Time Synchronization Protocol for Distributed SystemsInjong Rhee, Graham R. Martin. 18-27
- Kernel-Level Threads for Dynamic, Hard Real-Time EnvironmentsMarty Humphrey, Gary Wallace, John A. Stankovic. 38-48
- MiThOS - A Real-Time Micro-Kernel Threads Operating SystemFrank Mueller, Viresh Rustagi, Ted Baker. 49-55
- HyTech: The Next GenerationThomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi. 56-65
- Two Examples of Verification of Multirate Timed Automata with KronosConrado Daws, Sergio Yovine. 66-75
- Compositional and Symbolic Model-Checking of Real-Time SystemsKim Guldstrand Larsen, Paul Pettersson, Wang Yi. 76-89
- Value vs. Deadline Scheduling in Overload ConditionsGiorgio C. Buttazzo, Marco Spuri, Fabrizio Sensini. 90-99
- Dual Priority SchedulingRobert I. Davis, Andy J. Wellings. 100-109
- An Approach To Handling Overloaded Systems That Allow SkipsGilad Koren, Dennis Shasha. 110-119
- Enhancing Real-Time Schedules to Tolerate Transient FaultsSunondo Ghosh, Rami G. Melhem, Daniel Mossé. 120-129
- A Software Fault Injection Tool on Real-Time MachScott Dawson, Farnam Jahanian, Todd Mitton. 130-140
- Fault-tolerant Real-Time Communication in FDDI-Based NetworksBiao Chen, Sanjay Kamat, Wei Zhao. 141-151
- Joint Scheduling of Distributed Complex Periodic and Hard Aperiodic Tasks in Statically Scheduled SystemsGerhard Fohler. 152-161
- Optimal Combined Task and Message Scheduling in Distributed Real-Time SystemsTarek F. Abdelzaher, Kang G. Shin. 162-171
- Distributed Pinwheel Scheduling with End-to-End Timing ConstraintsChih-wen Hsueh, Kwei-Jay Lin, Nong Fan. 172-181
- The Design of Large Real-Time Systems: The Time-Triggered ApproachHermann Kopetz, Martin Braun, Christian Ebner, Andreas Krüger, Dietmar Millinger, Roman Nossal, Anton V. Schedl. 182-189
- Applicability of Simulated Annealing Methods to Real-Time Scheduling and Jitter ControlMarco Di Natale, John A. Stankovic. 190-199
- Fairness in Periodic Real-Time SchedulingSanjoy K. Baruah. 200-209
- Robust Aperiodic Scheduling Under Dynamic Priority SystemsMarco Spuri, Giorgio C. Buttazzo, Fabrizio Sensini. 210-221
- On Slot Reuse for Isochronous Services in DQDB NetworksChing-Chih Han, Chao-Ju Hou, Kang G. Shin. 222-231
- Dynamic Real-Time Channel Setup and Tear-Down in DQDB NetworksChao-Ju Hou, Kar Shun Tsoi. 232-241
- Modeling Bus Scheduling Policies for Real-Time SystemsKevin A. Kettler, Jay K. Strosnider. 242-255
- Compiling Modechart SpecificationsCarlos Puchol, Aloysius K. Mok, Douglas A. Stuart. 256-265
- The Specification and Schedulability Analysis of Real-Time Systems using ACSRJin-Young Choi, Insup Lee, Hong-liang Xie. 266-275
- A Graphical Language with Formal Semantics for the Specification and Analysis of Real-Time SystemsHanêne Ben-Abdallah, Insup Lee, Jin-Young Choi. 276-287
- Integrating the Timing Analysis of Pipelining and Instruction CachingChristopher A. Healy, David B. Whalley, Marion G. Harmon. 288-297
- Efficient Microarchitecture Modeling and Path Analysis for Real-Time SoftwareYau-Tsun Steven Li, Sharad Malik, Andrew Wolfe. 298-307
- Worst Case Timing Analysis of RISC Processors: R3000/R3010 Case StudyYerang Hur, Young Hyun Bae, Sung-Soo Lim, Sung-Kwan Kim, Byung-Do Rhee, Sang Lyul Min, Chang Yun Park, Heonshik Shin, Chong-Sang Kim. 308-321
- Some Performance Issues for Database Transactions with Firm DeadlinesY. C. Tay. 322-331
- Managing Contention and Timing Constraints in a Real-Time Database SystemMatthew R. Lehr, Young-Kuk Kim, Sang Hyuk Son. 332-341
- ARTIFACT: A Platform for Evaluating Real-Time Window System DesignsJohn E. Sasinowski, Jay K. Strosnider. 342-352