公共文化服务平台

共 3 条记录，以下是 1-2

全选清除导出

排序方式：

并行编程模型的确定性的证明方法及其应用: 如何开发并行程序并保证其正确性是一个研究热点。由于线程交错执行次序的不确定性，测试、调试工作不易覆盖所有执行情况、不易再现出错的执行，于是即使进行大量的测试、调试工作也不能完全保证程序是正确的。确定性并行技术保证程序在相...; 李泉龙; 关键词：并行编程模型; 文献传递

编译时对象回收中的Java库分析研究: 2012年; 在编译辅助的垃圾收集系统中,由于方法的动态绑定等特性,编译时的分析算法保守处理虚方法调用,从而难以识别并显式回收在虚方法调用期间变为不活跃的对象.提出一种改进Java库方法调用的生命期分析策略:它以指向逃逸图为基础来抽象描述库方法对堆中对象活跃状态的改变模式,并将堆变化模式应用到Java程序的对象生命期分析中,从而增强现有对象回收技术对库调用分析的精确性.通过将本文方法应用到Jolden测试程序集中对String相关类的库调用的分析,结果表明新方法以平均增加12%的编译时间开销将显式回收对象的大小提升了33%-37%.; 彭文张昱李泉龙

全选清除导出

共1页<1>

李泉龙