Efficient encoding for exact symbolic automata-based scheduling.

Steve Haynal Forrest Brewer

Published in: ICCAD (1998)

Keyphrases

cost effective
computationally expensive
neural network
lightweight
data sets
resource allocation
scheduling algorithm
symbolic representation