搜索筛选:
搜索耗时0.8364秒,为你在为你在102,285,761篇论文里面共找到 3 篇相符的论文内容
发布年度:
[会议论文] 作者：李刚,吾守尔·斯拉木,
来源：2003年全国理论计算机科学学术年会 年份：2003
本文研究了计算机软件系统中程序正确性验证系统的瓶颈技术,就是如何建立合适的循环不变式,文章提出了四种建立循环不变式的方法....
[期刊论文] 作者：吾守尔·斯拉木,荣涛,康玲,,
来源：计算机与现代化 年份：2003
阐述了在软件测试中错误生命周期的思想,并以一个软件测试管理系统为例,介绍了该思想在具体系统中的应用.对于软件错误管理中的关键文档,给出了模板以供参考....
[期刊论文] 作者：郭永冲,冯泽森,吾守尔·斯拉木,
来源：计算机工程 年份：2003
首先介绍和分析了当前Internet的传输特性，然后根据特性情况提出了解决问题的关键技术，最后具体介绍了一个基于Linux平台的语音传输工具,并且采用RTP(Real-time Transport Prot...
相关搜索：
