Items where Author is "Ray, Sayak"

Ray, Sayak ; Dasgupta, Pallab ; Chakrabarti, P. P. (2007) A new pseudo-Boolean satisfiability based approach to power mode schedulability analysis In: 20th International Conference on VLSI Design held jointly with 6th International Conference on Embedded Systems (VLSID'07), 6-10 January 2007.

Ray, Sayak ; Dasgupta, Pallab ; Chakrabarti, P. P. (2006) Formal verification of power scheduling policies for battery powered mobile systems In: 2006 Annual IEEE India Conference, 15-17 September 2006, New Delhi, India.