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
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-09-18 00:02 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:
