Publication
Correspondence article: a correction of the reduction-based schedulability analysis for APA scheduling
| dc.contributor.author | Cerqueira, Felipe | |
| dc.contributor.author | Brandenburg, Björn B. | |
| dc.contributor.author | Nelissen, Geoffrey | |
| dc.date.accessioned | 2018-12-20T11:46:17Z | |
| dc.date.embargo | 2119 | |
| dc.date.issued | 2018 | |
| dc.description.abstract | In this correspondence letter, we document and correct a flaw in the reduction-based analysis for real-time scheduling with arbitrary processor affinities (APA). To provide further confidence, the corrected claims have been formalized and machine-checked using the Coq proof assistant. | pt_PT |
| dc.description.version | info:eu-repo/semantics/publishedVersion | pt_PT |
| dc.identifier.doi | 10.1007/s11241-018-9315-x | pt_PT |
| dc.identifier.issn | 0922-6443 | |
| dc.identifier.uri | http://hdl.handle.net/10400.22/12447 | |
| dc.language.iso | eng | pt_PT |
| dc.peerreviewed | yes | pt_PT |
| dc.publisher | Springer US | pt_PT |
| dc.relation.ispartofseries | Real-Time Systems;2018 | |
| dc.relation.publisherversion | https://link.springer.com/article/10.1007%2Fs11241-018-9315-x | pt_PT |
| dc.title | Correspondence article: a correction of the reduction-based schedulability analysis for APA scheduling | pt_PT |
| dc.type | journal article | |
| dspace.entity.type | Publication | |
| oaire.citation.endPage | 8 | pt_PT |
| oaire.citation.startPage | 1 | pt_PT |
| oaire.citation.title | Real-Time Systems | pt_PT |
| rcaap.rights | closedAccess | pt_PT |
| rcaap.type | article | pt_PT |