Hitting Families of Schedules for Asynchronous Programs.

Dmitry Chistikov Rupak Majumdar Filip Niksic

Published in: CAV (2) (2016)

Keyphrases

scheduling problem
computer programs
neural network
programming environment
intermediate level
control structures
machine learning
learning algorithm
artificial intelligence
multiscale
relational databases
operating system
distance learning
fixpoint
java programs
deadlock free