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

Reliable Software Technologies – Ada-Europe 2012

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

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Ada Ravenscar Code Archetypes for Component-Based Development
  3. Altmetric Badge
    Chapter 2 Reliable Software Technologies – Ada-Europe 2012
  4. Altmetric Badge
    Chapter 3 Integrating Middleware for Timely Reconfiguration of Distributed Soft Real-Time Systems with Ada DSA
  5. Altmetric Badge
    Chapter 4 Source Code as the Key Artifact in Requirement-Based Development: The Case of Ada 2012
  6. Altmetric Badge
    Chapter 5 Teaching ‘Concepts of Programming Languages’ with Ada
  7. Altmetric Badge
    Chapter 6 Designing the API for a Cryptographic Library
  8. Altmetric Badge
    Chapter 7 Handling Synchronization Requirements under Separation of Concerns in Model-Driven Component-Based Development
  9. Altmetric Badge
    Chapter 8 An Approach to Model Checking Ada Programs
  10. Altmetric Badge
    Chapter 9 Formal Modelling for Ada Implementations: Tasking Event-B
  11. Altmetric Badge
    Chapter 10 Augmenting Formal Development with Use Case Reasoning
  12. Altmetric Badge
    Chapter 11 Formal Goal-Oriented Development of Resilient MAS in Event-B
  13. Altmetric Badge
    Chapter 12 Reliable Software Technologies – Ada-Europe 2012
  14. Altmetric Badge
    Chapter 13 Improving the Performance of Execution Time Control by Using a Hardware Time Management Unit
  15. Altmetric Badge
    Chapter 14 Implementing and Verifying EDF Preemption-Level Resource Control
  16. Altmetric Badge
    Chapter 15 Efficient Constraint Handling during Designing Reliable Automotive Real-Time Systems
Attention for Chapter 13: Improving the Performance of Execution Time Control by Using a Hardware Time Management Unit
Altmetric Badge

Readers on

mendeley
1 Mendeley
Summary
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
Improving the Performance of Execution Time Control by Using a Hardware Time Management Unit
Chapter number 13
Book title
Reliable Software Technologies – Ada-Europe 2012
Published by
Springer, Berlin, Heidelberg, June 2012
DOI 10.1007/978-3-642-30598-6_13
Book ISBNs
978-3-64-230597-9, 978-3-64-230598-6
Authors

Kristoffer Nyborg Gregertsen, Amund Skavhaug

View on publisher site
Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
Norway 1 100%

Demographic breakdown

Readers by professional status Count As %
Professor > Associate Professor 1 100%
Researcher 1 100%
Readers by discipline Count As %
Computer Science 2 200%

This page is provided by Altmetric.