中文版 | English

在结果中检索

CSpace

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

已选(0)清除 条数/页：   排序方式：
An acupoint-originated human interstitial fluid circulatory network 期刊论文
CHINESE MEDICAL JOURNAL, 2021, 卷号: 134, 期号: 19, 页码: 2365-2369
作者:  Li, Hong-Yi;  Wang, Fang;  Chen, Min;  Zheng, Zhi-Jian;  Yin, Ya-Jun;  Hu, Jun;  Li, Hua;  Sammer, Andreas;  Feigl, Georg;  Maurer, Norbert;  Ma, Chao;  Ji, Fu-Sui
收藏  |  浏览/下载：49/0  |  提交时间：2021/12/01
Architectural Support for NVRAM Persistence in GPUs 期刊论文
IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, 2020, 卷号: 31, 期号: 5, 页码: 1107-1120
作者:  Chen, Sui;  Liu, Lei;  Zhang, Weihua;  Peng, Lu
收藏  |  浏览/下载：58/0  |  提交时间：2020/12/10
NVRAM  persistence  GPUs  helper warps  
能量收集与协作网络安全容量优化技术 期刊论文
计算机研究与发展, 2019, 卷号: 56.0, 期号: 003, 页码: 533
作者:  吴嘉鑫;  武继刚;  陈龙;  隋秀峰
收藏  |  浏览/下载：14/0  |  提交时间：2023/12/04
认知无线电  协作通信  能量收集  安全容量  窃听者  
Contrary description logic: Gentzen deduction system 期刊论文
SCIENCE CHINA-INFORMATION SCIENCES, 2017, 卷号: 60, 期号: 11, 页码: 9
作者:  Li, Wei;  Sui, Yuefei;  Luo, Jie;  Chen, Bo
收藏  |  浏览/下载：62/0  |  提交时间：2019/12/10
description logics  contradictory  contrary  soundness  completeness  
Contrary description logic： Gentzen deduction system 期刊论文
中国科学：信息科学（英文版）, 2017, 卷号: 60.0, 期号: 011, 页码: 112103
作者:  Li Wei;  Sui Yuefei;  Luo Jie;  Chen Bo
收藏  |  浏览/下载：11/0  |  提交时间：2023/12/04
描述逻辑  演绎系统  构造函数  金  语义  
Constructing Edge-Colored Graph for Heterogeneous Networks 期刊论文
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2015, 卷号: 30, 期号: 5, 页码: 1154-1160
作者:  Hou, Rui;  Wu, Ji-Gang;  Chen, Yawen;  Zhang, Haibo;  Sui, Xiu-Feng
收藏  |  浏览/下载：50/0  |  提交时间：2019/12/13
network reliability  homogeneous fault  fault tolerance  reconfigurable system  network-on-chip  
Supporting Differentiated Services in Computers via Programmable Architecture for Resourcing-on-Demand (PARD) 期刊论文
ACM SIGPLAN NOTICES, 2015, 卷号: 50, 期号: 4, 页码: 131-143
作者:  Ma, Jiuyue;  Sui, Xiufeng;  Sun, Ninghui;  Li, Yupeng;  Yu, Zihao;  Huang, Bowen;  Xu, Tianni;  Yao, Zhicheng;  Chen, Yun;  Wang, Haibin;  Zhang, Lixin;  Bao, Yungang
收藏  |  浏览/下载：78/0  |  提交时间：2019/12/13
Hardware/Software Interface  QoS  Data Center  
基于布尔语义的Gentzen推导模型 期刊论文
计算机科学与探索, 2015, 卷号: 9.0, 期号: 002, 页码: 221
作者:  陈博;  眭跃飞
收藏  |  浏览/下载：10/0  |  提交时间：2023/12/04
布尔代数  命题逻辑  不等式  完备性  
公式分层的谓词模态逻辑 期刊论文
软件学报, 2014, 卷号: 25.0, 期号: 005, 页码: 1014
作者:  孙梅莹;  邓少波;  陈博;  曹存根;  眭跃飞
收藏  |  浏览/下载：11/0  |  提交时间：2023/12/04
跨可能世界相等  谓词模态逻辑  可变论域语义  Ⅴ-性质  可靠性  完备性  
两级同步:面向众核处理器的并行仿真机制 期刊论文
系统仿真学报, 2013, 卷号: 25, 期号: 12, 页码: 2806
作者:  朱小东;  吴俊敏;  唐轶轩;  陈国良;  隋秀峰
收藏  |  浏览/下载：14/0  |  提交时间：2023/12/04
并行仿真  众核处理器  同步机制  前瞻量