聚类工具

0
帮助 本站公告
您现在所在的位置:网站首页 > 知识中心 > 检索结果
排序:
期刊文章 Java程序数据竞争的增量式检测
出处:西安交通大学学报 2009年第8期 22-27,58,共7页
摘要:针对静态竞争检测无额外运行开销但精度低,而动态竞争检测精度高但因插桩有额外运行开销,在实际Java虚拟... 显示全部
关键词: 增量式检测 数据竞争 程序分析 锁集 发生序关系
在线阅读 下载全文
期刊文章 一种面向动态链状数据结构的指针定值引用链算法
出处:小型微型计算机系统 2011年第7期1412-1417,共6页
摘要:采用流敏感的方法分析计算过程内操作动态链状数据结构的指针定值引用链.目的是连接对链状数据结构进行定... 显示全部
关键词: 定值引用链 到达定值 别名分析 程序分析 动态链状数据结构
在线阅读 下载全文
期刊文章 计算机语言课程考核方式的探索
出处:信息与电脑:理论版 2013年第6期
摘要:课程考核是教学中的重要环节,由于计算机语言课程具有很强的实践性,所以沿用一般的终结性考核方式不能全面... 显示全部
关键词: 计算机语言 语言课程 课程作业 课程考核方式 上机实践 终结性考核 语言类课程 可视化语言 教学效果 程序分析
期刊文章 程序模型检测的两阶段框架
出处:计算机应用 2007年第12期 3089-3091,共3页
摘要:模型检测是一种对有限状态变迁系统验证其时态逻辑性质的重要方法,可以弥补测试技术的不足。基于流分析的程... 显示全部
关键词: 程序模型检测 流分析 程序分析
在线阅读 下载全文
期刊文章 ABC:一种全生命周期软件体系结构建模方法
出处:中国科学:信息科学 2014年第5期564-587,共24页
摘要:随着计算机硬件能力的快速增长和软件应用规模的不断扩大,软件的复杂性也在持续增长.并始终制约着软件开... 显示全部
关键词: 软件复杂性 软件体系结构 特征模型 运行时模型 程序分析 网构软件
在线阅读 下载全文
找到5条结果
`