Abstract is missing.
- What to Make of Multicore Processors for Reliable Real-Time Systems?Theodore P. Baker. 1-18 [doi]
- Control Co-design: Algorithms and Their ImplementationPedro Albertos, Alfons Crespo, José E. Simó, Adel Fernández. 19-40 [doi]
- Dispatching Domains for Multiprocessor Platforms and Their Representation in AdaAlan Burns, Andy J. Wellings. 41-53 [doi]
- Implementing Multicore Real-Time Scheduling Algorithms Based on Task Splitting Using Ada 2012Björn Andersson, Luís Miguel Pinho. 54-67 [doi]
- Preliminary Multiprocessor Support of Ada 2012 in GNU/Linux SystemsSergio Saez, Alfons Crespo. 68-82 [doi]
- Practical Limits on Software Dependability: A Case StudyPatrick J. Graydon, John C. Knight, Xiang Yin. 83-96 [doi]
- Program Verification in SPARK and ACSL: A Comparative Case StudyEduardo Brito, Jorge Sousa Pinto. 97-110 [doi]
- Static Versioning of Global State for Race Condition DetectionSteffen Keul. 111-124 [doi]
- Using Hardware Support for Scheduling with AdaRod White. 125-138 [doi]
- Cache-Aware Development of High-Integrity SystemsEnrico Mezzetti, Adam Betts, José Ruiz, Tullio Vardanega. 139-152 [doi]
- Preservation of Timing Properties with the Ada Ravenscar ProfileEnrico Mezzetti, Marco Panunzio, Tullio Vardanega. 153-166 [doi]
- Towards the Definition of a Pattern Sequence for Real-Time Applications Using a Model-Driven Engineering ApproachJuan A. Pastor, Diego Alonso, Pedro Sánchez, Bárbara Álvarez. 167-180 [doi]
- Scheduling Configuration of Real-Time Component-Based ApplicationsPatricia López Martínez, Laura Barros, José M. Drake. 181-195 [doi]
- The Evolution of Real-Time Programming Revisited: Programming the Giotto Model in Ada 2005Andy J. Wellings, Alan Burns. 196-207 [doi]
- AdaStreams: A Type-Based Programming Extension for Stream-Parallelism with Ada 2005Gingun Hong, Kirak Hong, Bernd Burgstaller, Johann Blieberger. 208-221 [doi]
- A Comparison of Generic Template Support: Ada, C++, C#, and Java:::TM:::Benjamin M. Brosgol. 222-237 [doi]
- Towards Ada 2012: An Interim ReportEdmond Schonberg. 238-250 [doi]
- Managing Transactions in Flexible Distributed Real-Time SystemsDaniel Sangorrín, Michael González Harbour, Héctor Pérez, J. Javier Gutiérrez. 251-264 [doi]
- An Efficient Implementation of Persistent ObjectsJacob Sparre Andersen. 265-275 [doi]