王海波
- 作品数：3 被引量：6H指数：2
- 供职机构：中国科学技术大学计算机科学与技术学院更多>>
- 发文基金：中国博士后科学基金江苏省自然科学基金国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 验证带有线程动态创建和退出多线程程序
- 随着计算机硬件平台运算能力的不断提升,计算机软件的规模及复杂度日益增长,同时软件安全性问题也日益突出。如何解决软件安全性,已然成为目前计算机工业领域与研究领域关注的热点问题。当前软件主要依靠安全的程序设计语言与软件测试来...
- 王海波
- 关键词：多线程汇编代码
- 文献传递网络资源链接
- 分布式动态蜂窝QoS路由协议的NS2仿真被引量：3
- 2006年
- 介绍了基于动态蜂窝的移动自组网QoS路由协议,在此基础上描述了该协议在网络仿真器NS2上的实现,并通过仿真实验比较了该协议与基于传统按需以及表驱动的QoS路由协议在包传输率与路由负载上的性能。仿真结果显示:基于动态蜂窝的QoS路由协议明显提高了包传输率,减轻了路由负载。
- 熊焰王海波苗付友王行甫
- 关键词：移动自组网服务质量
- 验证带有线程的动态创建和退出的多线程程序被引量：3
- 2010年
- 近来在程序验证领域,Feng和Shao提出一个类Hoare逻辑的验证框架以验证包含中断的底层程序.在该工作基础上进行扩展,提出一个验证包含线程的动态创建和退出机制程序的框架.框架包含抽象机器模型、指令规范、逻辑推理系统、框架可靠性定理其证明.框架采用Hoare风格的推导方式,使用高阶逻辑描述指令的推理规则和安全策略,为证明带有线程的动态创建和退出的多线程程序的部分正确性提供了一种实用的方法.
- 王海波郭宇陈意云
- 关键词：多线程汇编代码
