English

当前位置: 教师介绍 — 缪力
缪力   
教师介绍
无照片
缪力
缪力,男,1972年9月生,湖南长沙人。2000年获兰州理工大学硕士学位,2006年获湖南大学计算机博士学位。浙江大学管理科学博士后,2014年在纽约州立大学石溪分校访问。主要研究软件测试,Hadoop性能优化技术,程序分析。
中文名: 缪力
英文名:
学历:
职称: 副教授
所属机构:
 调出
快速导航: 学术论文 个人简历 科研状况
返回顶部 学术论文

[1]     Li-Hui XIANG, Li MiaoDa-Fang ZHANG, Feng-Ping CHEN. Benefit of Compression in Hadoop: A CaseStudy of Improving IO Performance on Hadoop. 2014 IEEE International Conferenceon Industrial Engineering and Information Technology (EI/ISTP)

[2]     向丽辉,缪力, 张大方.压缩对Hadoop性能影响研究.计算机工程与科学,2014

[3]     Tang Yuegao,Miao Li, Chen Fengping Peer-Comparison Based Fault Diagnosis for HadoopSystems. Parallel, Distributed, andNetwork-Based Processing 2014(EI/ISTP

[4]      Chen fenping Miao Li, Tang Yuegao, Research ofHadoop Parameters Tuning Based On Function Monitoring. Parallel, Distributed,and Network-Based Processing 2014(EI/ISTP)

[5]      Miao Li, Zhang Dafang,A New Proof For TheUndecidability of Context-Sensitive Synchronization-Sensitive Analysis, The 5thInternational Conference on Frontier of Computer Science and Technology (FCST2010) 18-22, Aug,2010, Changchun ,pp 291-296 (EI/ISTP)

[6]       Dan Zhao, Da-fang Zhang, Li Miao, Formal Verification of 802.11MAC Layer Handoff ProcessUsing SPIN Model Checker, Proceeding of World Congress on Software Engineering2009(WCRE’09), 19-21May2009 Xiamenpp: 402 - 405EI/ISTP

[7]      缪力,张大方,通信下推系统的一种有界可达算法,计算机工程与应用,2008.9 44(24), pp 19-21

[8]      缪力,张大方,程序模型检查的两阶段框架, 计算机应用,2007 27.(12), pp 3089-3091

[9]      Li Miao, Dafang Zhang, Generate TestSequences for UML StatechartsTheChinese Journal of Electronics2006 15(2)225-230 (SCIEI)

[10]  缪力,张大方,非定态路径测试问题的分析与一种转换算法,电子学报, 2005 33.(12)pp 258-261(EI)

[11]  缪力,张大方,扩展有限状态机(EFSM)的后向切片,软件学报, 2004,Vol.15supl, 169-178(EI)

[12]  LiuXi,Miao Li, Zhao Dan, Li Wei. AnApproach of Coarse-grained Dynamic Slice for Java Program, ICCNE 2011, 27-29,May 2011Xi'an,pp: 670 - 674 EI/ISTP

[13]  Heguoqing,Zhang Dafang, Miaoli, Zhao Dan,Lightweight Fault Localization Based on Program SemanticsInProc of the 3rd InternationalConference on Computer Engineering and Technology(ICCET 2011)June,17-19,Kuala LumpurMalaysia,pp:331-336EI/ISTP

[14]  缪力,张大方,基于类成员后向切片的面向对象程序回归测试,装甲兵工程学院学报,2004.2,pp:31-34

[15]  缪力,张大方,基于UML Statechart语义的测试序列生成方法,计算机工程与科学,2005,26(4)pp3-5

[16]  黄谷,缪力, 张大方, 周志远. 基于模型检查的TCP连接管理协议分析与验证. 计算机工程与设计.2009,30(10): 2381-2386

[17]  周志远,张大方,缪力,基于Java内存模型的并发程序模型检测,计算机工程与科学,2010, 32(3), pp: 111-114

[18]  周志远,张大方,缪力,Java并发程序进行模型检测,计算机工程与设计, 2009,30(2), pp:370-373

[19]  黄谷,缪力,张大方,802.11i双向认证协议的模型检查,计算机工程与科学, 2010,32(4), pp: 25-28

[20]  金秀,张大方, 缪力, IEEE802.11WEP认证协议的SPIN模型检测, 计算机工程与设计, 2008, 29(3),pp. 390-391

[21]  郭伟,缪力,张大方,闵应骅, 基于SpinUML状态图模型检查的设计与实现, 计算机工程与应用,2008,Vol.44(10),pp.43-47

[22]     王大伟,张大方,缪力, 一种自动化模型检测ANSI-C程序的实用方法,计算机工程与科学, 2010,32(4), pp: 79-82


返回顶部 个人简历

缪力,男,19729月生,湖南长沙人。2000年获兰州理工大学硕士学位,2006年获湖南大学计算机博士学位。浙江大学管理科学博士后,2014年在纽约州立大学石溪分校访问。主要研究软件测试,Hadoop性能优化技术,程序分析。

返回顶部 科研状况

1. 基于模型检查的软件错误定位技术研究,国家“可信软件”重大研究计划项目(90718008)2008.1-2010.12(排名第二)

2. 基于流分析的分布式Java程序模型检查技术研究,国家自然科学基金资助项目(60673155)2007.1-2009.12(排名第二)

3. 国防基础科研“十一五”项目(A1420060162),2006.1-2007.12

4. 软件容错测量理论与技术研究,国家自然科学基金资助项目(60473031),2005.1-2007.12(排名第三)

5. 基于端系统的网络在线测量理论与技术研究,国家自然科学基金资助项目(60273070),2003.1-2005.12


友情链接