Abstract is missing.
- Status and future of the Ravenscar profile session summaryAndy J. Wellings. 5-8 [doi]
- Tasking and object orientationStephen Michell, Joyce L. Tokar. 9-10 [doi]
- Session: new scheduling/dispatching policiesLars Asplund. 11-13 [doi]
- Session summary: distribution and real-timeMichael González Harbour, Luís Miguel Pinho. 14-16 [doi]
- Report of session: analysis of the J consortium real-time Java proposalBrian Dobbing, Tullio Vardanega. 17-18 [doi]
- Overview of the Sun Java Community Process's Real-Time Expert Group specification of RT-Java: Session SummaryBrian Dobbing. 18-19 [doi]
- Extending Ada's real-time systems annex with the POSIX scheduling servicesMario Aldea Rivas, Michael González Harbour. 20-26 [doi]
- Implementation of mode changes with the Ravenscar profileAlejandro Alonso 0001, Juan Antonio de la Puente. 27-32 [doi]
- Issues with using Ravenscar and the Ada distributed systems annex for high-integrity systemsNeil C. Audsley, Andy J. Wellings. 33-39 [doi]
- Non-preemptive dispatching and locking policiesAlan Burns 0001. 46-47 [doi]
- On developing and verifying design abstractions for reliable concurrent programming in AdaAlan Burns 0001, Andy J. Wellings, Albert Koelmans, Maciej Koutny, Alexander B. Romanovsky, Alexandre Yakovlev. 48-55 [doi]
- The Ravenscar profile for high-integrity Java programs?Brian Dobbing. 56-61 [doi]
- Towards a real-time distributed systems annex in AdaJosé Javier Guitiérrez García, Michael González Harbour. 62-66 [doi]
- Combining tasking and transactions, part II: open multithreaded transactionsJörg Kienzle, Alexander B. Romanovsky. 67-74 [doi]
- Position paper: completing the Ravenscar profileStephen Michell. 75-78 [doi]
- Programming atomic multicast in CANLuís Miguel Pinho, Francisco Vasques, Luis Lino Ferreira. 79-84 [doi]
- The design and implementation of the open Ravenscar kernelJuan Antonio de la Puente, Juan Zamorano, José F. Ruiz, Ramón Fernández, Rodrigo García. 85-90 [doi]
- A semantics for dynamic ceiling priorities in AdaJorge Real, Albert Llamosí, Alfons Crespo. 91-95 [doi]
- Using the Ravenscar profile for space applications: the OBOSS caseTullio Vardanega, Gert Caspersen. 96-104 [doi]
- Extensible protected types: proposal statusAndy J. Wellings, Bob Johnson, Bo Ingvar Sandén, Jörg Kienzle, Thomas Wolf 0013, Stephen Michell. 105-110 [doi]