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