QQ客服 官方微博 反馈留言

浏览/检索结果: 共5条，第1-5条 帮助 限定条件 学科主题：Computer Science (provided by Thomson Reuters)     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 面向远程虚拟桌面的应用程序推送技术研究 期刊论文 计算机科学, 2013, 卷号: 40, 期号: 5, 页码: 31-34 蒋媛园; 武延军 收藏  |  浏览/下载：21/0  |  提交时间：2013/09/17 远程虚拟桌面  图形指令过滤  应用程序推送   基于OpenCL的连续数据无关访存密集型函数并行与优化研究 期刊论文 计算机科学, 2013, 卷号: 40, 期号: 3, 页码: 111-115 蒋丽媛; 张云泉; 龙国平; 贾海鹏 收藏  |  浏览/下载：7/0  |  提交时间：2013/09/17 GPU  OpenCL  向量化  ROI   基于有限约束满足问题的溢出漏洞动态检测方法 期刊论文 计算机学报, 2012, 卷号: 35, 期号: 5, 页码: 898-909 陈恺; 冯登国; 苏璞睿 收藏  |  浏览/下载：23/0  |  提交时间：2012/11/12 Dynamic analysis  Security of data   龙芯3A上三个自适应FFT包的对比与分析 期刊论文 计算机科学, 2012, 卷号: 39, 期号: 12, 页码: 281-285 赵美超; 张云泉; 刘益群; 李焱; 颜深根 收藏  |  浏览/下载：24/0  |  提交时间：2013/09/17 FFTW  UHFFT  SPIRAL  Loongson 3A  FFT   MOTEC:一个存储一致性模型验证工具 期刊论文 计算机工程, 2012, 卷号: 38, 期号: 11, 页码: 242-246 吕正; 陈昊; 陈峰; 吕毅 收藏  |  浏览/下载：8/0  |  提交时间：2012/11/12 multicore processor  memory consistency model  formal verification  dynamic validation  memory system  validation tool