QQ客服 官方微博 反馈留言

浏览/检索结果: 共7条，第1-7条 帮助 限定条件 学科主题：Computer Science     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择发表日期升序发表日期降序提交时间升序提交时间降序题名升序题名降序作者升序作者降序 PLASMA自适应调优与性能优化的设计与实现 期刊论文 Computer Science, 2012, 卷号: 39, 期号: 4, 页码: 282-286 吕渐春; 张云泉; 王婷; 肖玄基 收藏  |  浏览/下载：10/0  |  提交时间：2012/11/12 LAPACK  PLASMA  LAPACK  PLASMA  Auto-tuning  Optimization   目标识别中的稳定图像特征组合发掘 期刊论文 中国图象图形学报, 2012, 卷号: 17, 期号: 1, 页码: 99-105 姜永兵; 彭启民 收藏  |  浏览/下载：18/0  |  提交时间：2012/11/12 frequent item set  pattern decomposition  pattern summarization  stable pattern   应急训练仿真系统中指挥命令干预的设计与实现 期刊论文 Computer Engineering and Design, 2012, 卷号: 33, 期号: 1, 页码: 306-311 屈树谦; 吕品; 郑昌文 收藏  |  浏览/下载：14/0  |  提交时间：2012/11/12 simulation  emergency training  command intervention  multithread  command file   地球外层空间物体真实感成像建模与绘制研究 期刊论文 电子学报, 2011, 卷号: 39, 期号: 10, 页码: 2307-2310,2316 柳庆武; 郑昌文; 张翼 收藏  |  浏览/下载：18/0  |  提交时间：2013/10/08 空间物体  真实感成像  微面元  双向反射分布函数   基于延后策略的动态多路径分析方法 期刊论文 计算机学报, 2010, 卷号: 33, 期号: 3, 页码: 493-503 陈恺; 冯登国; 苏璞睿 收藏  |  浏览/下载：11/0  |  提交时间：2011/05/23 多路径分析  可执行程序  漏洞检测  动态分析  延后策略Dynamic analysis   基于属性的远程证明模型 期刊论文 通信学报, 2010, 卷号: 31, 期号: 8, 页码: 40551 于爱民; 冯登国; 汪丹 收藏  |  浏览/下载：15/0  |  提交时间：2011/05/23 基于属性的远程证明  信任图  可信策略  可判定性property based remote attestation  trust graph  trusted policy  decidability   基于pCTL的循环优化测试用例自动生成方法 期刊论文 小型微型计算机系统, 2010, 卷号: 31, 期号: 3, 页码: 436-440 余侠; 薛云志; 陶秋铭 收藏  |  浏览/下载：20/0  |  提交时间：2011/05/23 pCTL  循环优化  测试用例生成  覆盖率pCTL  loop optimization  test case generation  coverage test