上海科技大学知识管理系统(KMS): 检索

KMS

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

帮助

已选(0)清除条数/页：排序方式：
	SCVerify:抗功耗侧信道攻击软件实现的验证期刊论文计算机科学与探索, 2021, 卷号: 15, 期号: 6, 页码: 1074-1083 作者: 张俊 Adobe PDF(2081Kb) \| 收藏 \| 浏览/下载：193/0 \| 提交时间：2022/12/14 侧信道攻击可满足性模理论(SMT) 软件验证类型推导形式化验证
	KRust:Rust形式化可执行语义期刊论文计算机科学与探索, 2019, 卷号: 13, 期号: 12, 页码: 2008-2014 作者: 王丰 Adobe PDF(3695Kb) \| 收藏 \| 浏览/下载：197/0 \| 提交时间：2022/12/14 编程语言 Rust 语义 K框架
	Bagging-SVM集成分类器估计头部姿态方法期刊论文计算机科学与探索, 2019, 卷号: 13, 期号: 11, 页码: 1935-1944 作者: 梁令羽; 孙铭堃; 何为; 李凤荣 Adobe PDF(5529Kb) \| 收藏 \| 浏览/下载：177/0 \| 提交时间：2022/12/14 头部姿态估计特征融合主成分分析(PCA) Bagging-SVM

上海科技大学知识管理系统