- 2007
- Alan Burns, Andy J. Wellings:
Introduction. IRTAW 2007: 59-60 - Alan Burns, Andy J. Wellings:
Programming execution-time servers in Ada 2005. IRTAW 2007: 48-52 - Ben Brosgol, Mario Aldea Rivas
:
Introduction. IRTAW 2007: 88-89 - Michael González Harbour, J. Javier Gutiérrez:
Introduction. IRTAW 2007: 37-40 - Stephen Michell:
Interfacing Ada to operating systems. IRTAW 2007: 90-95 - Juan Antonio de la Puente, Santiago Urueña:
Summary. IRTAW 2007: 96-97 - José Antonio Pulido, Juan Antonio de la Puente, Jérôme Hugues, Matteo Bordin, Tullio Vardanega:
Ada 2005 code patterns for metamodel-based code generation. IRTAW 2007: 53-58 - Jorge Real, Stephen Michell:
Introduction. IRTAW 2007: 72-74 - Mario Aldea Rivas, Michael González Harbour:
Operating system support for execution time budgets for thread groups. IRTAW 2007: 67-71 - Santiago Urueña, José Antonio Pulido, José Redondo, Juan Zamorano:
Implementing the new Ada 2005 real-time features on a bare board kernel. IRTAW 2007: 61-66 - Santiago Urueña, Juan Zamorano:
Building high-integrity distributed systems with Ravenscar restrictions. IRTAW 2007: 29-36 - Tullio Vardanega, José F. Ruiz:
Introduction. IRTAW 2007: 15-17 - Michael Ward, Neil C. Audsley:
Suggestions for stream based parallel systems in Ada. IRTAW 2007: 82-87 - Andy J. Wellings, Alan Burns:
Beyond Ada 2005: allocating tasks to processors in SMP systems. IRTAW 2007: 75-81 - Andy J. Wellings, Alan Burns:
Integrating OOP and tasking: the missing requeue. IRTAW 2007: 23-28 - Andy J. Wellings, Alan Burns:
A framework for real-time utilities for Ada 2005. IRTAW 2007: 41-47 - Alexandros Zerzelidis, Alan Burns, Andy J. Wellings:
Correcting the EDF protocol in Ada 2005. IRTAW 2007: 18-22 - Juan Antonio de la Puente:
Proceedings of the 13th International Workshop on Real-Time Ada, IRTAW 2007, Woodstock, Vermont, USA, April 17-19, 2007. ACM 2007, ISBN 978-1-4503-7840-6 [contents] - 2003
- Alan Burns, Tullio Vardanega:
Report of session: generating new AIs. IRTAW 2003: 93-95 - Alan Burns, Andy J. Wellings:
Task attribute-based scheduling: extending Ada's support for scheduling. IRTAW 2003: 36-41 - Alan Burns, Andy J. Wellings, Tullio Vardanega:
Report of session: flexible scheduling in Ada. IRTAW 2003: 32-35 - Peter Amey, Brian Dobbing:
Static analysis of Ravenscar programs. IRTAW 2003: 58-64 - Brian Dobbing, Juan Antonio de la Puente:
Session: status and future of the Ravenscar profile. IRTAW 2003: 55-57 - Michael González Harbour, Mario Aldea Rivas:
Managing multiple execution-time timers from a single task. IRTAW 2003: 28-31 - Michael González Harbour, Tullio Vardanega:
Report of session: current real-time AIs. IRTAW 2003: 22-23 - Douglas J. Howe, Stephen Michell:
An approach to formal verication of real time concurrent Ada programs. IRTAW 2003: 87-92 - 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. IRTAW 2003: 74-81 - Javier Miranda, Edmond Schonberg, Miguel Masmano, Jorge Real, Alfons Crespo:
Dynamic ceiling priorities in GNAT implementation report. IRTAW 2003: 24-27 - Juan Antonio de la Puente, Juan Zamorano:
Execution-time clocks and Ravenscar kernels. IRTAW 2003: 82-86 - Mario Aldea Rivas, Michael González Harbour:
Application-defined scheduling in Ada. IRTAW 2003: 42-51
