CSpace

浏览/检索结果: 共5条,第1-5条 帮助

限定条件    
已选(0)清除 条数/页:   排序方式:
基于指令模板的通用处理器约束随机指令生成方法 期刊论文
计算机工程, 2015, 卷号: 41.0, 期号: 010, 页码: 309
作者:  刘婧;  王天成;  王健;  李华伟
收藏  |  浏览/下载:9/0  |  提交时间:2023/12/04
功能验证  通用处理器  指令模板  指令生成  约束随机指令  
PCIE协议栈模拟验证平台的设计和实现 期刊论文
计算机工程, 2015, 卷号: 41.0, 期号: 006, 页码: 287
作者:  张良;  王天成;  王健;  李华伟;  郭建
收藏  |  浏览/下载:9/0  |  提交时间:2023/12/04
功能验证  PCIE协议栈  协议栈验证  功能覆盖率  约束随机模拟  激励生成  
地方财政收费稽查选案系统的研究与设计 期刊论文
计算机工程, 2007, 卷号: 33.0, 期号: 012, 页码: 267
作者:  丁春玲;  黄永红;  王健华;  刘和洋
收藏  |  浏览/下载:8/0  |  提交时间:2023/12/04
殳费  稽查选案  数据仓库  决策树  联机分析处理  
基于Web的政务系统通用框架的研究与实现 期刊论文
计算机工程, 2006, 卷号: 32.0, 期号: 014, 页码: 263
作者:  刘和洋;  王健华;  黄永红;  丁春玲
收藏  |  浏览/下载:8/0  |  提交时间:2023/12/04
电子政务  框架  J2EE  Web  Spring  
财政票据生命周期管理方法的研究与实现 期刊论文
计算机工程, 2006, 卷号: 32.0, 期号: 012, 页码: 283
作者:  刘和洋;  黄永红;  王健华;  丁春玲
收藏  |  浏览/下载:8/0  |  提交时间:2023/12/04
票据  定制  财政  收费  生命周期管理