↓ Skip to main content

Reliable Software Technologies – Ada-Europe 2006

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

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Hierarchical Scheduling with Ada 2005
  3. Altmetric Badge
    Chapter 2 A Comparison of Ada and Real-Time Java TM for Safety-Critical Applications
  4. Altmetric Badge
    Chapter 3 POSIX Trace Based Behavioural Reflection
  5. Altmetric Badge
    Chapter 4 Static Detection of Access Anomalies in Ada95
  6. Altmetric Badge
    Chapter 5 One Million (LOC) and Counting: Static Analysis for Errors and Vulnerabilities in the Linux Kernel Source Code
  7. Altmetric Badge
    Chapter 6 Bauhaus – A Tool Suite for Program Analysis and Reverse Engineering
  8. Altmetric Badge
    Chapter 7 SPARK Annotations Within Executable UML
  9. Altmetric Badge
    Chapter 8 Runtime Verification of Java Programs for Scenario-Based Specifications
  10. Altmetric Badge
    Chapter 9 Secure Execution of Computations in Untrusted Hosts
  11. Altmetric Badge
    Chapter 10 A Systematic Approach to Developing Safe Tele-operated Robots
  12. Altmetric Badge
    Chapter 11 Towards Developing Multi-agent Systems in Ada
  13. Altmetric Badge
    Chapter 12 Reliable Software Technologies – Ada-Europe 2006
  14. Altmetric Badge
    Chapter 13 Adaptive Random Testing Through Iterative Partitioning
  15. Altmetric Badge
    Chapter 14 Run-Time Detection of Tasking Deadlocks in Real-Time Systems with the Ada 95 Annex of Real-Time Systems
  16. Altmetric Badge
    Chapter 15 Abstract Interface Types in GNAT: Conversions, Discriminants, and C++
  17. Altmetric Badge
    Chapter 16 Using Mathematics to Improve Ada Compiled Code
  18. Altmetric Badge
    Chapter 17 Replication-Aware Transactions: How to Roll a Transaction over Failures
  19. Altmetric Badge
    Chapter 18 The Arbitrated Real-Time Protocol (AR-TP): A Ravenscar Compliant Communication Protocol for High-Integrity Distributed Systems
  20. Altmetric Badge
    Chapter 19 Interchangeable Scheduling Policies in Real-Time Middleware for Distribution
Attention for Chapter 2: A Comparison of Ada and Real-Time Java TM for Safety-Critical Applications
Altmetric Badge

Readers on

mendeley
7 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
A Comparison of Ada and Real-Time Java TM for Safety-Critical Applications
Chapter number 2
Book title
Reliable Software Technologies – Ada-Europe 2006
Published by
Springer, Berlin, Heidelberg, June 2006
DOI 10.1007/11767077_2
Book ISBNs
978-3-54-034663-0, 978-3-54-034664-7
Authors

Benjamin M. Brosgol, Andy Wellings, Brosgol, Benjamin M., Wellings, Andy

Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
United States 1 14%
Italy 1 14%
Brazil 1 14%
Unknown 4 57%

Demographic breakdown

Readers by professional status Count As %
Researcher 2 29%
Student > Ph. D. Student 2 29%
Student > Bachelor 1 14%
Student > Master 1 14%
Student > Postgraduate 1 14%
Other 0 0%
Readers by discipline Count As %
Computer Science 6 86%
Engineering 1 14%