Input-covering schedules for multithreaded programs.

Tom Bergan Luis Ceze Dan Grossman

Published in: OOPSLA (2013)

Keyphrases

scheduling problem
neural network
case study
answer sets
machine learning
website
video sequences
logic programs
input data
computer programs
fixpoint