ReviewControl-flow versus data-flow-based scheduling: Combining both approaches in an adaptive scheduling system
Conference paperPrecise bounds for presburger arithmetic and the reals with addition: Preliminary report