搜索筛选:
搜索耗时1.8038秒,为你在为你在102,285,761篇论文里面共找到 6 篇相符的论文内容
发布年度:
[期刊论文] 作者：缪力,,
来源：时代人物 年份：2009
冬日的圣彼得堡迎来了难得的阳光,格外耀眼。虽然是零下20度的气温,但有阳光陪伴,特别是马上要见到俄罗斯著名女画家梅尔尼科娃.维拉.安德烈耶娃,让我们并不感到寒冷。...
[期刊论文] 作者：刘震,缪力,
来源：长沙铁道学院学报：社会科学版 年份：2009
软件模型检查技术是当前软件可靠性研究领域的一个研究热点,可以补充测试技术之不足。介绍了基于流分析的模型检查技术,以及基于这种技术所提出的一种Java程序模型检查方法,...
[期刊论文] 作者：曾伟,缪力,
来源：湖南城市学院学报：自然科学版 年份：2009
随着语义Web不断发展,本体数量不断增加,为了增强Web服务语义的精确度,利用网络距离模型方法中概念层次结构树的结构信息、信息论模型方法中概念的语义信息量来进行边的权重...
[期刊论文] 作者：周志远, 张大方, 缪力,,
来源：计算机工程与设计 年份：2009
随着多核处理器的发展,多线程并发程序成为现代程序设计的趋势。但并发线程的执行存在不确定性,传统的测试方法很难发现这类错误。针对这个问题,提出了一种直接分析Java源代...
[期刊论文] 作者：黄谷,缪力,张大方,周志远,
来源：计算机工程与设计 年份：2009
随着网络协议复杂性的增大，如何发现其自身的潜在错误变得非常重要。为了发现传统测试手段难以检测的错误，采用模型检查技术分析和验证网络协议。从TCP协议设计规范中提取了包......
[期刊论文] 作者：,
来源：鉴藏 年份：2009
缪力：笔名 叶草 晓辉，1947年出，生北京人，中共党员，大学毕业。...
相关搜索：
