Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID12th 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
a service of 
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 2024-06-28 23:31 CEST 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:
