|
[CK13]
Lalit Chandnani and Hemangee K. Kapoor.
Formal Approach for DVS-Based Power Management for Multiple Server System in Presence of Server Failure and Repair.
IEEE Transactions On Industrial Informatics, 9(1), pages 502-513.
2013.
[Uses PRISM to analyse a novel DVS-based power management policy for multiprocessor systems.]
|
|
Links:
[Google]
[Google Scholar]
|