Abstract is missing.
- Architectural considerations in the design of real-time kernelsSiu Ling Ann Lo, Norman C. Hutchinson, Samuel T. Chanson. 138-147 [doi]
- Queuing spin lock algorithms to support timing predictabilityTravis S. Craig. 148-157 [doi]
- On-line scheduling of hard deadline aperiodic tasks in fixed-priority systemsS. Ramos-Thuel, John P. Lehoczky. 160-171 [doi]
- MOCA: A multiprocessor on-line competitive algorithm for real-time system schedulingGilad Koren, Dennis Shasha, Shih-Chen Huang. 172-181 [doi]
- PERTS: A prototyping environment for real-time systemsJane W.-S. Liu, J. L. Redondo, Zhong Deng, Too-Seng Tia, Riccardo Bettati, A. Silberman, Matthew F. Storch, Rhan Ha, W.-K. Shih. 184-188 [doi]
- Implementation of a synchronous execution machine on Chorus micro-kernelRaphael Bernhard, Laurent Hazard, François Horn, Jean-Bernard Stefani. 189-193 [doi]
- Scheduling and communication in MetaHSteve Vestal, Pam Binns. 194-200 [doi]
- HARTIK: A real-time kernel for robotics applicationsGiorgio C. Buttazzo. 201-205 [doi]
- Reliability of event-triggered task activation for hard real-time systemsStefan Poledna. 206-210 [doi]
- Accounting for interrupt handling costs in dynamic priority task systemsKevin Jeffay, Donald L. Stone. 212-221 [doi]
- Scheduling slack time in fixed priority pre-emptive systemsRobert I. Davis, Ken Tindell, Alan Burns. 222-231 [doi]
- Semantics-based compiler transformations for enhanced schedulabilityRichard Gerber, Seongsoo Hong. 232-242 [doi]
- Validation of design for space launch vehiclesBruno J. Jambor, George W. Eger, Steven D. Layton. 244-248 [doi]
- Highly multi-tasking real-time systems and their evaluationTerunao Soneoka, Ayaru Oizumi, Koichi Suda. 249-252 [doi]
- The use of preemptive priority-based scheduling for space applicationsC. M. Bailey, E. Fyfe, Tullio Vardanega, Andy J. Wellings. 253-257 [doi]
- Real-time issues in computer musicRoger B. Dannenberg, David H. Jameson. 258-260 [doi]
- Really visual temporal reasoningY. S. Ramakrishna, P. Michael Melliar-Smith, Louise E. Moser, Laura K. Dillon, George Kutty. 262-273 [doi]
- RTSL: a language for real-time schedulability analysisAndre N. Fredette, Rance Cleaveland. 274-283 [doi]
- Specification and verification of a distributed real-time arbitration protocolJozef Hooman. 284-293 [doi]
- A new Petri net based formalism for specification, design and analysis of real-time systemsGiorgio Bruno, Andrea Castella, I. Pavesio, Mario P. Pescarmona. 294-301 [doi]