×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
软件研究所 [10]
内容类型
期刊论文 [9]
会议论文 [1]
发表日期
2012 [2]
2011 [1]
2010 [6]
2008 [1]
学科主题
Computer ... [10]
Engineerin... [2]
Artificial... [1]
Electrical... [1]
Hardware &... [1]
Informatio... [1]
更多...
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共10条,第1-10条
帮助
限定条件
学科主题:Computer Science
专题:软件研究所
第一署名单位
第一作者单位
通讯作者单位
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
作者升序
作者降序
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
PLASMA自适应调优与性能优化的设计与实现
期刊论文
Computer Science, 2012, 卷号: 39, 期号: 4, 页码: 282-286
吕渐春
;
张云泉
;
王婷
;
肖玄基
收藏
  |  
浏览/下载:10/0
  |  
提交时间:2012/11/12
LAPACK
PLASMA
LAPACK
PLASMA
Auto-tuning
Optimization
static rate-optimal scheduling of multirate dsp algorithms via retiming and unfolding
会议论文
18th IEEE Real Time and Embedded Technology and Applications Symposium, RTAS 2012, Beijing, China, April 17, 2012 - April 19, 2012
Zhu Xue-Yang
;
Geilen Marc
;
Basten Twan
;
Stuijk Sander
收藏
  |  
浏览/下载:14/0
  |  
提交时间:2013/09/22
Optimization
automatic verification of optimization algorithms: a case study of a quadratic assignment problem solver
期刊论文
International Journal of Software Engineering and Knowledge Engineering, 2011, 卷号: 21, 期号: 2, 页码: 289-307
Merkel Robert
;
Wang Daoming
;
Lin Huimin
;
Chen Tsong Yueh
收藏
  |  
浏览/下载:13/0
  |  
提交时间:2013/10/08
Computer software selection and evaluation
Optimization
Verification
an improved method for progressive animation models generation
期刊论文
SCIENCE CHINA-INFORMATION SCIENCES, 2010, 卷号: 53, 期号: 7, 页码: 1312-1321
Zhang ShiXue
;
Zhao JinYu
;
Wu EnHua
收藏
  |  
浏览/下载:11/0
  |  
提交时间:2011/05/23
animation models
LOD
progressive mesh
mesh optimization
clustering with feature order preferences
期刊论文
INTELLIGENT DATA ANALYSIS, 2010, 卷号: 14, 期号: 4, 页码: 479-495
Sun Jun
;
Zhao Wenbo
;
Xue Jiangwei
;
Shen Zhiyong
;
Shen Yidong
收藏
  |  
浏览/下载:18/0
  |  
提交时间:2011/05/23
Clustering
domain knowledge
Bregman divergence
feature order preferences
entropy regularization
prototype-based clustering
convex optimization
quadratic programming
a problem reduction based approach to discrete optimization algorithm design
期刊论文
COMPUTING, 2010, 卷号: 88, 期号: 40545, 页码: 31-54
Zheng Yujun
;
Xue Jinyun
收藏
  |  
浏览/下载:7/0
  |  
提交时间:2011/05/23
Discrete optimization
Program calculation
Problem reduction graph (PRG)
Algorithm design
采用了剪枝优化的子类型关系判定算法
期刊论文
软件学报, 2010, 卷号: 21, 期号: 7, 页码: 1481-1490
戴晓君
;
陈海明
收藏
  |  
浏览/下载:6/0
  |  
提交时间:2011/05/23
XML
静态类型化语言
类型检查
子类型关系判定
算法优化XML
statically typed language
type checking
subtyping
algorithm optimization
一种基于安全状态转移的简并测试集生成方法
期刊论文
软件学报, 2010, 卷号: 21, 期号: 3, 页码: 539-547
程亮
;
张阳
;
冯登国
收藏
  |  
浏览/下载:21/0
  |  
提交时间:2011/05/23
安全操作系统测评
形式化方法
模型检测
测试用例化简
简并测试集security operating system verification
formal method
model checking
test case optimization
degenerate test set
基于pCTL的循环优化测试用例自动生成方法
期刊论文
小型微型计算机系统, 2010, 卷号: 31, 期号: 3, 页码: 436-440
余侠
;
薛云志
;
陶秋铭
收藏
  |  
浏览/下载:20/0
  |  
提交时间:2011/05/23
pCTL
循环优化
测试用例生成
覆盖率pCTL
loop optimization
test case generation
coverage test
thta: triangle-shaped hierarchy aggregation time allocation algorithm for wireless sensor network
期刊论文
WCNC 2008: IEEE WIRELESS COMMUNICATIONS & NETWORKING CONFERENCE, VOLS 1-7, 2008, 期号: 1, 页码: 2397-2402
Huangfu Wei
;
Duan Bin
;
Sun Limin
;
Chen Canfeng
;
Ma Jian
收藏
  |  
浏览/下载:12/0
  |  
提交时间:2011/06/10
data aggregation
Wireless Sensor Network
optimization
transmission delay
hierarchy factors
critical aggregation level
©版权所有 ©2017 CSpace - Powered by
CSpace