↓ 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
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
Lock Elision for Protected Objects Using Intel Transactional Synchronization Extensions
Chapter number 8
Book title
Reliable Software Technologies – Ada-Europe 2017
Published by
Springer, Cham, June 2017
DOI 10.1007/978-3-319-60588-3_8
Book ISBNs
978-3-31-960587-6, 978-3-31-960588-3
Authors

Seongho Jeong, Shinhyung Yang, Bernd Burgstaller

View on publisher site
Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 4 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 4 100%

Demographic breakdown

Readers by professional status Count As %
Student > Master 2 50%
Professor > Associate Professor 1 25%
Student > Ph. D. Student 1 25%
Readers by discipline Count As %
Computer Science 4 100%

This page is provided by Altmetric.