Verifying dynamic power management schemes using statistical model checking.

Jayanand Asok Kumar, Shobha Vasudevan

Browse the full ASPDAC paper archive.