中国开放科研知识云: 检索

验证码:

换一张

忘记密码？记住我

取消登录

CORC

首页
科研机构
检索
知识图谱
申请加入
托管服务

在结果中检索

科研机构

软件研究所 [10]

科技战略咨询研究院 [1]

水土保持研究所 [1]

内容类型

期刊论文 [11]

会议论文 [1]

发表日期

学科主题

Computer ... [12]

Engineerin... [2]

Artificial... [1]

Electrical... [1]

Hardware &... [1]

知识图谱

CORC

已提交作品

待认领作品

已认领作品

未提交全文

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

帮助

限定条件	学科主题：Computer Science

已选(0)清除条数/页：排序方式：
	Compliance optimization of a continuum with bimodulus material under multiple load cases 期刊论文 COMPUTER-AIDED DESIGN, 2013, 卷号: 45, 期号: 2, 页码: 195-203 作者: Cai, Kun; Gao, Zhaoliang; Shi, Jiao 收藏 \| 浏览/下载：15/0 \| 提交时间：2016/01/06 Topology optimization Bimodulus material Multiple load cases Material-replacement method
	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

相关链接
欧盟学术资源开放存取平台
CALIS高校机构知识库
台湾学术机构典藏
香港机构知识库整合系统
中国科学院机构知识库网格系统

CORC
关于我们
服务条款
隐私条款

联系我们
0931-8270076
cspace@llas.ac.cn
China-OR

中文简体

©版权所有 ©2017 CSpace - Powered by CSpace