A New Pseudo-Boolean Satisfiability based approach to Power Mode Schedulability Analysis.

Sayak Ray, Pallab Dasgupta, P. P. Chakrabarti

Browse the full VLSID paper archive.