Constraint-Driven Instructions Selection and Application Scheduling in the DURASE system