[1]Li-Hui XIANG, Li Miao，Da-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-21，May，2009 ，Xiamen，pp: 402 - 405(EI/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 Statecharts，TheChinese Journal of Electronics，2006， 15(2)，225-230 (SCI，EI)

[10]繆力，張大方，非定態路徑測試問題的分析與一種轉換算法，電子學報, 2005， 33.(12)，pp 258-261(EI)

[11]繆力，張大方，擴展有限狀態機(EFSM)的后向切片，軟件學報, 2004,Vol.15，supl, 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 ，2011，Xi'an,pp: 670 - 674 (EI/ISTP)

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

[14]繆力，張大方，基于類成員后向切片的面向對象程序回歸測試，裝甲兵工程學院學報，2004.2,pp:31-34

[15]繆力，張大方，基于UML Statechart語義的測試序列生成方法，計算機工程與科學，2005,26(4)，pp：3-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.11中WEP認證協議的SPIN模型檢測, 計算機工程與設計, 2008, 29(3),pp. 390-391

[21]郭偉,繆力,張大方,閔應驊, 基于Spin的UML狀態圖模型檢查的設計與實現, 計算機工程與應用，2008,Vol.44(10),pp.43-47

[22]王大偉,張大方,繆力, 一種自動化模型檢測ANSI-C程序的實用方法,計算機工程與科學, 2010,32(4), pp: 79-82

創作挑戰賽新人創作獎勵來咯，堅持創作打卡瓜分現金大獎

總結

以上是生活随笔為你收集整理的湖南大学计算机学院张柏杨,缪力-湖大信息科学与工程学院的全部內容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網站內容還不錯，歡迎將生活随笔推薦給好友。