↓ Skip to main content
What is this page? Embed badge

Reliable Software Technologiey – Ada-Europe 2010

Overview of attention for book
Cover of 'Reliable Software Technologiey – Ada-Europe 2010'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 What to Make of Multicore Processors for Reliable Real-Time Systems?
  3. Altmetric Badge
    Chapter 2 Control Co-design: Algorithms and Their Implementation
  4. Altmetric Badge
    Chapter 3 Dispatching Domains for Multiprocessor Platforms and Their Representation in Ada
  5. Altmetric Badge
    Chapter 4 Implementing Multicore Real-Time Scheduling Algorithms Based on Task Splitting Using Ada 2012
  6. Altmetric Badge
    Chapter 5 Preliminary Multiprocessor Support of Ada 2012 in GNU/Linux Systems
  7. Altmetric Badge
    Chapter 6 Practical Limits on Software Dependability: A Case Study
  8. Altmetric Badge
    Chapter 7 Program Verification in SPARK and ACSL: A Comparative Case Study
  9. Altmetric Badge
    Chapter 8 Static Versioning of Global State for Race Condition Detection
  10. Altmetric Badge
    Chapter 9 Using Hardware Support for Scheduling with Ada
  11. Altmetric Badge
    Chapter 10 Cache-Aware Development of High-Integrity Systems
  12. Altmetric Badge
    Chapter 11 Preservation of Timing Properties with the Ada Ravenscar Profile
  13. Altmetric Badge
    Chapter 12 Towards the Definition of a Pattern Sequence for Real-Time Applications Using a Model-Driven Engineering Approach
  14. Altmetric Badge
    Chapter 13 Scheduling Configuration of Real-Time Component-Based Applications
  15. Altmetric Badge
    Chapter 14 The Evolution of Real-Time Programming Revisited: Programming the Giotto Model in Ada 2005
  16. Altmetric Badge
    Chapter 15 AdaStreams: A Type-Based Programming Extension for Stream-Parallelism with Ada 2005
  17. Altmetric Badge
    Chapter 16 A Comparison of Generic Template Support: Ada, C++, C#, and Java TM
  18. Altmetric Badge
    Chapter 17 Towards Ada 2012: An Interim Report
  19. Altmetric Badge
    Chapter 18 Managing Transactions in Flexible Distributed Real-Time Systems
  20. Altmetric Badge
    Chapter 19 An Efficient Implementation of Persistent Objects
Attention for Chapter 17: Towards Ada 2012: An Interim Report
Altmetric Badge
Summary
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
Towards Ada 2012: An Interim Report
Chapter number 17
Book title
Reliable Software Technologiey – Ada-Europe 2010
Published by
Springer, Berlin, Heidelberg, June 2010
DOI 10.1007/978-3-642-13550-7_17
Book ISBNs
978-3-64-213549-1, 978-3-64-213550-7
Authors

Edmond Schonberg, Schonberg, Edmond

View on publisher site
Timeline

Login to access the full chart related to this output.

If you don’t have an account, click here to discover Explorer

This page is provided by Altmetric.