Verification of Scheduling in High-level Synthesis.

Chandan Karfa Chittaranjan A. Mandal Dipankar Sarkar S. R. Pentakota Chris Reade

Published in: ISVLSI (2006)

Keyphrases

high level synthesis
grid workflow
scheduling problem
scheduling algorithm
model checking
resource allocation
computer vision
resource constraints
round robin
machine learning
pairwise
response time
distributed systems