![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
10th 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
![](https://dblp.org/img/cog.dark.24x24.png)
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.