![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
12th IRTAW 2003: Viana do Castelo, Portugal
- Tullio Vardanega:
Proceedings of the 12th International Workshop on Real-Time Ada, IRTAW 2003, Viana do Castelo, Portugal, September 15-19, 2003. ACM 2003, ISBN 978-1-4503-7446-0 - Joyce L. Tokar, Brian Dobbing:
Session summary: new core language features. 11-12 - Andy J. Wellings, Joyce L. Tokar:
Session summary: integration versus orthogonality (RTSJ scheduling policies versus Ada's). 13-15 - Andy J. Wellings:
Is Java augmented with the RTSJ a better real-time systems implementation technology than Ada 95? 16-21 - Michael González Harbour
, Tullio Vardanega
:
Report of session: current real-time AIs. 22-23 - Javier Miranda, Edmond Schonberg, Miguel Masmano, Jorge Real
, Alfons Crespo
:
Dynamic ceiling priorities in GNAT implementation report. 24-27 - Michael González Harbour, Mario Aldea Rivas
:
Managing multiple execution-time timers from a single task. 28-31 - Alan Burns, Andy J. Wellings, Tullio Vardanega
:
Report of session: flexible scheduling in Ada. 32-35 - Alan Burns, Andy J. Wellings:
Task attribute-based scheduling: extending Ada's support for scheduling. 36-41 - Mario Aldea Rivas
, Michael González Harbour:
Application-defined scheduling in Ada. 42-51 - Joyce L. Tokar:
Space & Time Partitioning with ARINC 653 and pragma profile. 52-54 - Brian Dobbing, Juan Antonio de la Puente
:
Session: status and future of the Ravenscar profile. 55-57 - Peter Amey, Brian Dobbing:
Static analysis of Ravenscar programs. 58-64 - Tullio Vardanega
:
Ravenscar design patterns?: reflections on use of the Ravenscar profile. 65-73 - Ricardo Maia, Flávio Moreira, R. Barbosa, Diamantino Costa, Kjeld Hjortaes, Patricia Rodríguez, Luís Miguel Pinho
:
Verifying, validating and monitoring the open Ravenscar real time kernel. 74-81 - Juan Antonio de la Puente
, Juan Zamorano
:
Execution-time clocks and Ravenscar kernels. 82-86 - Douglas J. Howe, Stephen Michell:
An approach to formal verication of real time concurrent Ada programs. 87-92 - Alan Burns, Tullio Vardanega
:
Report of session: generating new AIs. 93-95 - Tullio Vardanega
, Luís Miguel Pinho
:
Session summary: the future of IRTAW. 96
![](https://dblp.uni-trier.de/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.