Old Web
English
Sign In
Acemap
>
Paper
>
A Parameterized Formal Model for the Analysis of Preemption-Threshold Scheduling in Real-time Systems
A Parameterized Formal Model for the Analysis of Preemption-Threshold Scheduling in Real-time Systems
2020
Imene Ben Hafaiedh
Maroua Ben Slimane
Keywords:
Distributed computing
Scheduling (computing)
Computer science
Preemption
Parameterized complexity
Correction
Source
Cite
Save
Machine Reading By IdeaReader
0
References
1
Citations
NaN
KQI
[]