中国科学院计算技术研究所机构知识库(CSpace): 检索

浏览/检索结果: 共4条，第1-4条

帮助

已选(0)清除条数/页：排序方式：
	基于率失真优化的视频编码研究期刊论文中国科学院研究生院学报, 2007, 卷号: 24.0, 期号: 1.0, 页码: 137 作者: MA SiWei; GAO Wen 收藏 \| 浏览/下载：13/0 \| 提交时间：2023/12/04 H．264 AVS 率失真优化码率控制假想的参考解码器
	数字电路测试压缩方法研究期刊论文中国科学院研究生院学报, 2007, 卷号: 24.0, 期号: 006, 页码: 847 作者: HAN YinHe; LI XiaoWei 收藏 \| 浏览/下载：12/0 \| 提交时间：2023/12/04 系统芯片测试激励压缩测试响应压缩扫描设计自动测试向量生成（ATPG）不关心位未知位卷积编码
	基于PVS的密码协议形式化规范期刊论文中国科学院研究生院学报, 2002, 卷号: 19.0, 期号: 003, 页码: 233 作者: Zheng Yuan; Hu Chengjun; Lu Shuwang; Shen Changxiang 收藏 \| 浏览/下载：14/0 \| 提交时间：2023/12/04 密码协议形式化规范 PVS 规范语言规范方法加密系统语义编码方式
	基于RTL行为模型的测试产生及时延测试方法期刊论文中国科学院研究生院学报, 2002, 卷号: 19.0, 期号: 002, 页码: 198 作者: 李华伟收藏 \| 浏览/下载：14/0 \| 提交时间：2023/12/04 RTL行为模型测试产生时延测试寄存器传输级有限状态机自动测试向量产生故障诊断集成电路测试

中国科学院计算技术研究所机构知识库