中国科学院计算技术研究所机构知识库

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

帮助

限定条件	出处：JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY

已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择期刊影响因子升序期刊影响因子降序发表日期升序发表日期降序提交时间升序提交时间降序作者升序作者降序WOS被引频次升序WOS被引频次降序题名升序题名降序
	IMPULP: A Hardware Approach for In-Process Memory Protection via User-Level Partitioning 期刊论文 JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2020, 卷号: 35, 期号: 2, 页码: 418-432 作者:  Zhao, Yang-Yang;  Chen, Ming-Yu;  Liu, Yu-Hang;  Yang, Zong-Hao;  Zhu, Xiao-Jing;  Hong, Zong-Hui;  Guo, Yun-Ge 收藏  |  浏览/下载：96/0  |  提交时间：2020/12/10 in-process isolation  memory protection  out-of-bounds  user-level partitioning
	CirroData: Yet Another SQL-on-Hadoop Data Analytics Engine with High Performance 期刊论文 JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2020, 卷号: 35, 期号: 1, 页码: 194-208 作者:  Jin, Zheng-Hao;  Shi, Haiyang;  Hu, Ying-Xin;  Zha, Li;  Lu, Xiaoyi 收藏  |  浏览/下载：53/0  |  提交时间：2020/12/10 CirroData  high performance  SQL-on-Hadoop  online analytical processing (OLAP)  Big Data
	Modeling the Correlations of Relations for Knowledge Graph Embedding 期刊论文 JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2018, 卷号: 33, 期号: 2, 页码: 323-334 作者:  Zhu, Ji-Zhao;  Jia, Yan-Tao;  Xu, Jun;  Qiao, Jian-Zhong;  Cheng, Xue-Qi 收藏  |  浏览/下载：69/0  |  提交时间：2019/12/10 knowledge graph embedding  low-rank  matrix decomposition
	Bench IP: Benchmarking Intelligence Processors 期刊论文 JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2018, 卷号: 33, 期号: 1, 页码: 1-23 作者:  Tao, Jin-Hua;  Du, Zi-Dong;  Guo, Qi;  Lan, Hui-Ying;  Zhang, Lei;  Zhou, Sheng-Yuan;  Xu, Ling-Jie;  Liu, Cong;  Liu, Hai-Feng;  Tang, Shan;  Rush, Allen;  Chen, Willian;  Liu, Shao-Li;  Chen, Yun-Ji;  Chen, Tian-Shi 收藏  |  浏览/下载：73/0  |  提交时间：2019/12/10 deep learning  intelligence processor  benchmark
	A Power and Area Optimization Approach of Mixed Polarity Reed-Muller Expression for Incompletely Specified Boolean Functions 期刊论文 JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2017, 卷号: 32, 期号: 2, 页码: 297-311 作者:  He, Zhen-Xue;  Xiao, Li -Min;  Ruan, Li;  Gu, Fei;  Huo, Zhi-Sheng;  Qin, Guang-Jun;  Zhu, Ming-Fa;  Zhang, Long-Bing;  Liu, Rui;  Wang, Xiang 收藏  |  浏览/下载：55/0  |  提交时间：2019/12/12 power and area optimization  Reed-Muller (RM) circuit  Pareto optimal solution  don't care term  chromosome conversion
	Test resource partitioning based on efficient response compaction for test time and tester channels reduction 期刊论文 JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2005, 卷号: 20, 期号: 2, 页码: 201-209 作者:  Han, YH;  Li, XW;  Li, HW;  Chandra, A 收藏  |  浏览/下载：38/0  |  提交时间：2019/12/16 system-on-a-chip (SoC)  test resource partitioning (TRP)  response compaction  diagnose  error cancellation
	Formal verification techniques based on Boolean satisfiability problem 期刊论文 JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2005, 卷号: 20, 期号: 1, 页码: 38-47 作者:  Li, XW;  Li, GH;  Shao, M 收藏  |  浏览/下载：38/0  |  提交时间：2019/12/16 equivalence checking  incremental satisfiability  minimal unsatisfiable formula  model checking
	OpenMP on networks of workstations for software DSMs 期刊论文 JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2002, 卷号: 17, 期号: 1, 页码: 90-100 作者:  Zhang, F;  Chen, GL;  Zhang, ZQ 收藏  |  浏览/下载：65/0  |  提交时间：2019/12/16 OpenMP  NOW  SVM  JIAJIA  NPB (NAS parallel benchmark)
	A loop-based apparatus for at-speed self-testing 期刊论文 JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2001, 卷号: 16, 期号: 3, 页码: 278-285 作者:  Li, XW;  Cheung, PYS 收藏  |  浏览/下载：73/0  |  提交时间：2019/12/16 built-in self-test  at-speed test  multiple input shift register  state transition graph