Synthesis from multi-cycle atomic actions as a solution to the timing closure problem.

Michal Karczmarek Arvind

Published in: ICCAD (2008)

Keyphrases

integer programming
spatio temporal
active learning
image representation
human computer interaction
temporal relations