×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
软件研究所 [63]
内容类型
期刊论文 [40]
会议论文 [17]
学位论文 [6]
发表日期
2016 [1]
2015 [1]
2014 [1]
2013 [7]
2012 [14]
2011 [7]
更多...
学科主题
Computer S... [9]
Engineerin... [4]
计算机科学技术基础学... [3]
Engineerin... [2]
Informatio... [2]
Computer S... [1]
更多...
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共63条,第1-10条
帮助
限定条件
专题:软件研究所
第一署名单位
第一作者单位
通讯作者单位
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
作者升序
作者降序
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
Deciding probabilistic automata weak bisimulation: theory and practice
期刊论文
FORMAL ASPECTS OF COMPUTING, 2016, 卷号: 28, 期号: 1, 页码: 109-143
Fioriti, LMF
;
Hashemi, V
;
Hermanns, H
;
Turrini, A
收藏
  |  
浏览/下载:20/0
  |  
提交时间:2016/12/09
Complexity
Compositional analysis
Concurrency
Efficiency
Linear programming
Probabilistic automata
Satisfiability modulo theories
Weak bisimulation
Zero-Correlation Linear Cryptanalysis of Reduced-Round SIMON
期刊论文
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2015, 卷号: 30, 期号: 6, 页码: 1358-1369
Yu, XL
;
Wu, WL
;
Shi, ZQ
;
Zhang, J
;
Zhang, L
;
Wang, YF
收藏
  |  
浏览/下载:26/0
  |  
提交时间:2016/12/13
lightweight block cipher
SIMON
linear cryptanalysis
zero-correlation
dual property
Remote sensing image segmentation based on Dynamic Statistical Region Merging
期刊论文
Optik, 2014, 卷号: 125, 期号: 2, 页码: 870-875
Huang, Zhijian (1)
;
Zhang, Jinfang (2)
;
Li, Xiang (1)
;
Zhang, Hui (2)
收藏
  |  
浏览/下载:18/0
  |  
提交时间:2014/12/16
Statistical Region Merging
Multi-scale segmentation
Remote sensing image
Region growing
Symbolic termination analysis of solvable loops
期刊论文
JOURNAL OF SYMBOLIC COMPUTATION, 2013, 卷号: 50, 页码: 28-49
Xu, Ming
;
Li, Zhi-Bin
收藏
  |  
浏览/下载:22/0
  |  
提交时间:2014/12/16
Program verification
Termination analysis
Polynomial loops
Symbolic computation
Quantifier elimination
Real root bounds
低轮MIBS分组密码的积分分析
期刊论文
计算机研究与发展, 2013, 卷号: 50, 期号: 10, 页码: 2117-2125
于晓丽
;
吴文玲
;
李艳俊
收藏
  |  
浏览/下载:13/0
  |  
提交时间:2014/12/16
积分分析
轻量级分组密码
部分和技术
时间复杂度
数据复杂度
A linear-time complexity algorithm for solving the dyck-cfl reachability problem on bi-directed trees
会议论文
5th International Conference on Machine Vision: Computer Vision, Image Analysis and Processing, ICMV 2012, Wuhan, China, October 20, 2012 - October 21, 2012
Sun, Xiaoshan (1)
;
Zhang, Yang (2)
;
Cheng, Liang (2)
收藏
  |  
浏览/下载:22/0
  |  
提交时间:2014/12/16
基于组合线性最小二乘回归的盲定量隐写分析
期刊论文
计算机应用与软件, 2013, 卷号: 30, 期号: 8, 页码: 1-3,8
张纪宇
;
赵险峰
;
黄炜
;
盛任农
收藏
  |  
浏览/下载:16/0
  |  
提交时间:2014/12/16
高维特征
盲定量隐写分析
组合回归
LLSR
High-dimensional feature
Blind quantitative steganalysis
Ensemble regression
Linear least squares regression
An Improved KM Algorithm for Computing Structural Index of DAE System
会议论文
12th International Symposium on Distributed Computing and Applications to Business, Engineering and Science (DCABES), London, ENGLAND, SEP 02-04, 2012
Zeng, Yan
;
Wu, Xuesong
;
Cao, Jianwen
收藏
  |  
浏览/下载:14/0
  |  
提交时间:2014/12/16
DAE
Index Reduction
Structural Index
Bipartite Graph
Greedy
KM Algorithm
Scalable network traffic visualization using compressed graphs
会议论文
2013 IEEE International Conference on Big Data, Big Data 2013, Santa Clara, CA, United states, October 6, 2013 - October 9, 2013
Shi, Lei (1)
;
Liac, Qi (2)
;
Sun, Xiaohua (3)
;
Chen, Yarui (4)
;
Lin, Chuang (4)
收藏
  |  
浏览/下载:26/0
  |  
提交时间:2014/12/16
Security
Visualization
Graph Compression
On the approximation of S-boxes via Maiorana-McFarland functions
期刊论文
IET Information Security, 2013, 卷号: 7, 期号: 2, 页码: 134-143
Wei, Yongzhuang (1)
;
Pasalic, Enes (3)
收藏
  |  
浏览/下载:20/0
  |  
提交时间:2014/12/16
©版权所有 ©2017 CSpace - Powered by
CSpace