CSpace

浏览/检索结果: 共13条,第1-10条 帮助

已选(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