中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR

Search Results

Help

Item hits: (Results 1-10 of 24)

Items/Page:    Sort:
基于反例制导抽象精化的安全性验证 [学位论文]
博士, 北京: 中国科学院研究生院, 2016-05-25
王伟锋
  |  
 
基于容器技术的性能测试服务资源管理 [期刊论文]
计算机应用与软件, 2016-01-01, 卷号: 33, 期号: 7, 页码: 5-9
王晓冉; 王伟; 陈铁南; 袁鑫晨; 支孟轩
  |  
 
基于OpenCL的若干机器学习算法GPU实现及优化 [学位论文]
硕士, 北京: 中国科学院研究生院, 2014-05-28
王伟俨
  |  
 
面向内存数据网格的分布式事务保障机制 [期刊论文]
计算机科学与探索, 2014-01-01, 卷号: 8, 期号: 7, 页码: 812-822
刘朝辉; 王伟; 王彦士; 魏峻

 
基于云的Web应用性能测试服务平台 [期刊论文]
计算机系统应用, 2013-01-01, 期号: 10, 页码: 33-38
李萱; 王伟; 张文博; 范国闯

 
内存数据网格数据访问引擎的设计与实现 [期刊论文]
计算机工程与设计, 2013-01-01, 卷号: 34, 期号: 11, 页码: 3883-3888
纪树平; 王伟; 叶春杨; 周勇; 魏峻

 
基于随机Petri网的高性能计算系统作业调度及InfiniBand网络互连的性能分析 [会议论文]
2013全国高性能计算学术年会, 桂林, 2013
李智佳; 胡翔; 焦莉; 王伟锋

 
支持透明集成的数据缓存机制 [会议论文]
第十二届全国软件与应用学术会议(NASAC2012), 天津, 2013
王彦士; 王伟; 刘朝辉; 魏峻; 黄涛

 
基于OpenCL的图像矩算法的实现与优化 [会议论文]
2013全国高性能计算学术年会, 桂林, 2013
王靖; 张云泉; 龙国平; 颜深根; 吴再龙; 解庆春; 王伟俨

 
基于OpenCL的Kmeans算法的优化研究 [会议论文]
2013全国高性能计算学术年会, 桂林, 2013
吴再龙; 张云泉; 徐建良; 贾海鹏; 颜深根; 王伟俨

 

1 2 3 next

 

Valid XHTML 1.0!
Copyright © 2007-2019  中国科学院软件研究所 - Feedback
Powered by CSpace