湖南大学计算机学院张柏杨,缪力-湖大信息科学与工程学院

[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

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/266054.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

AMBA总线协议AHB、APB

一、什么是AMBA总线 AMBA总线规范是ARM公司提出的总线规范,被大多数SoC设计采用,它规定了AHB (Advanced High-performance Bus)、ASB (Advanced System Bus)、APB (Advanced Peripheral Bus)。AHB用于高性能、高时钟频率的系统结构,典型的应用…

CentOS安装SVN服务器并配置HTTPS连接

在CentOS6.3 64位机器上配置SVN服务器,并设置只允许HTTPS连接,可以配置多个repos源,每个源都拥有自己的组和成员,用于权限控制。安装相关软件Apacheyum install httpd httpd-devel Subversionyum install mod_dav_svn subversionS…

安卓APP_ 控件(6)—— Notification通知

摘自:安卓APP_ 控件(6)—— Notification通知 作者:丶PURSUING 发布时间: 2021-04-02 00:30:14 网址:https://blog.csdn.net/weixin_44742824/article/details/115382674 Notification通知的使用 一、创建一…

安卓APP_ 控件(7)——Toolbar栏目样式

摘自:安卓APP_ 控件(7)——Toolbar栏目样式 作者:丶PURSUING 发布时间: 2021-04-02 15:42:07 网址:https://blog.csdn.net/weixin_44742824/article/details/115395997 Toolbar栏目样式 什么是Toolbar?设置…

电大计算机本科离散数学考试题,国开(中央电大)本科《离散数学(本)》网上形考(任务一至三)试题及答案...

《国开(中央电大)本科《离散数学(本)》网上形考(任务一至三)试题及答案》由会员分享,可在线阅读,更多相关《国开(中央电大)本科《离散数学(本)》网上形考(任务一至三)试题及答案(10页珍藏版)》请在装配图网上搜索。1、国开(中央电大)本科离散数学(本)网上…

luogu4267 TamingtheHerd (dp)

设f[i][j]为让前i天发生j次暴动需要改变的最少的值 则f[i][j]min{f[k][j-1](x[k1]!0)(x[k2]!1)...(x[i]!(i-k-1))} $O(n^3)$直接做就好了 1 #include<bits/stdc.h>2 #define pa pair<int,int>3 #define ll long long4 using namespace std;5 const int maxn105;6 7…

Gartner:2013年SIEM市场分析(MQ)

2013年5月7日&#xff0c;Gartner一年一度的SIEM magic quadrant报告出炉了。如下图&#xff1a;对比一下去年的MQ矩阵&#xff1a;简言之&#xff0c;上榜厂商减少到16个&#xff0c;Q1Labs在三强竞争中稍占上风&#xff0c;Arcsight有所退步&#xff0c;Splunk终于跻身第一阵…

python sqlite数据库_用Python进行SQLite数据库操作

简单的介绍SQLite数据库是一款非常小巧的嵌入式开源数据库软件&#xff0c;也就是说没有独立的维护进程&#xff0c;所有的维护都来自于程序本身。它是遵守ACID的关联式数据库管理系统&#xff0c;它的设计目标是嵌入式的&#xff0c;而且目前已经在很多嵌入式产品中使用了它&a…

dijstra算法

无向图、赋权有向图 的最短路径转载于:https://www.cnblogs.com/xiaoxuesheng993/p/9632555.html

北林计算机考研真题答案,真题解析|『北林』2020年考研初试真题

原标题&#xff1a;真题解析&#xff5c;『北林』2020年考研初试真题真题解析&#xff5c;『北林』2020年考研初试真题前言从今年的考试题型来看未做改变&#xff0c;(选择、名词解释、简答、论述)但分数分布略有更改。从考试内容来看&#xff0c;基本持平于去年的难易程度&…

安卓APP_ 控件(8)—— AlertDialog

摘自&#xff1a;安卓APP_ 控件&#xff08;8&#xff09;—— AlertDialog 作者&#xff1a;丶PURSUING 发布时间&#xff1a; 2021-04-02 18:13:20 网址&#xff1a;https://blog.csdn.net/weixin_44742824/article/details/115400659 显示对话框&#xff0c;效果如下图&…

iBatis 到 MyBatis区别

简介&#xff1a; 本文主要讲述了 iBatis 2.x 和 MyBatis 3.0.x 的区别&#xff0c;以及从 iBatis 向 MyBatis 移植时需要注意的地方。通过对本文的学习&#xff0c;读者基本能够了解 MyBatis 有哪些方面的改进&#xff0c;并能够顺利使用 MyBatis 进行开发。本文更适合有 iBat…

python开源库生成式对抗网络_Python:使用Tensorflow开发一维生成对抗网络

生成式对抗网络是一种用于训练生成器模型的深度学习体系结构。GAN由两个模型组成&#xff0c;一个称为生成器(Generator)&#xff0c;另一个称为判别器(Discriminator)。顾名思义&#xff0c;生成器生成新样本&#xff0c;判别器负责对生成的样本进行真伪分类。GAN实际如何运作…

Java执行存储过程

1、JDBC调用存储过程: CallableStatement /** *p是要调用的存储过程的名字&#xff0c;存储过程的4个参数&#xff0c;用4个&#xff1f;号占位符代替 *其余地方写法固定 */ CallableStatement cstmt conn.prepareCall("{call p(?,?,?,?)}"); /** *告诉JDBC&…

2014 计算机网络 考研真题,2014计算机网络考研试题过关必练

2009全国硕士研究生入学考试过关必练_网络试题一&#xff0e; 通过选择题过关必练1. 常用的数据传输速率单位有Kbps、Mbps、Gbps与Tbps&#xff0c;1Mbps等于A. 1103bps B. 1106bps C. 1109bps D. 11012bps2. 常用的数据传输速率单位有Kbps、Mbps、Gbps&#xff0c;如果局域网的…

安卓APP_ 控件(9)—— PopupWindow弹窗

摘自&#xff1a;安卓APP_ 控件&#xff08;9&#xff09;—— PopupWindow弹窗 作者&#xff1a;丶PURSUING 发布时间&#xff1a; 2021-04-05 14:41:35 网址&#xff1a;https://blog.csdn.net/weixin_44742824/article/details/115405555 实现效果如下&#xff1a; 点击触发…

mysql5.6主从参数详解

mysql5.6的主从相当的不错&#xff0c;增加了不少参数&#xff0c;提升了主从同步的安全和效率&#xff0c;以下是mysql5.6主从参数详解。######################################### server_id 2 #binlog log-bin /data1/mysql/binlog/binlog binlog_format ROW binlog-row…

3D 立体 backface-visibility

<!DOCTYPE html> <html><head><!--backface-visibility属性用来设置&#xff0c;是否显示元素的背面&#xff0c;默认是显示的backface-visibility:keyword;keyword有两个值&#xff0c;hidden和visible&#xff0c;默认是是visible所以是在每个元素里面设…

计算机网址登录教程,melogincn电脑登录教程

请问melogincn使用电脑登录设置的教程&#xff1f;在电脑上怎么登陆水星(美科星)无线路由器的后台&#xff0c;通过melogincn&#xff0c;试了下发现不知道如何打开&#xff0c;求分享用melogincn用电脑登录设置的教程。使用环境描述&#xff1a;melogincn实际上应该是melogin.…

从外网给新建的Exchange 2007/2010分发通讯组发邮件失败

前几天部署Exchange2010时建立了几个通讯组邮箱&#xff0c;测试下来发现只有exchange内部组员进行邮件交流没有问题&#xff0c;外网发送到组邮箱时会收到#550 5.7.1 RESOLVER.RST.AuthRequired; authentication required ##的错误&#xff0c;当时没有找出问题原因&#xff0…