Hitting Families of Schedules for Asynchronous Programs.

Dmitry Chistikov Rupak Majumdar Filip Niksic

Published in: CoRR (2016)

Keyphrases

scheduling problem
markov chain
data mining
computer vision
fixpoint
real world
artificial intelligence
data structure
programming environment
discussion forums
intermediate level
automatic programming
control structures