Jorge Real, Tullio Vardanega
Proceedings of the 15th Ada-Europe International Conference on Reliable Software Technologies
Ada-Europe, 2010.

@proceedings{AdaEurope-2010,
	address       = "Valencia, Spain",
	doi           = "10.1007/978-3-642-13550-7",
	editor        = "Jorge Real and Tullio Vardanega",
	isbn          = "978-3-642-13549-1",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 15th Ada-Europe International Conference on Reliable Software Technologies}",
	volume        = 6106,
	year          = 2010,
}

Contents (19 items)

9 ×#ada
6 ×#realtime
3 ×#implementation
3 ×#scheduling
3 ×#using
2 ×#algorithm
2 ×#case study
2 ×#manycore
2 ×#multi
2 ×#programming

AdaEurope-2010-Baker #manycore #question #realtime #reliability #what

What to Make of Multicore Processors for Reliable Real-Time Systems? (TPB), pp. 1–18.

AdaEurope-2010-AlbertosCSF #algorithm #co-evolution #design #implementation

Control Co-design: Algorithms and Their Implementation (PA, AC, JES, AF), pp. 19–40.

AdaEurope-2010-BurnsW #ada #multi #platform #representation

Dispatching Domains for Multiprocessor Platforms and Their Representation in Ada (AB, AJW), pp. 41–53.

AdaEurope-2010-AnderssonP #ada #algorithm #implementation #manycore #realtime #scheduling #using

Implementing Multicore Real-Time Scheduling Algorithms Based on Task Splitting Using Ada 2012 (BA, LMP), pp. 54–67.

AdaEurope-2010-SaezC #ada #linux #multi

Preliminary Multiprocessor Support of Ada 2012 in GNU/Linux Systems (SS, AC), pp. 68–82.

AdaEurope-2010-GraydonKY #case study #dependence

Practical Limits on Software Dependability: A Case Study (PJG, JCK, XY), pp. 83–96.

AdaEurope-2010-BritoP #case study #comparative #verification

Program Verification in SPARK and ACSL: A Comparative Case Study (EB, JSP), pp. 97–110.

AdaEurope-2010-Keul #detection #version control

Static Versioning of Global State for Race Condition Detection (SK), pp. 111–124.

AdaEurope-2010-White #ada #hardware #scheduling #using

Using Hardware Support for Scheduling with Ada (RW), pp. 125–138.

AdaEurope-2010-MezzettiBRV #development

Cache-Aware Development of High-Integrity Systems (EM, AB, JR, TV), pp. 139–152.

AdaEurope-2010-MezzettiPV #ada

Preservation of Timing Properties with the Ada Ravenscar Profile (EM, MP, TV), pp. 153–166.

AdaEurope-2010-PastorASA #approach #modelling #realtime #sequence #towards #using

Towards the Definition of a Pattern Sequence for Real-Time Applications Using a Model-Driven Engineering Approach (JAP, DA, PS, BÁ), pp. 167–180.

AdaEurope-2010-MartinezBD #component #realtime #scheduling

Scheduling Configuration of Real-Time Component-Based Applications (PLM, LB, JMD), pp. 181–195.

AdaEurope-2010-WellingsB #ada #evolution #programming #realtime

The Evolution of Real-Time Programming Revisited: Programming the Giotto Model in Ada 2005 (AJW, AB), pp. 196–207.

AdaEurope-2010-HongHBB #ada #named #programming #type system

AdaStreams: A Type-Based Programming Extension for Stream-Parallelism with Ada 2005 (GH, KH, BB, JB), pp. 208–221.

AdaEurope-2010-Brosgol #ada #comparison #java

A Comparison of Generic Template Support: Ada, C++, C#, and JavaTM (BMB), pp. 222–237.

AdaEurope-2010-Schonberg #ada #towards

Towards Ada 2012: An Interim Report (ES), pp. 238–250.

AdaEurope-2010-SangorrinHPG #distributed #flexibility #realtime #transaction

Managing Transactions in Flexible Distributed Real-Time Systems (DS, MGH, HP, JJG), pp. 251–264.

AdaEurope-2010-Andersen #implementation #performance #persistent

An Efficient Implementation of Persistent Objects (JSA), pp. 265–275.