A carregar...
Publicação
Correspondence article: a correction of the reduction-based schedulability analysis for APA scheduling
| Nome: | Descrição: | Tamanho: | Formato: | |
|---|---|---|---|---|
| 783.41 KB | Adobe PDF |
Orientador(es)
Resumo(s)
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.
Descrição
Palavras-chave
Contexto Educativo
Citação
Editora
Springer US