Publication
An Execution Model for Fine-Grained Parallelism in Ada
| dc.contributor.author | Pinho, Luís Miguel | |
| dc.contributor.author | Moore, Brad | |
| dc.contributor.author | Michell, Stephen | |
| dc.contributor.author | Taft, S. Tucker | |
| dc.date.accessioned | 2015-11-12T16:23:04Z | |
| dc.date.available | 2015-11-12T16:23:04Z | |
| dc.date.issued | 2015 | |
| dc.description | 20th International Conference on Reliable Software Technologies - Ada-Europe 2015 (Ada-Europe 2015), 25 to 29, Jun, 2015. Madrid, Spain. Best Paper Award. | pt_PT |
| dc.description.abstract | 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. | pt_PT |
| dc.identifier.uri | http://hdl.handle.net/10400.22/6857 | |
| dc.language.iso | eng | pt_PT |
| dc.relation | FCOMP-01-0124-FEDER-037281 (CISTER) | pt_PT |
| dc.relation | FCOMP-01- 0124-FEDER-020447 (REGAIN) | pt_PT |
| dc.relation | ARTEMIS/0001/2013, JU grant nr. 621429 (EMC2) | pt_PT |
| dc.relation | FP7/2007-2013 grant agreement n° 611016 (P-SOCRATES) | pt_PT |
| dc.relation.ispartofseries | Ada-Europe 2015; | |
| dc.title | An Execution Model for Fine-Grained Parallelism in Ada | pt_PT |
| dc.type | conference object | |
| dspace.entity.type | Publication | |
| oaire.citation.conferencePlace | 20th International Conference on Reliable Software Technologies - Ada-Europe 2015 (Ada-Europe 2015), 25 to 29, Jun, 2015. Madrid, Spain | pt_PT |
| person.familyName | Pinho | |
| person.givenName | Luis Miguel | |
| person.identifier.ciencia-id | 8112-2108-F3B2 | |
| person.identifier.orcid | 0000-0001-6888-1340 | |
| person.identifier.rid | M-3416-2013 | |
| person.identifier.scopus-author-id | 6602594556 | |
| rcaap.rights | openAccess | pt_PT |
| rcaap.type | conferenceObject | pt_PT |
| relation.isAuthorOfPublication | fd791145-af93-47d9-bbe8-647a326d2f39 | |
| relation.isAuthorOfPublication.latestForDiscovery | fd791145-af93-47d9-bbe8-647a326d2f39 |