中文版 | English

在结果中检索

CSpace

浏览/检索结果: 共17条，第1-10条 帮助

限定条件                        
已选(0)清除 条数/页：   排序方式：
SVM-based Method for Detecting Ranking Functions in Polynomial Loop Programs 期刊论文
Ruan Jian Xue Bao/Journal of Software, 2019, 卷号: 30, 期号: 7, 页码: 1903-1915
作者:  Li, Yi;  Cai, Tian-Xun;  Fan, Jian-Feng;  Wu, Wen-Yuan;  Feng, Yong
收藏  |  浏览/下载：259/0  |  提交时间：2020/02/18
基于同态门限密码体制的投票协议 期刊论文
计算机应用, 2017, 页码: 1-7
作者:  代小康;  陈长波;  吴文渊
Adobe PDF(440Kb)  |  收藏  |  浏览/下载：160/0  |  提交时间：2018/03/16
投票协议  门限密码体制  同态加密  健壮性  无可信第三方  
基于HElib的安全电子投票方案 期刊论文
计算机应用研究, 2017, 卷号: 34, 期号: 7, 页码: 2167-2171
作者:  王永恒;  徐晨;  陈经纬;  吴文渊
Adobe PDF(307Kb)  |  收藏  |  浏览/下载：113/0  |  提交时间：2018/03/16
有界闭连通域上的非线性循环终止性分析 期刊论文
软件学报, 2016, 卷号: 27, 期号: 3, 页码: 517-526
作者:  李轶;  冯勇
Adobe PDF(378Kb)  |  收藏  |  浏览/下载：82/0  |  提交时间：2018/03/16
Termination analysis of non-linear loops over closed and bounded connected domain 期刊论文
Ruan Jian Xue Bao/Journal of Software, 2016, 卷号: 27, 期号: 3, 页码: 517-526
作者:  Li, Yi;  Feng, Yong
收藏  |  浏览/下载：62/0  |  提交时间：2018/03/16
基于HElib的并行多比特明文同态比较模型 期刊论文
计算机应用, 2015, 期号: S2, 页码: 53-56+69
作者:  孙爽;  吴文渊;  王会勇
Adobe PDF(326Kb)  |  收藏  |  浏览/下载：85/0  |  提交时间：2018/03/16
同态加密  BGV  单指令多数据流  明文槽  HElib  
STL文件的法向量错误修复 期刊论文
计算机应用研究, 2015, 卷号: 32, 期号: 10, 页码: 3196-3200
作者:  李文康;  陈长波;  吴文渊
Adobe PDF(344Kb)  |  收藏  |  浏览/下载：82/0  |  提交时间：2018/03/16
有效保留模型特征的自适应分层算法 期刊论文
计算机应用, 2015, 卷号: 35, 期号: 8, 页码: 2295-2300
作者:  李文康;  陈长波;  吴文渊
Adobe PDF(1277Kb)  |  收藏  |  浏览/下载：88/0  |  提交时间：2018/03/16
Termination analysis of multipath loop programs with one variable 期刊论文
Ruan Jian Xue Bao/Journal of Software, 2015, 卷号: 26, 期号: 2, 页码: 297-304
作者:  Li, Yi;  Li, Chuan-Can;  Wu, Wen-Yuan
Adobe PDF(731Kb)  |  收藏  |  浏览/下载：49/0  |  提交时间：2018/03/16
有界闭域上的线性赋值循环终止性分析 期刊论文
软件学报, 2014, 卷号: 25, 期号: 6, 页码: 1133-1142
作者:  李轶;  吴文渊;  冯勇
Adobe PDF(738Kb)  |  收藏  |  浏览/下载：67/0  |  提交时间：2018/03/16