古亮 陈向葵 郭立峰 赵霞 谢涛 邹艳珍 常继传 袁望洪 周欣 王华 杨芙清 陈向群 邵维忠 谢冰

操作系统 动态频率调节 动态功耗管理 电源管理 低能耗

高可信软件技术教育部重点实验室（北京大学... 北京大学信息科学与技术学院软件研究所 北京大学信息科学技术学院软件研究所高可信... 北京100871北京工商大学计算机学院