↓ 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 8: Lock Elision for Protected Objects Using Intel Transactional Synchronization Extensions
Altmetric Badge

Citations

dimensions_citation
1 Dimensions

Readers on

mendeley
4 Mendeley
Summary Dimensions citations
So far, Dimensions has found 1 citation of this research output.

1

The most recent citing publication is shown below. View this citation on Dimensions.

This page shows the most recent citations of this research output.

Click here to find out how to access more activity.

This page is provided by Altmetric.