JAVA程序

作品数：1210被引量：1973H指数：16
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：金茂忠钱巨刘超汤德怀李金忠更多>>
相关机构：南京大学东南大学北京航空航天大学吉林大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金安徽省高等学校省级质量工程项目国家高技术研究发展计划江西省高等学校教学改革研究课题更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 机构=复旦大学x
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
处理Java程序不确定性问题的技术研究和综述被引量：1
《计算机应用与软件》2018年第8期9-16,30,共9页季晓枫 宋昶衡 李弋 
国家重点研发计划项目(2016YFB0200501);上海市科委科研计划项目(17511102200)
随着多核处理器的发展,大规模并行程序已经成为了主流。然而与单线程程序不同,并行程序并不能保证程序每次执行的路径都相同。路径不确定性却给程序的性能评估和错误调试带来了许多问题和挑战。而Java虚拟机本身的即时编译,垃圾收集等机...
关键词：JAVA 不确定性 并行程序 
一种对象粒度的Java程序并发错误检测框架被引量：1
《小型微型计算机系统》2013年第6期1295-1300,共6页王笛 杨珉 周曦 
国家核高基重大专项项目(2009ZX01036-001-003)资助
由于多线程程序执行的复杂性和不确定性,Java程序中的并发错误难以被检测和修复.不变式检测方法作为目前最为有效的检测手段,采用提取正确程序行为的方式,能自动识别程序并发错误.但是,传统的不变式检测方法基于单个字段分析程序行为,...
关键词：对象粒度 JAVA 多变量 不变式检测 程序并发错误 
Java程序的对象单赋值分析
《小型微型计算机系统》2012年第7期1498-1502,共5页李健 杨哲慜 杨珉 
国家"核高基"重大专项项目(2009ZX01036-001-003)资助
数据竞争检测、确定性回放等方法被广泛应用于解决多线程程序中由内存访问顺序不确定性引发的数据竞争及死锁等问题.但是,由于上述方法需要监测程序内存访问,所以通常带来很大的运行开销.实验表明,在多线程程序中存在着大量只被赋值一...
关键词：对象单赋值 数据竞争检测 确定性回放 线程局部对象 编译 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部