Constraint-Driven Instructions Selection and Application Scheduling in the DURASE system | IEEE Conference Publication | IEEE Xplore