中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页
机构
成果
学者
登录
注册
登陆
×
验证码:
换一张
忘记密码?
记住我
×
校外用户登录
CAS IR Grid
机构
软件研究所 [36]
长春光学精密机械与物... [8]
数学与系统科学研究院 [6]
光电技术研究所 [4]
计算技术研究所 [3]
过程工程研究所 [3]
更多
采集方式
OAI收割 [66]
内容类型
会议论文 [37]
期刊论文 [28]
学位论文 [1]
发表日期
2024 [1]
2023 [1]
2021 [1]
2020 [3]
2019 [1]
2018 [1]
更多
学科主题
Computer S... [2]
Biomass [1]
Computer S... [1]
Graphics P... [1]
Wi-fi [1]
微电子学 [1]
更多
筛选
浏览/检索结果:
共66条,第1-10条
帮助
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
题名升序
题名降序
提交时间升序
提交时间降序
作者升序
作者降序
发表日期升序
发表日期降序
Generic Sensitivity: Generics-Guided Context Sensitivity for Pointer Analysis
期刊论文
OAI收割
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2024, 卷号: 50, 期号: 5, 页码: 1144-1162
作者:
Li, Haofeng
;
Tan, Tian
;
Li, Yue
;
Lu, Jie
;
Meng, Haining
  |  
收藏
  |  
浏览/下载:4/0
  |  
提交时间:2024/12/06
Sensitivity
Receivers
Java
Resource management
Codes
Software
Benchmark testing
Pointer analysis
generic programming
context sensitivity
Parallel Software-Based Self-Testing with Bounded Model Checking for Kilo-Core Networks-on-Chip
期刊论文
OAI收割
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2023, 卷号: 38, 期号: 2, 页码: 405-421
作者:
Zhang, Ying
;
Ji, Peng-Fei
;
Zhu, Pan-Wei
;
Peng, Zebo
;
Li, Hua-Wei
  |  
收藏
  |  
浏览/下载:12/0
  |  
提交时间:2023/12/04
software-based self-testing (SBST)
parallel test
kilo-core networks-on-chip (NoCs)
online testing
Simulated Software Testing Process and Its Optimization Considering Heterogeneous Debuggers and Release Time
期刊论文
OAI收割
IEEE ACCESS, 2021, 卷号: 9, 页码: 38649-38659
作者:
Gao, Kaiye
  |  
收藏
  |  
浏览/下载:23/0
  |  
提交时间:2021/04/26
Software
Fault detection
Biological system modeling
Software reliability
Licenses
Software testing
Resource management
Fault detection
optimization
reliability
simulation
software debugging
Optimal selection and release problem in software testing process: A continuous time stochastic control approach
期刊论文
OAI收割
EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, 2020, 卷号: 285, 期号: 1, 页码: 211-222
作者:
Cao, Ping
;
Yang, Ke
;
Liu, Ke
  |  
收藏
  |  
浏览/下载:31/0
  |  
提交时间:2020/06/30
Project management
Software testing process
Dynamic programming
Continuous time stochastic optimal control
Optimal software testing and release
Improving Ranking-Oriented Defect Prediction Using a Cost-Sensitive Ranking SVM
期刊论文
OAI收割
IEEE TRANSACTIONS ON RELIABILITY, 2020, 卷号: 69, 期号: 1, 页码: 139-153
作者:
Yu, Xiao
;
Liu, Jin
;
Keung, Jacky Wai
;
Li, Qing
;
Bennin, Kwabena Ebo
  |  
收藏
  |  
浏览/下载:44/0
  |  
提交时间:2020/06/02
Support vector machines
Software
Prediction algorithms
Predictive models
Testing
Software algorithms
Computer science
Cost-sensitive learning
data imbalance
ranking-oriented defect prediction (RODP)
Software-Based Self-Testing Using Bounded Model Checking for Out-of-Order Superscalar Processors
期刊论文
OAI收割
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2020, 卷号: 39, 期号: 3, 页码: 714-727
作者:
Zhang, Ying
  |  
收藏
  |  
浏览/下载:45/0
  |  
提交时间:2020/12/10
Circuit faults
Built-in self-test
Out of order
Model checking
Integrated circuit modeling
Bounded model checking (BMC)
online testing
out-of-order superscalar processors
software-based self-testing (SBST)
Approach to cross-company spacecraft software defect prediction based on transfer learning
期刊论文
OAI收割
Guangxue Jingmi Gongcheng/Optics and Precision Engineering, 2019, 卷号: 27, 期号: 2, 页码: 469-478
作者:
Q.-H.Ha
;
D.-Y.Liu
;
Y.Chen
;
L.Liu
  |  
收藏
  |  
浏览/下载:114/0
  |  
提交时间:2020/08/24
Software testing,Aerospace engineering,Application programs,Classification (of information),Defects,Efficiency,Forecasting,Learning systems
Design of liquid crystal-deformable mirror adaptive optical system data acquisition and process software
期刊论文
OAI收割
Optics and Precision Engineering, 2018, 卷号: 26, 期号: 6, 页码: 1507-1516
作者:
Wang Yu-kun, 王玉坤
;
Cao Zhao-liang, 曹召良
;
Li Da-yu, 李大禹
;
Xu Huan-yu, 徐焕宇
;
Xuan Li, 宣 丽
  |  
收藏
  |  
浏览/下载:41/0
  |  
提交时间:2019/09/17
Adaptive optics
Adaptive control systems
Data acquisition
Deformation
Laboratories
Liquid crystals
Loudspeakers
Memory architecture
Mirrors
Modular construction
Modulation
Optical systems
Optical testing
Software design
Software testing
Wavefronts
The analysis of measurement accuracy of the parallel binocular stereo vision system
期刊论文
OAI收割
Proceedings of SPIE: 8th International Symposium on Advanced Optical Manufacturing and Testing Technology: Optical Test, Measurement Technology, and Equipment, 2016, 卷号: 9684, 页码: 96841I
作者:
Yu, Huan
;
Xing, Tingwen
;
Jia, Xin
  |  
收藏
  |  
浏览/下载:43/0
  |  
提交时间:2018/06/14
Binocular Vision
Bins
Cameras
Computer Software
Computer Vision
Manufacture
Matlab
Optical Testing
Software Testing
Stereo Image Processing
Design of efficient and simple interface testing equipment for opto-electric tracking system
期刊论文
OAI收割
Proceedings of SPIE: 8th International Symposium on Advanced Optical Manufacturing and Testing Technologies: Large Mirrors and Telescopes, 2016, 卷号: 9682, 页码: 968212
作者:
Liu, Qiong
;
Deng, Chao
;
Tian, Jing
;
Mao, Yao
  |  
收藏
  |  
浏览/下载:30/0
  |  
提交时间:2018/06/14
Automatic Programming
Codes (Symbols)
Computer Software Selection And Evaluation
Efficiency
Electric Variables Measurement
Equipment
Hardware
Manufacture
Mirrors
Optical Testing
Program Processors
Telescopes
Tracking (Position)