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]
@inproceedings{RayDC07,
title = {A New Pseudo-Boolean Satisfiability based approach to Power Mode Schedulability Analysis},
author = {Sayak Ray and Pallab Dasgupta and P. P. Chakrabarti},
year = {2007},
doi = {10.1109/VLSID.2007.16},
url = {http://doi.ieeecomputersociety.org/10.1109/VLSID.2007.16},
tags = {rule-based, analysis, systematic-approach},
researchr = {https://researchr.org/publication/RayDC07},
cites = {0},
citedby = {0},
pages = {95-102},
booktitle = {20th International Conference on VLSI Design (VLSI Design 2007), Sixth International Conference on Embedded Systems (ICES 2007), 6-10 January 2007, Bangalore, India},
publisher = {IEEE Computer Society},
isbn = {0-7695-2502-4},
}