期刊文献+
共找到2篇文章
< 1 >
每页显示 20 50 100
一个用于Java程序可达性测试的改进方案 被引量:3
1
作者 孙玉霞 陈火炎 《微计算机信息》 北大核心 2006年第06X期252-254,36,共4页
Java程序的并发性使它比串行程序更难测试,而可达性测试是一种有效的并发程序测试方法。首先比较了现有的Java程序可达性测试技术,进而提出了一种融合的改进方案以提高同步序列集的生成效率。然后指出新方案已覆盖了用伯恩斯坦条件裁减... Java程序的并发性使它比串行程序更难测试,而可达性测试是一种有效的并发程序测试方法。首先比较了现有的Java程序可达性测试技术,进而提出了一种融合的改进方案以提高同步序列集的生成效率。然后指出新方案已覆盖了用伯恩斯坦条件裁减同步序列集的功能。最后详述如何通过扫描源程序来自动获取同步事件的时序约束关系,进而减少不可行的同步序列,并介绍了相应的实现算法和数据结构。 展开更多
关键词 可达性测试 同步序列 伯恩斯坦条件 时序约束
下载PDF
Spacelike Graphs with Parallel Mean Curvature in Pseudo-Riemannian Product Manifolds 被引量:1
2
作者 Zicheng ZHAO 《Chinese Annals of Mathematics,Series B》 SCIE CSCD 2012年第1期17-32,共16页
Abstract The author introduces the w-function defined on the considered spacelike graph M. Under the growth conditions w = o(log z) and w = o(r), two Bernstein type theorems for M in Rm^n+m are got, where z and r... Abstract The author introduces the w-function defined on the considered spacelike graph M. Under the growth conditions w = o(log z) and w = o(r), two Bernstein type theorems for M in Rm^n+m are got, where z and r are the pseudo-Euclidean distance and the distance function on M to some fixed point respectively. As the ambient space is a curved pseudo- Riemannian product of two Riemannian manifolds (∑1,g1) and (∑2,g2) of dimensions n and m, a Bernstein type result for n =2 under some curvature conditions on E1 and E2 and the growth condition w = o(r) is also got. As more general cases, under some curvature conditions on the ambient space and the growth condition w = o(r) or w = o(√r), the author concludes that if M has parallel mean curvature, then M is maximal. 展开更多
关键词 Product manifold Spacelike graph Parallel mean curvature MAXIMAL BERNSTEIN
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部