Formally verified superblock scheduling.

Cyril Six Léo Gourdin Sylvain Boulmé David Monniaux Justus Fasse Nicolas Nardino

Published in: CPP (2022)

Keyphrases

scheduling algorithm
scheduling problem
dynamic scheduling
resource constraints
round robin
parallel processors
flexible manufacturing systems
information retrieval
artificial intelligence
search algorithm
simulated annealing
resource allocation
container terminal
project scheduling
wafer fabrication