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

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

帮助

已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序WOS被引频次升序WOS被引频次降序提交时间升序提交时间降序期刊影响因子升序期刊影响因子降序题名升序题名降序发表日期升序发表日期降序
	A fast test compaction method using dedicated Pure MaxSAT solver embedded in DFT flow 期刊论文 INTEGRATION-THE VLSI JOURNAL, 2025, 卷号: 100, 页码: 11 作者:  Chao, Zhiteng;  Zhang, Xindi;  Huang, Junying;  Liu, Zizhen;  Zhao, Yixuan;  Ye, Jing;  Cai, Shaowei;  Li, Huawei;  Li, Xiaowei 收藏  |  浏览/下载：3/0  |  提交时间：2024/12/06 Static test compaction  Pure MaxSAT  DFT  ATPG
	ReN Human: Learning Relightable Neural Implicit Surfaces for Animatable Human Rendering 期刊论文 ACM TRANSACTIONS ON GRAPHICS, 2024, 卷号: 43, 期号: 5, 页码: 22 作者:  Xie, Rengan;  Huang, Kai;  Cho, In-Young;  Yang, Sen;  Chen, Wei;  Bao, Hujun;  Zheng, Wenting;  Li, Rong;  Huo, Yuchi 收藏  |  浏览/下载：1/0  |  提交时间：2024/12/06 Relighting  sign distance function  animatable human  inverse rendering  volume rendering
	On Modeling and Detecting Trojans in Instruction Sets 期刊论文 IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2024, 卷号: 43, 期号: 10, 页码: 3226-3239 作者:  Zhang, Ying;  He, Aodi;  Li, Jiaying;  Rezine, Ahmed;  Peng, Zebo;  Larsson, Erik;  Yang, Tao;  Jiang, Jianhui;  Li, Huawei 收藏  |  浏览/下载：1/0  |  提交时间：2024/12/06 Trojan horses  Security  Program processors  Companies  Inspection  Hardware security  Reverse engineering  Deep test for security  hidden instruction Trojan (HIT)  unbounded model checking (UMC)  VLSI test
	Cross-Model Comparative Loss for Enhancing Neuronal Utility in Language Understanding 期刊论文 ACM TRANSACTIONS ON INFORMATION SYSTEMS, 2024, 卷号: 42, 期号: 5, 页码: 29 作者:  Zhu, Yunchang;  Pang, Liang;  Wu, Kangxi;  Lan, Yanyan;  Shen, Huawei;  Cheng, Xueqi 收藏  |  浏览/下载：2/0  |  提交时间：2024/12/06 Natural language understanding  question answering  pseudo-relevance feedback  loss function
	A Task-Adaptive In-Situ ReRAM Computing for Graph Convolutional Networks 期刊论文 IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2024, 卷号: 43, 期号: 9, 页码: 2635-2646 作者:  He, Yintao;  Li, Bing;  Wang, Ying;  Liu, Cheng;  Li, Huawei;  Li, Xiaowei 收藏  |  浏览/下载：2/0  |  提交时间：2024/12/06 Task analysis  Sparse matrices  Convolution  Convolutional neural networks  Design automation  Neural networks  Integrated circuits  Graph convolutional network  hardware acceleration  processing-in-memory
	Pearl: A Multi-Derivation Approach to Efficient CFL-Reachability Solving 期刊论文 IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2024, 卷号: 50, 期号: 9, 页码: 2379-2397 作者:  Shi, Chenghang;  Li, Haofeng;  Sui, Yulei;  Lu, Jie;  Li, Lian;  Xue, Jingling 收藏  |  浏览/下载：1/0  |  提交时间：2024/12/06 Production  Standards  Termination of employment  Redundancy  Optimization  Heuristic algorithms  Symbols  Program analysis  CFL-reachability  constraint solving  transitive relations
	DPU-Direct: Unleashing Remote Accelerators via Enhanced RDMA for Disaggregated Datacenters 期刊论文 IEEE TRANSACTIONS ON COMPUTERS, 2024, 卷号: 73, 期号: 8, 页码: 2081-2095 作者:  Liao, Yunkun;  Wu, Jingya;  Lu, Wenyan;  Li, Xiaowei;  Yan, Guihai 收藏  |  浏览/下载：1/0  |  提交时间：2024/12/06 Central Processing Unit  Engines  Jitter  Computers  Pipelines  Programming  Encryption  Disaggregated datacenter  SmartNIC  RDMA  hardware accelerator
	FPIA: Communication-Aware Multi-Chiplet Integration With Field-Programmable Interconnect Fabric on Reusable Silicon Interposer 期刊论文 IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS I-REGULAR PAPERS, 2024, 页码: 13 作者:  Jiao, Bo;  Xu, Lei;  Yu, Xinyu;  Yang, Haitao;  Zhu, Haozhe;  Wang, Yu;  Zhu, Jundong;  Wen, Dexin;  Wang, Lingli;  Tao, Jun;  Chen, Chixiao;  Han, Yinhe;  Liu, Qi;  Sun, Ninghui;  Liu, Ming 收藏  |  浏览/下载：1/0  |  提交时间：2024/12/06 Chiplet integration  silicon interposer  placement  routing  communication-aware
	An Energy-Efficient In-Memory Accelerator for Graph Construction and Updating 期刊论文 IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2024, 卷号: 43, 期号: 6, 页码: 1781-1793 作者:  Chen, Mingkai;  Liu, Cheng;  Liang, Shengwen;  He, Lei;  Wang, Ying;  Zhang, Lei;  Li, Huawei;  Li, Xiaowei 收藏  |  浏览/下载：2/0  |  提交时间：2024/12/06 Memory management  Buildings  Bandwidth  Hardware  Social networking (online)  Energy efficiency  Parallel processing  Graph construction  graph updating  near-data processing  nearest neighbors  power gating  stacked memory
	An Automatic Neural Network Architecture-and-Quantization Joint Optimization Framework for Efficient Model Inference 期刊论文 IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2024, 卷号: 43, 期号: 5, 页码: 1497-1510 作者:  Liu, Lian;  Wang, Ying;  Zhao, Xiandong;  Chen, Weiwei;  Li, Huawei;  Li, Xiaowei;  Han, Yinhe 收藏  |  浏览/下载：7/0  |  提交时间：2024/12/06 Optimization  Quantization (signal)  Computer architecture  Training  Computational modeling  Integrated circuit modeling  Convergence  Automatic joint optimization  efficient model inference  network quantization  neural architecture search (NAS)