中国科学院机构知识库网格系统: 检索

浏览/检索结果: 共4条，第1-4条

帮助

条数/页：排序方式：
	面向多线程程序基于效用的Cache优化策略期刊论文 OAI收割计算机研究与发展, 2013, 卷号: 50.0, 期号: 1.0, 页码: 170 作者: 唐轶轩; 吴俊敏; 陈国良; 隋秀峰; 黄景 \| 收藏 \| 浏览/下载：2/0 \| 提交时间：2023/12/04 多核处理器共享Cache划分插入策略替换算法多线程程序
	多核片上系统的机器模型与核间通信机制的设计与实现学位论文 OAI收割北京: 中国科学院研究生院, 2011 作者: 彭亮 \| 收藏 \| 浏览/下载：8/0 \| 提交时间：2011/06/09 多核片上系统程序划分硬件抽象核间通信
	基于域的编译框架期刊论文 OAI收割计算机学报, 2003, 卷号: 26.0, 期号: 002, 页码: 188 作者: 刘旸; 张兆庆; 乔如良 \| 收藏 \| 浏览/下载：3/0 \| 提交时间：2023/12/04 域编译框架单入多出域多入多出域尾复制比率主出口概率编译程序程序划分法编译器
	标记逻辑程序理论研究:说明语义与过程语义学位论文 OAI收割工学博士, 中国科学院自动化研究所: 中国科学院自动化研究所, 1994 作者: 周生炳收藏 \| 浏览/下载：51/0 \| 提交时间：2015/09/02 非单调推理容错推理标记逻辑程序支持模型诱导序列不循环程序多次极限多重极限表达式的复盖分解和划分 SLD-博弈树删除策略依赖团 nonmonotonic reasoning error-tolerated reasoning annotated logic program acyclic program supported model induced sequence coveri