A Scheduling Framework for Spatial Architectures Across Multiple Constraint-Solving Theories.
Tony NowatzkiMichael Sartin-TarmLorenzo De CarliKarthikeyan SankaralingamCristian EstanBehnam RobatmiliPublished in: ACM Trans. Program. Lang. Syst. (2014)