Login / Signup
A Formal Correctness Proof for an EDF Scheduler Implementation.
Florian Vanhems
Vlad Rusu
David Nowak
Gilles Grimaud
Published in:
RTAS (2022)
Keyphrases
</>
scheduling algorithm
provably correct
neural network
implementation details
software engineering
hardware implementation
mathematical theory
databases
multi agent
efficient implementation
parallel implementation
linear logic