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

Reliable Software Technologies – Ada-Europe 2017

Overview of attention for book
Cover of 'Reliable Software Technologies – Ada-Europe 2017'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Evaluating MSRP and MrsP with the Multiprocessor Ravenscar Profile
  3. Altmetric Badge
    Chapter 2 Ravenscar-EDF: Comparative Benchmarking of an EDF Variant of a Ravenscar Runtime
  4. Altmetric Badge
    Chapter 3 Sanitizing Sensitive Data: How to Get It Right (or at Least Less Wrong…)
  5. Altmetric Badge
    Chapter 4 Enforcing Timeliness and Safety in Mission-Critical Systems
  6. Altmetric Badge
    Chapter 5 Supporting Nested Resources in MrsP
  7. Altmetric Badge
    Chapter 6 Predicting Worst-Case Execution Time Trends in Long-Lived Real-Time Systems
  8. Altmetric Badge
    Chapter 7 MC2: Multicore and Cache Analysis via Deterministic and Probabilistic Jitter Bounding
  9. Altmetric Badge
    Chapter 8 Lock Elision for Protected Objects Using Intel Transactional Synchronization Extensions
  10. Altmetric Badge
    Chapter 9 An Executable Semantics for Synchronous Task Graphs: From SDRT to Ada
  11. Altmetric Badge
    Chapter 10 RxAda: An Ada implementation of the ReactiveX API
  12. Altmetric Badge
    Chapter 11 A New Ravenscar-Based Profile
  13. Altmetric Badge
    Chapter 12 OpenMP Tasking Model for Ada: Safety and Correctness
  14. Altmetric Badge
    Chapter 13 Migrating Mixed Criticality Tasks Within a Cyclic Executive Framework
  15. Altmetric Badge
    Chapter 14 Directed Acyclic Graph Scheduling for Mixed-Criticality Systems
  16. Altmetric Badge
    Chapter 15 Software Time Reliability in the Presence of Cache Memories
Attention for Chapter 10: RxAda: An Ada implementation of the ReactiveX API
Altmetric Badge

Mentioned by

twitter
21 X users

Citations

dimensions_citation
1 Dimensions

Readers on

mendeley
2 Mendeley
Summary X Dimensions citations

This page is provided by Altmetric.