Japanese
Reliable Software Technologiey – Ada-Europe 2010
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 What to Make of Multicore Processors for Reliable Real-Time Systems?
-
Altmetric BadgeChapter 2 Control Co-design: Algorithms and Their Implementation
-
Altmetric BadgeChapter 3 Dispatching Domains for Multiprocessor Platforms and Their Representation in Ada
-
Altmetric BadgeChapter 4 Implementing Multicore Real-Time Scheduling Algorithms Based on Task Splitting Using Ada 2012
-
Altmetric BadgeChapter 5 Preliminary Multiprocessor Support of Ada 2012 in GNU/Linux Systems
-
Altmetric BadgeChapter 6 Practical Limits on Software Dependability: A Case Study
-
Altmetric BadgeChapter 7 Program Verification in SPARK and ACSL: A Comparative Case Study
-
Altmetric BadgeChapter 8 Static Versioning of Global State for Race Condition Detection
-
Altmetric BadgeChapter 9 Using Hardware Support for Scheduling with Ada
-
Altmetric BadgeChapter 10 Cache-Aware Development of High-Integrity Systems
-
Altmetric BadgeChapter 11 Preservation of Timing Properties with the Ada Ravenscar Profile
-
Altmetric BadgeChapter 12 Towards the Definition of a Pattern Sequence for Real-Time Applications Using a Model-Driven Engineering Approach
-
Altmetric BadgeChapter 13 Scheduling Configuration of Real-Time Component-Based Applications
-
Altmetric BadgeChapter 14 The Evolution of Real-Time Programming Revisited: Programming the Giotto Model in Ada 2005
-
Altmetric BadgeChapter 15 AdaStreams: A Type-Based Programming Extension for Stream-Parallelism with Ada 2005
-
Altmetric BadgeChapter 16 A Comparison of Generic Template Support: Ada, C++, C#, and Java TM
-
Altmetric BadgeChapter 17 Towards Ada 2012: An Interim Report
-
Altmetric BadgeChapter 18 Managing Transactions in Flexible Distributed Real-Time Systems
-
Altmetric BadgeChapter 19 An Efficient Implementation of Persistent Objects