Quantitative Verification of Scheduling Heuristics.
Saksham GoelBenjamin MikekJehad AlyVenkat ArunAhmed SaeedAditya AkellaPublished in: CoRR (2023)
Keyphrases
- list scheduling
- iterative repair
- scheduling problem
- grid workflow
- model checking
- qualitative and quantitative
- scheduling algorithm
- quantitative and qualitative
- resource allocation
- heuristic search
- round robin
- signature verification
- verification method
- asynchronous circuits
- dynamic scheduling
- neural network
- flexible manufacturing systems
- fingerprint verification
- formal verification
- formal methods
- multi objective
- earth observing
- lower bound
- search algorithm