QQ客服 官方微博 反馈留言

浏览/检索结果: 共6条，第1-6条 帮助 限定条件 专题：软件研究所    第一署名单位    第一作者单位    通讯作者单位     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 基于锁信息的多线程软件原子性错误检测方法 期刊论文 计算机应用与软件, 2014, 卷号: 31, 期号: 6, 页码: 1-4,94 王云飞; 刘剑; 马越 收藏  |  浏览/下载：16/0  |  提交时间：2014/12/16 多线程软件  原子性错误  锁信息  模型检测  动态优化  Multi-threaded program  Atomicity violation  Lock information  Model checking  Dynamic optimisation   一种通用的Shadow SSDT原始地址获取新方式 期刊论文 计算机应用与软件, 2014, 卷号: 31, 期号: 6, 页码: 66-68,119 霍亮; 马恒太; 张楠 收藏  |  浏览/下载：15/0  |  提交时间：2014/12/16 Shadow SSDT  win32k.sys  Shadow SSDT钩子  Shadow SSDT恢复  Shadow SSDT  win32k.sys  Shadow SSDT hook  Shadow SSDT recovery   Accurate gaze tracking from single camera using gabor corner detector 期刊论文 Multimedia Tools and Applications, 2014 Xia, L. (1); Sheng, Bin (1); Wu, Wen (2); Ma, Lizhuang (1); Li, Ping (3) 收藏  |  浏览/下载：21/0  |  提交时间：2014/12/16 藏文分词及文本资源挖掘研究 学位论文 博士, 北京: 中国科学院研究生院, 2012 刘汇丹 收藏  |  浏览/下载：11/0  |  提交时间：2012/12/20 藏文编码  藏文分词  藏文紧缩词  藏文数字识别  条件随机场  藏文文本资源挖掘  藏文搜索引擎  文本语料   多线程二进制程序的原子性错误检测 学位论文 硕士, 北京: 中国科学院研究生院, 2012 李潇 收藏  |  浏览/下载：8/0  |  提交时间：2012/06/18 并发程序  原子性错误  模型检测  软件测试   parallelization and performance optimization on face detection algorithm with opencl: a case study 期刊论文 Tsinghua Science and Technology, 2012, 卷号: 17, 期号: 3, 页码: 287-295 Wang Weiyan; Zhang Yunquan; Yan Shengen; Zhang Ying; Jia Haipeng 收藏  |  浏览/下载：18/0  |  提交时间：2013/09/17 Algorithms  Optimization