搜索筛选:
搜索耗时3.4638秒,为你在为你在102,285,761篇论文里面共找到 2 篇相符的论文内容
发布年度:
[期刊论文] 作者：石佳钦,
来源：现代计算机：下半月版 年份：2008
介绍一种用于程序静态分析检测的规约语言的设计与实现，对该语言的理论基础、要素、语法等进行了详细阐述，并通过对实验结果的对比分析，证明该语言的可靠性和实用性。...
[会议论文] 作者：邹建峰,石佳钦,
来源：第13届全国计算机、网络在现代科学技术领域的应用学术会议 年份：2007
随着IPv6网络的逐渐到来,基于IPv6网络的中间件还不成熟,特别是多媒体视讯会议中,还没有形成良好体系的中间件系统,导致很多重复的工作。本文根据当前IPv6网络多媒体视讯会议...
相关搜索：
