default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID10th IRTAW 2000: Ávila, Spain
- Benjamin M. Brosgol, Michael González Harbour:
Proceedings of the 10th International Workshop on Real-Time Ada, IRTAW 2000, Ávila, Spain, 2000. ACM 2001, ISBN 978-1-4503-7327-2 - Andy J. Wellings:
Status and future of the Ravenscar profile session summary. 5-8 - Stephen Michell, Joyce L. Tokar:
Tasking and object orientation. 9-10 - Lars Asplund:
Session: new scheduling/dispatching policies. 11-13 - Michael González Harbour, Luís Miguel Pinho
:
Session summary: distribution and real-time. 14-16 - Brian Dobbing, Tullio Vardanega:
Report of session: analysis of the J consortium real-time Java proposal. 17-18 - Brian Dobbing:
Overview of the Sun Java Community Process's Real-Time Expert Group specification of RT-Java: Session Summary. 18-19 - Mario Aldea Rivas, Michael González Harbour:
Extending Ada's real-time systems annex with the POSIX scheduling services. 20-26 - Alejandro Alonso, Juan Antonio de la Puente:
Implementation of mode changes with the Ravenscar profile. 27-32 - Neil C. Audsley, Andy J. Wellings:
Issues with using Ravenscar and the Ada distributed systems annex for high-integrity systems. 33-39 - Alan Burns:
Non-preemptive dispatching and locking policies. 46-47 - Alan Burns, Andy J. Wellings, Albert Koelmans, Maciej Koutny, Alexander B. Romanovsky, Alexandre Yakovlev:
On developing and verifying design abstractions for reliable concurrent programming in Ada. 48-55 - Brian Dobbing:
The Ravenscar profile for high-integrity Java programs? 56-61 - José Javier Guitiérrez García, Michael González Harbour:
Towards a real-time distributed systems annex in Ada. 62-66 - Jörg Kienzle, Alexander B. Romanovsky:
Combining tasking and transactions, part II: open multithreaded transactions. 67-74 - Stephen Michell:
Position paper: completing the Ravenscar profile. 75-78 - Luís Miguel Pinho, Francisco Vasques, Luis Lino Ferreira:
Programming atomic multicast in CAN. 79-84 - Juan Antonio de la Puente, Juan Zamorano, José F. Ruiz, Ramón Fernández, Rodrigo García:
The design and implementation of the open Ravenscar kernel. 85-90 - Jorge Real, Albert Llamosí, Alfons Crespo:
A semantics for dynamic ceiling priorities in Ada. 91-95 - Tullio Vardanega, Gert Caspersen:
Using the Ravenscar profile for space applications: the OBOSS case. 96-104 - Andy J. Wellings, Bob Johnson, Bo Ingvar Sandén, Jörg Kienzle, Thomas Wolf, Stephen Michell:
Extensible protected types: proposal status. 105-110
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-02-14 00:48 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
