Reliable Software Technologiey – Ada-Europe 2010 - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642135491, 9783642135507

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Scheduling Configuration of Real-Time Component-Based Applications

Reliable Software Technologiey – Ada-Europe 2010 - Lecture Notes in Computer Science ◽

10.1007/978-3-642-13550-7_13 ◽

2010 ◽

pp. 181-195 ◽

Cited By ~ 3

Author(s):

Patricia López Martínez ◽

Laura Barros ◽

José M. Drake

Keyword(s):

Real Time ◽

Time Component

Download Full-text

Cache-Aware Development of High-Integrity Systems

Reliable Software Technologiey – Ada-Europe 2010 - Lecture Notes in Computer Science ◽

10.1007/978-3-642-13550-7_10 ◽

2010 ◽

pp. 139-152

Author(s):

Enrico Mezzetti ◽

Adam Betts ◽

José Ruiz ◽

Tullio Vardanega

Keyword(s):

High Integrity

Download Full-text

Implementing Multicore Real-Time Scheduling Algorithms Based on Task Splitting Using Ada 2012

Reliable Software Technologiey – Ada-Europe 2010 - Lecture Notes in Computer Science ◽

10.1007/978-3-642-13550-7_4 ◽

2010 ◽

pp. 54-67 ◽

Cited By ~ 5

Author(s):

Björn Andersson ◽

Luís-Miguel Pinho

Keyword(s):

Real Time ◽

Scheduling Algorithms ◽

Real Time Scheduling ◽

Time Scheduling ◽

Task Splitting

Download Full-text

AdaStreams: A Type-Based Programming Extension for Stream-Parallelism with Ada 2005

Reliable Software Technologiey – Ada-Europe 2010 - Lecture Notes in Computer Science ◽

10.1007/978-3-642-13550-7_15 ◽

2010 ◽

pp. 208-221 ◽

Cited By ~ 3

Author(s):

Gingun Hong ◽

Kirak Hong ◽

Bernd Burgstaller ◽

Johann Blieberger

Download Full-text

Program Verification in SPARK and ACSL: A Comparative Case Study

Reliable Software Technologiey – Ada-Europe 2010 - Lecture Notes in Computer Science ◽

10.1007/978-3-642-13550-7_7 ◽

2010 ◽

pp. 97-110

Author(s):

Eduardo Brito ◽

Jorge Sousa Pinto

Keyword(s):

Program Verification ◽

Comparative Case Study

Download Full-text

Static Versioning of Global State for Race Condition Detection

Reliable Software Technologiey – Ada-Europe 2010 - Lecture Notes in Computer Science ◽

10.1007/978-3-642-13550-7_8 ◽

2010 ◽

pp. 111-124 ◽

Cited By ~ 1

Author(s):

Steffen Keul

Keyword(s):

Global State ◽

Race Condition

Download Full-text

Preliminary Multiprocessor Support of Ada 2012 in GNU/Linux Systems

Reliable Software Technologiey – Ada-Europe 2010 - Lecture Notes in Computer Science ◽

10.1007/978-3-642-13550-7_5 ◽

2010 ◽

pp. 68-82 ◽

Cited By ~ 6

Author(s):

Sergio Sáez ◽

Alfons Crespo

Download Full-text

An Efficient Implementation of Persistent Objects

Reliable Software Technologiey – Ada-Europe 2010 - Lecture Notes in Computer Science ◽

10.1007/978-3-642-13550-7_19 ◽

2010 ◽

pp. 265-275

Author(s):

Jacob Sparre Andersen

Keyword(s):

Efficient Implementation

Download Full-text

Preservation of Timing Properties with the Ada Ravenscar Profile

Reliable Software Technologiey – Ada-Europe 2010 - Lecture Notes in Computer Science ◽

10.1007/978-3-642-13550-7_11 ◽

2010 ◽

pp. 153-166 ◽

Cited By ~ 8

Author(s):

Enrico Mezzetti ◽

Marco Panunzio ◽

Tullio Vardanega

Keyword(s):

Timing Properties ◽

Ravenscar Profile

Download Full-text

What to Make of Multicore Processors for Reliable Real-Time Systems?

Reliable Software Technologiey – Ada-Europe 2010 - Lecture Notes in Computer Science ◽

10.1007/978-3-642-13550-7_1 ◽

2010 ◽

pp. 1-18 ◽

Cited By ~ 3

Author(s):

Theodore P. Baker

Keyword(s):

Real Time ◽

Multicore Processors ◽

Real Time Systems ◽

Time Systems

Download Full-text

Reliable Software Technologiey – Ada-Europe 2010 - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Scheduling Configuration of Real-Time Component-Based Applications

Cache-Aware Development of High-Integrity Systems

Implementing Multicore Real-Time Scheduling Algorithms Based on Task Splitting Using Ada 2012

AdaStreams: A Type-Based Programming Extension for Stream-Parallelism with Ada 2005

Program Verification in SPARK and ACSL: A Comparative Case Study

Static Versioning of Global State for Race Condition Detection

Preliminary Multiprocessor Support of Ada 2012 in GNU/Linux Systems

An Efficient Implementation of Persistent Objects

Preservation of Timing Properties with the Ada Ravenscar Profile

What to Make of Multicore Processors for Reliable Real-Time Systems?

Reliable Software Technologiey – Ada-Europe 2010 - Lecture Notes in Computer Science
Latest Publications