Job-Shop Scheduling Using Timed Automata
Abstract elided by the publisher.
Related papers
- Preemptive Job-Shop Scheduling Using Stopwatch Automata TACAS 2002
- Local Search for SMT on Linear Integer Arithmetic CAV 2022
- Adaptive scheduling with parallelism feedback PPoPP 2006
- Predicting bounds on queuing delay for batch-scheduled parallel machines PPoPP 2006
- Adaptive work stealing with parallelism feedback PPoPP 2007
- Scalable verification of GNN-based job schedulers OOPSLA 2022
- Work stealing for interactive services to meet target latency PPoPP 2016
- ElasGNN: An Elastic Training Framework for Distributed GNN Training PPoPP 2026