↓ 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 9: An Executable Semantics for Synchronous Task Graphs: From SDRT to Ada
Altmetric Badge

Citations

dimensions_citation
1 Dimensions
Summary Dimensions citations
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
An Executable Semantics for Synchronous Task Graphs: From SDRT to Ada
Chapter number 9
Book title
Reliable Software Technologies – Ada-Europe 2017
Published by
Springer, Cham, June 2017
DOI 10.1007/978-3-319-60588-3_9
Book ISBNs
978-3-31-960587-6, 978-3-31-960588-3
Authors

Morteza Mohaqeqi, Jakaria Abdullah, Wang Yi

View on publisher site

This page is provided by Altmetric.