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

Sayak Ray, Pallab Dasgupta, P. P. Chakrabarti. A New Pseudo-Boolean Satisfiability based approach to Power Mode Schedulability Analysis. In 20th International Conference on VLSI Design (VLSI Design 2007), Sixth International Conference on Embedded Systems (ICES 2007), 6-10 January 2007, Bangalore, India. pages 95-102, IEEE Computer Society, 2007. [doi]

Authors

Sayak Ray

This author has not been identified. Look up 'Sayak Ray' in Google

Pallab Dasgupta

This author has not been identified. Look up 'Pallab Dasgupta' in Google

P. P. Chakrabarti

This author has not been identified. Look up 'P. P. Chakrabarti' in Google