Login / Signup
Equivalence checking of scheduling with speculative code transformations in high-level synthesis.
Chi-Hui Lee
Che-Hua Shih
Juinn-Dar Huang
Jing-Yang Jou
Published in:
ASP-DAC (2011)
Keyphrases
</>
high level synthesis
scheduling problem
source code
scheduling algorithm
parallel architecture
round robin
resource allocation
multi agent
pairwise
np hard
peer to peer
intelligent agents
parallel processing
resource management
resource constraints