Scalable Verification of GNN-based Job Schedulers.

Haoze Wu Clark W. Barrett Mahmood Sharif Nina Narodytska Gagandeep Singh

Published in: CoRR (2022)

Keyphrases

signature verification
job search
lightweight
model checking
single machine scheduling problem
processing times
grid computing
highly scalable
databases
machine learning
face recognition
flowshop
face verification
memory efficient
person identification
verification method