中文版 | English

在结果中检索

CSpace

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

已选(0)清除 条数/页：   排序方式：
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  
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)  
Generic Sensitivity: Generics-Guided Context Sensitivity for Pointer Analysis 期刊论文
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2024, 卷号: 50, 期号: 5, 页码: 1144-1162
作者:  Li, Haofeng;  Tan, Tian;  Li, Yue;  Lu, Jie;  Meng, Haining;  Cao, Liqing;  Huang, Yongheng;  Li, Lian;  Gao, Lin;  Di, Peng;  Lin, Liang;  Cui, Chenxi
收藏  |  浏览/下载：2/0  |  提交时间：2024/12/06
Sensitivity  Receivers  Java  Resource management  Codes  Software  Benchmark testing  Pointer analysis  generic programming  context sensitivity  
On-Line Fault Protection for ReRAM-Based Neural Networks 期刊论文
IEEE TRANSACTIONS ON COMPUTERS, 2023, 卷号: 72, 期号: 2, 页码: 423-437
作者:  Li, Wen;  Wang, Ying;  Liu, Cheng;  He, Yintao;  Liu, Lian;  Li, Huawei;  Li, Xiaowei
收藏  |  浏览/下载：23/0  |  提交时间：2023/07/12
Training  Fault detection  Computational modeling  Image edge detection  Memristors  Neural networks  Kernel  Deep neural network  hard fault  ReRAM  reliability  soft fault  
PGC-Net: A Light Weight Convolutional Sequence Network for Digital Pressure Gauge Calibration 期刊论文
IEEE ACCESS, 2019, 卷号: 7, 页码: 123280-123288
作者:  Li, Lei;  Li, Yong;  Lian, Kechao;  Bian, Xiaoyu;  Yang, Kuan;  Tian, Yongzhi
收藏  |  浏览/下载：84/0  |  提交时间：2019/12/10
Digital pressure gauge calibration  automatic meter reading  sequence text recognition  light weight CNN  digital gauge dataset  
面向Android应用隐私泄露检测的多源污点分析技术 期刊论文
软件学报, 2019, 卷号: 30.0, 期号: 002, 页码: 211
作者:  王蕾;  周卿;  何冬杰;  李炼;  冯晓兵
收藏  |  浏览/下载：13/0  |  提交时间：2023/12/04
程序分析  污点分析  软件安全  静态分析  Android  
NONCODEV5: a comprehensive annotation database for long non-coding RNAs 期刊论文
NUCLEIC ACIDS RESEARCH, 2018, 卷号: 46, 期号: D1, 页码: D308-D314
作者:  Fang, ShuangSang;  Zhang, LiLi;  Guo, JinCheng;  Niu, YiWei;  Wu, Yang;  Li, Hui;  Zhao, Lian He;  Li, Xi Yuan;  Teng, Xue Yi;  Sun, XianHui;  Sun, Liang;  Zhang, Michael Q.;  Chen, RunSheng;  Zhao, Yi
收藏  |  浏览/下载：82/0  |  提交时间：2019/12/10
Migration-Based Online CPSCN Big Data Analysis in Data Centers 期刊论文
IEEE ACCESS, 2018, 卷号: 6, 页码: 19270-19277
作者:  Li, Xin;  Wang, Liangyuan;  Lian, Zhen;  Qin, Xiaolin
收藏  |  浏览/下载：45/0  |  提交时间：2019/12/10
Big data analysis  CPSCN  data center  data placement  online job scheduling  
Immunopurification and Mass Spectrometry Identifies Protein Phosphatase 2A (PP2A) and BIN2/GSK3 as Regulators of AKS Transcription Factors in Arabidopsis 期刊论文
MOLECULAR PLANT, 2017, 卷号: 10, 期号: 2, 页码: 345-348
作者:  Bu, Shuo-Lei;  Liu, Chao;  Liu, Ning;  Zhao, Ji-Long;  Ai, Lian-Feng;  Chi, Hao;  Li, Kathy L.;  Chien, Chih-Wei;  Burlingame, Alma L.;  Zhang, Sheng-Wei;  Wang, Zhi-Yong
收藏  |  浏览/下载：73/0  |  提交时间：2019/12/12
污点分析技术的原理和实践应用 期刊论文
软件学报, 2017, 卷号: 28.0, 期号: 004, 页码: 860
作者:  王蕾;  李丰;  李炼;  冯晓兵
收藏  |  浏览/下载：19/0  |  提交时间：2023/12/04
污点分析  信息流分析  软件安全  静态分析与动态分析  Android  Web