20th International Conference on Reliable Software Technologies - Ada-Europe 2015 (Ada-Europe 2015), 25 to 29, Jun, 2015. Madrid, Spain. Best Paper Award.This paper extends the authors earlier proposal for providing Ada with support for fine-grained parallelism with an execution model based on the concept of abstract executors, detailing the progress guarantees that these executors must provide and how these can be assured even in the presence of potentially blocking operations. The paper also describes how this execution model can be applied to real-time systems
The art of designing parallel programs is underdeveloped because we do not understand parallelism c...
Over the last three decades, computer architects have been able to achieve an increase in performanc...
This thesis considers various aspects of implementation of high level parallel languages, specially ...
20th International Conference on Reliable Software Technologies - Ada-Europe 2015 (Ada-Europe 2015),...
International Real-Time Ada Workshop (IRTAW 2015). 20 to 22, Apr, 2015. Pownal, U.S.A..The approach ...
Abstract The Ada language has for long provided supportfor the development of reliable real-time sys...
Presented at Work in Progress Session, IEEE Real-Time Systems Symposium (RTSS 2015). 1 to 3, Dec, 20...
18th International Real-Time Ada Workshop (IRTAW 2016). 11 to 13, Apr, 2016. Benicàssim, Spain.One o...
18th International Real-Time Ada Workshop (IRTAW 2016). 11 to 13, Apr, 2016. Benicàssim, Spain.Previ...
The current proposal for the next revision of the Ada language considers the possibility to map the ...
In earlier work, we proposed extending Ada with a high-level parallel programming layer consisting ...
This paper describes how parallel dataflow programming can be simply and efficiently integrated with...
22nd International Conference on Reliable Software Technologies (Ada-Europe 2017). 12 to 16, Jun, 20...
The existing Version 1 of the Parallelism TS exposes parallel execution to the programmer in the for...
The growing trend to support parallel computation to enable the performance gains of the recent hard...
The art of designing parallel programs is underdeveloped because we do not understand parallelism c...
Over the last three decades, computer architects have been able to achieve an increase in performanc...
This thesis considers various aspects of implementation of high level parallel languages, specially ...
20th International Conference on Reliable Software Technologies - Ada-Europe 2015 (Ada-Europe 2015),...
International Real-Time Ada Workshop (IRTAW 2015). 20 to 22, Apr, 2015. Pownal, U.S.A..The approach ...
Abstract The Ada language has for long provided supportfor the development of reliable real-time sys...
Presented at Work in Progress Session, IEEE Real-Time Systems Symposium (RTSS 2015). 1 to 3, Dec, 20...
18th International Real-Time Ada Workshop (IRTAW 2016). 11 to 13, Apr, 2016. Benicàssim, Spain.One o...
18th International Real-Time Ada Workshop (IRTAW 2016). 11 to 13, Apr, 2016. Benicàssim, Spain.Previ...
The current proposal for the next revision of the Ada language considers the possibility to map the ...
In earlier work, we proposed extending Ada with a high-level parallel programming layer consisting ...
This paper describes how parallel dataflow programming can be simply and efficiently integrated with...
22nd International Conference on Reliable Software Technologies (Ada-Europe 2017). 12 to 16, Jun, 20...
The existing Version 1 of the Parallelism TS exposes parallel execution to the programmer in the for...
The growing trend to support parallel computation to enable the performance gains of the recent hard...
The art of designing parallel programs is underdeveloped because we do not understand parallelism c...
Over the last three decades, computer architects have been able to achieve an increase in performanc...
This thesis considers various aspects of implementation of high level parallel languages, specially ...
Add to ORKG