Voltage scheduling problem for dynamically variable voltage processors