中文论文列表

22 Oct 2019

[1]袁梦霆,李清安,吴黎兵,何炎祥.基于建模与推理的命题逻辑教学方法研究[J].计算机教育,2019(09):108-110.

[2]江南,李清安,汪吕蒙,张晓瞳,何炎祥.机械化定理证明研究综述[J/OL].软件学报:1-30[2019-10-22].https://doi.org/10.13328/j.cnki.jos.005870.

[3]何炎祥,孙发军,李清安,何静,汪吕蒙.无线传感器网络中公钥机制研究综述[J/OL].计算机学报,2019:1-28[2019-10-22].http://kns.cnki.net/kcms/detail/11.1826.TP.20190619.1641.002.html.

[4]李清安,袁梦霆,王汉飞,吴黎兵,何炎祥.基于LLVM的编译实验课程设计[J].计算机教育,2019(02):11-14.

[5]何炎祥,陈木朝,李清安,何静,沈凡凡,帅子琦,徐超.PCRAM损耗均衡研究综述[J].计算机学报,2018,41(10):2295-2317.

[6]刘子骏,何炎祥,张军,李清安,沈凡凡.一种面向GPGPU的行为感知的存储调度策略[J].计算机工程与科学,2017,39(06):1011-1021.

[7]沈凡凡,何炎祥,张军,江南,李清安,李建华.一种SRAM辅助新型非易失性缓存的磨损均衡方法[J].计算机学报,2017,40(03):743-756.

[8]张军,何炎祥,沈凡凡,江南,李清安.基于2阶段同步的GPGPU线程块压缩调度方法[J].计算机研究与发展,2016,53(06):1173-1185.

[9]陈勇,袁梦霆,李清安.分区内存体系结构片选指令优化方法[J].计算机工程与科学,2016,38(02):195-201.

[10]何炎祥,张军,沈凡凡,江南,李清安,刘子骏.通用图形处理器线程调度优化方法研究综述[J].计算机学报,2016,39(09):1733-1749.

[11]何炎祥,沈凡凡,张军,江南,李清安,李建华.新型非易失性存储器架构的缓存优化方法综述[J].计算机研究与发展,2015,52(06):1225-1241.

[12]何炎祥,喻涛,陈彦钊,李清安,范通让.物联网环境中数据存储与查询机制研究[J].计算机科学,2015,42(03):185-190.

[13]何炎祥,江南,李清安,张军,沈凡凡.一个机器检测的Micro-Dalvik虚拟机模型[J].软件学报,2015,26(02):364-379.

[14]何炎祥,喻涛,陈勇,李清安,江南,徐超,文卫东.面向嵌入式系统绿色需求的数据分配方法[J].计算机研究与发展,2015,52(01):94-104.

[15]闫国昌,何炎祥,李清安.降低寄存器软错误的静态寄存器重分配方法[J].计算机应用,2014,34(09):2730-2733+2746.

[16]何炎祥,陈勇,吴伟,徐超,李清安.面向总线翻转编码的低能耗指令调度方法[J].计算机研究与发展,2014,51(08):1773-1780.

[17]何炎祥,李清安,陈勇,吴伟,徐超,江南.基于函数调用图的静态数据分配[J].武汉大学学报(理学版),2013,59(06):528-533.

[18]李清安. 面向非易失性片上存储的编译技术研究[D].武汉大学,2013.

[19]何炎祥,陈勇,吴伟,李清安,江南,徐超.绿色编译优化策略:研究综述[J].计算机科学与探索,2013,7(08):673-690.

[20]徐超,何炎祥,陈勇,刘健博,吴伟,李清安.一种多核系统可靠性加强的任务调度方法[J].电子学报,2013,41(05):1019-1024.

[21]何炎祥,吴伟,陈勇,李清安,刘健博.一种用于类C语言环境的安全的类型化内存模型[J].计算机研究与发展,2012,49(11):2440-2449.

[22]陈勇,何炎祥,石谦,吴伟,李清安.基于压缩的代码保护的低开销策略[J].计算机科学,2011,38(11):119-122.

[23]何炎祥,吴伟,刘陶,李清安,陈勇,胡明昊,刘健博,石谦.可信编译理论及其核心实现技术:研究综述[J].计算机科学与探索,2011,5(01):1-22.