![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Ada-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
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.