Sciweavers

12 search results - page 1 / 3
» Transforming Ada Serving Tasks into Protected Objects
Sort
View
47
Voted
SIGADA
1998
Springer
15 years 1 months ago
Transforming Ada Serving Tasks into Protected Objects
Bangqing Li, Baowen Xu, Huiming Yu
ADAEUROPE
2005
Springer
15 years 3 months ago
Extending Ravenscar with CSP Channels
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...
Diyaa-Addein Atiya, Steve King
SIGADA
1998
Springer
15 years 1 months ago
The Rendezvous is Dead - Long Live the Protected Object
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 ...
Dragan Macos, Frank Mueller
ADAEUROPE
2004
Springer
15 years 2 months ago
Implementing an Application-Defined Scheduling Framework for Ada Tasking
Abstract: A framework for application-defined scheduling and its corresponding application program interface (API) were defined during the last International Real-Time Ada Workshop...
Mario Aldea Rivas, Francisco Javier Miranda Gonz&a...
ADAEUROPE
2005
Springer
15 years 3 months ago
Integrating Application-Defined Scheduling with the New Dispatching Policies for Ada Tasks
: 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...
Mario Aldea Rivas, Javier Miranda, Michael Gonz&aa...