12 search results - page 1 / 3 » Transforming Ada Serving Tasks into Protected Objects |
SIGADA
1998
Springer
13 years 9 months ago
1998
Springer
ADAEUROPE
2005
Springer
13 years 11 months ago
2005
Springer
Abstract. The Ravenscar Profile is a restricted subset of the Ada tasking model, designed to meet the requirements of producing analysable and deterministic code. A central featur...
SIGADA
1998
Springer
13 years 9 months ago
1998
Springer
This paper outlines the short-comings of rendezvous and the advantages of protected objects as a means of synchronization in Ada 95. A common Ada benchmark suite, ACES, gives the ...
ADAEUROPE
2004
Springer
13 years 11 months ago
2004
Springer
Abstract: A framework for application-defined scheduling and its corresponding application program interface (API) were defined during the last International Real-Time Ada Workshop...
ADAEUROPE
2005
Springer
13 years 11 months ago
2005
Springer
: In previous papers we had presented an application program interface (API) that enabled applications to use application-defined scheduling algorithms for Ada tasks in a way compa...