×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
软件研究所 [5]
内容类型
期刊论文 [3]
会议论文 [2]
发表日期
2013 [5]
学科主题
Computer S... [1]
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共5条,第1-5条
帮助
限定条件
发表日期:2013
专题:软件研究所
第一署名单位
第一作者单位
通讯作者单位
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
作者升序
作者降序
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
recursive diffusion layers for (lightweight) block ciphers and hash functions
会议论文
19th International Conference on Selected Areas in Cryptography, SAC 2012, Windsor, ON, Canada, August 15, 2012 - August 16, 2012
Wu Shengbao
;
Wang Mingsheng
;
Wu Wenling
收藏
  |  
浏览/下载:15/0
  |  
提交时间:2013/09/22
Hardware
Hash functions
Linear transformations
Lyapunov methods
Matrix algebra
Photons
Security of data
Shift registers
Radl 形式规格说明相对正确性研究
期刊论文
Journal of Software, 2013, 卷号: 24, 期号: 4
Wang Changjing
;
Xue Jinyun
收藏
  |  
浏览/下载:13/0
  |  
提交时间:2013/09/17
形式规格说明
相对正确性
确认
扩展的逻辑系统
辅助证明算法
DaisyVA:支持信息多面体可视分析的智能交互式可视化平台
期刊论文
计算机辅助设计与图形学学报, 2013, 卷号: 25, 期号: 8, 页码: 1177-1182
杜一
;
任磊
收藏
  |  
浏览/下载:22/0
  |  
提交时间:2014/12/16
信息可视化
可视分析
人机交互
界面模型
信息多面体
信息可视化工具箱
information visualization
visual analytics
human computer interaction
interface model
multi-facet information
information visualization toolkit
A survey of code-based change impact analysis techniques
期刊论文
SOFTWARE TESTING VERIFICATION & RELIABILITY, 2013, 卷号: 23, 期号: 8, 页码: 613-646
Li, Bixin
;
Sun, Xiaobing
;
Leung, Hareton
;
Zhang, Sai
收藏
  |  
浏览/下载:17/0
  |  
提交时间:2014/12/16
change impact analysis
survey
source code
application
boomerang and slide-rotational analysis of the sm3 hash function
会议论文
19th International Conference on Selected Areas in Cryptography, SAC 2012, Windsor, ON, Canada, August 15, 2012 - August 16, 2012
Kircanski Aleksandar
;
Shen Yanzhao
;
Wang Gaoli
;
Youssef Amr M.
收藏
  |  
浏览/下载:9/0
  |  
提交时间:2013/09/22
Artificial intelligence
©版权所有 ©2017 CSpace - Powered by
CSpace