default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAda-Europe 2010: Valencia, Spain
- Jorge Real, Tullio Vardanega
:
Reliable Software Technologiey - Ada-Europe 2010, 15th Ada-Europe International Conference on Reliable Software Technologies, Valencia, Spain, June 14-18, 2010. Proceedings. Lecture Notes in Computer Science 6106, Springer 2010, ISBN 978-3-642-13549-1
Keynote Talks
- Theodore P. Baker:
What to Make of Multicore Processors for Reliable Real-Time Systems? 1-18 - Pedro Albertos, Alfons Crespo, José E. Simó, Adel Fernández:
Control Co-design: Algorithms and Their Implementation. 19-40
Multicores and Ada
- Alan Burns, Andy J. Wellings:
Dispatching Domains for Multiprocessor Platforms and Their Representation in Ada. 41-53 - Björn Andersson, Luís Miguel Pinho:
Implementing Multicore Real-Time Scheduling Algorithms Based on Task Splitting Using Ada 2012. 54-67 - Sergio Sáez, Alfons Crespo:
Preliminary Multiprocessor Support of Ada 2012 in GNU/Linux Systems. 68-82
Software Dependability
- Patrick J. Graydon, John C. Knight, Xiang Yin:
Practical Limits on Software Dependability: A Case Study. 83-96 - Eduardo Brito, Jorge Sousa Pinto:
Program Verification in SPARK and ACSL: A Comparative Case Study. 97-110 - Steffen Keul:
Static Versioning of Global State for Race Condition Detection. 111-124
Critical Systems
- Rod White:
Using Hardware Support for Scheduling with Ada. 125-138 - Enrico Mezzetti, Adam Betts, José F. Ruiz, Tullio Vardanega:
Cache-Aware Development of High-Integrity Systems. 139-152 - Enrico Mezzetti, Marco Panunzio, Tullio Vardanega:
Preservation of Timing Properties with the Ada Ravenscar Profile. 153-166
Real-Time Systems
- Juan Angel Pastor, Diego Alonso, Pedro Sánchez, Bárbara Álvarez:
Towards the Definition of a Pattern Sequence for Real-Time Applications Using a Model-Driven Engineering Approach. 167-180 - Patricia López Martínez, Laura Barros, José M. Drake:
Scheduling Configuration of Real-Time Component-Based Applications. 181-195 - Andy J. Wellings, Alan Burns:
The Evolution of Real-Time Programming Revisited: Programming the Giotto Model in Ada 2005. 196-207
Language Technology
- Gingun Hong, Kirak Hong, Bernd Burgstaller, Johann Blieberger:
AdaStreams: A Type-Based Programming Extension for Stream-Parallelism with Ada 2005. 208-221 - Benjamin M. Brosgol:
A Comparison of Generic Template Support: Ada, C++, C#, and JavaTM. 222-237 - Edmond Schonberg:
Towards Ada 2012: An Interim Report. 238-250
Distribution and Persistency
- Daniel Sangorrín, Michael González Harbour, Héctor Pérez, J. Javier Gutiérrez:
Managing Transactions in Flexible Distributed Real-Time Systems. 251-264 - Jacob Sparre Andersen:
An Efficient Implementation of Persistent Objects. 265-275
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 2026-05-27 02:08 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:
