已选(0)清除
条数/页: 排序方式: |
| 无权访问的条目 学位论文 作者: 陈博 Adobe PDF(1537Kb)  |  收藏  |  浏览/下载:0/0  |  提交时间:2016/01/19 |
| 基于布尔语义的Gentzen推导模型 期刊论文 计算机科学与探索, 2015, 卷号: 9.0, 期号: 002, 页码: 221 作者: 陈博; 眭跃飞 收藏  |  浏览/下载:10/0  |  提交时间:2023/12/04 布尔代数 命题逻辑 不等式 完备性 |
| 无权访问的条目 期刊论文 作者: 黄美玉; 尹苓琳; 纪雯; 张博宁; 王向东; 陈益强 Adobe PDF(638Kb)  |  收藏  |  浏览/下载:0/0  |  提交时间:2014/06/11 |
| 公式分层的谓词模态逻辑 期刊论文 软件学报, 2014, 卷号: 25.0, 期号: 005, 页码: 1014 作者: 孙梅莹; 邓少波; 陈博; 曹存根; 眭跃飞 收藏  |  浏览/下载:11/0  |  提交时间:2023/12/04 跨可能世界相等 谓词模态逻辑 可变论域语义 Ⅴ-性质 可靠性 完备性 |
| 无权访问的条目 学位论文 作者: 陈祥博 Adobe PDF(794Kb)  |  收藏  |  浏览/下载:0/0  |  提交时间:2012/06/26 |
| 无权访问的条目 学位论文 作者: 陈博文 Adobe PDF(2566Kb)  |  收藏  |  浏览/下载:0/0  |  提交时间:2011/06/07 |
| 多核平台共享内存操作系统性能瓶颈分析及解决 期刊论文 计算机研究与发展, 2011, 卷号: 48.0, 期号: 012, 页码: 2268 作者: 袁清波; 赵健博; 陈明宇; 孙凝晖 收藏  |  浏览/下载:10/0  |  提交时间:2023/12/04 多核 异构操作系统 锁竞争 cache 性能评测 |
| 无权访问的条目 期刊论文 作者: 宋博; 陈明宇; 樊建平 Adobe PDF(1063Kb)  |  收藏  |  浏览/下载:0/0  |  提交时间:2010/10/18 |
| 一种基于进程执行行为分析的图形界面交互系统性能评测方法 期刊论文 计算机学报, 2009, 卷号: 000, 期号: 007, 页码: 1393 作者: 樊建平; 宋博; 陈明宇 收藏  |  浏览/下载:11/0  |  提交时间:2023/12/04 实际执行时间 图形界面系统 内核profiling 程序执行行为比对 区间最大相关算法 |
| 无权访问的条目 期刊论文 作者: 许建卫; 陈明宇; 郑规; 刘涛; 杨伟; 潘晓雷; 赵健博; 包云岗; 袁清波 Adobe PDF(562Kb)  |  收藏  |  浏览/下载:0/0  |  提交时间:2009/12/18 |