A constraint-based application model and scheduling techniques for power-aware systems