↓ Skip to main content

Reliable Software Technologies - Ada-Europe 2004

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

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Benefits and Problems of Formal Methods
  3. Altmetric Badge
    Chapter 2 On the Role of Conceptual Schemas in Information Systems Development
  4. Altmetric Badge
    Chapter 3 An Overview of Middleware
  5. Altmetric Badge
    Chapter 4 Static Deadlock Detection in the Linux Kernel
  6. Altmetric Badge
    Chapter 5 Extracting Ada 95 Objects from Legacy Ada Programs
  7. Altmetric Badge
    Chapter 6 On the Tree Width of Ada Programs
  8. Altmetric Badge
    Chapter 7 The Chance for Ada to Support Distribution and Real-Time in Embedded Systems
  9. Altmetric Badge
    Chapter 8 PolyORB: A Schizophrenic Middleware to Build Versatile Reliable Distributed Applications
  10. Altmetric Badge
    Chapter 9 Event Language for Real-Time On-the-Fly Control According to the Initial Requirements
  11. Altmetric Badge
    Chapter 10 Implementing Execution-Time Clocks for the Ada Ravenscar Profile
  12. Altmetric Badge
    Chapter 11 Extending the Capabilities of Real-Time Applications by Combining MaRTE-OS and Linux
  13. Altmetric Badge
    Chapter 12 Supporting Deadlines and EDF Scheduling in Ada
  14. Altmetric Badge
    Chapter 13 OpenAda: Compile-Time Reflection for Ada 95
  15. Altmetric Badge
    Chapter 14 XML4Ada95 Accessing XML Using the DOM in Ada95
  16. Altmetric Badge
    Chapter 15 A Randomised Test Approach to Testing Safety Critical Ada Code
  17. Altmetric Badge
    Chapter 16 Good Random Testing
  18. Altmetric Badge
    Chapter 17 Teaching Real-Time Systems Around a Digital Model Railroad Platform Using Ada
  19. Altmetric Badge
    Chapter 18 High Integrity Ada in a UML and C World
  20. Altmetric Badge
    Chapter 19 Ada Meets Giotto
  21. Altmetric Badge
    Chapter 20 High-Integrity Interfacing to Programmable Logic with Ada
  22. Altmetric Badge
    Chapter 21 Dynamic Ceiling Priorities: A Proposal for Ada0Y
  23. Altmetric Badge
    Chapter 22 Mixing Scheduling Policies in Ada
  24. Altmetric Badge
    Chapter 23 Implementing an Application-Defined Scheduling Framework for Ada Tasking
  25. Altmetric Badge
    Chapter 24 A Theory of Persistent Containers and Its Application to Ada
  26. Altmetric Badge
    Chapter 25 Shortcuts: A Critical Look
  27. Altmetric Badge
    Chapter 26 Vector Processing in Ada
Attention for Chapter 10: Implementing Execution-Time Clocks for the Ada Ravenscar Profile
Altmetric Badge

Readers on

mendeley
5 Mendeley
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
Implementing Execution-Time Clocks for the Ada Ravenscar Profile
Chapter number 10
Book title
Reliable Software Technologies - Ada-Europe 2004
Published by
Springer, Berlin, Heidelberg, June 2004
DOI 10.1007/978-3-540-24841-5_10
Book ISBNs
978-3-54-022011-4, 978-3-54-024841-5
Authors

Juan Zamorano, Alejandro Alonso, José Antonio Pulido, Juan Antonio de la Puente

Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
Unknown 5 100%

Demographic breakdown

Readers by professional status Count As %
Professor 3 60%
Student > Postgraduate 1 20%
Unknown 1 20%
Readers by discipline Count As %
Computer Science 4 80%
Engineering 1 20%