×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
北京大学 [31]
软件研究所 [30]
清华大学 [11]
北京航空航天大学 [8]
沈阳自动化研究所 [6]
厦门大学 [4]
更多...
内容类型
期刊论文 [46]
会议论文 [33]
其他 [23]
学位论文 [12]
专利 [2]
专著 [1]
更多...
发表日期
2023 [1]
2022 [1]
2021 [1]
2020 [1]
2018 [2]
2017 [5]
更多...
学科主题
Computer S... [2]
Computer S... [2]
计算机科学技术其他学... [2]
计算机科学技术基础学... [2]
计算机科学技术::计... [1]
计算机科学技术::计... [1]
更多...
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共117条,第1-10条
帮助
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
作者升序
作者降序
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
Parallel Transportation in TransVerse: From Foundation Models to DeCAST
期刊论文
IEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS, 2023, 页码: 18
作者:
Zhao, Chen
;
Wang, Xiao
;
Lv, Yisheng
;
Tian, Yonglin
;
Lin, Yilun
收藏
  |  
浏览/下载:12/0
  |  
提交时间:2023/11/16
Cyber-physical-social systems (CPSS)
artificial systems
computational experiments
parallel execution (ACP)
decentralized/distributed autonomous operations and organizations (DAO)
big AI models
The research activities on test platform of high payload transporter joint for a tokamak
期刊论文
FUSION ENGINEERING AND DESIGN, 2022, 卷号: 180
作者:
Wang, Yan
;
Wang, Li
;
Choi, Chang-Hwan
;
Bai, Xiaowei
;
Yao, Damao
收藏
  |  
浏览/下载:7/0
  |  
提交时间:2022/12/23
Remote handling
Test platform
Scheme design
Strength analysis
Load test
面向Web应用的回归测试选择工具设计与实现
学位论文
硕士, 北京: 中国科学院研究生院, 2021
作者:
敖泽柳
收藏
  |  
浏览/下载:27/0
  |  
提交时间:2021/06/11
软件测试
回归测试
回归测试选择
Web测试
Software-Based Self-Testing Using Bounded Model Checking for Out-of-Order Superscalar Processors
期刊论文
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2020, 卷号: 39, 期号: 3, 页码: 714-727
作者:
Zhang, Ying
;
Chakrabarty, Krishnendu
;
Peng, Zebo
;
Rezine, Ahmed
;
Li, Huawei
收藏
  |  
浏览/下载:19/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)
Generative Adversarial Networks for Parallel Transportation Systems
期刊论文
IEEE INTELLIGENT TRANSPORTATION SYSTEMS MAGAZINE, 2018, 卷号: 10, 期号: 3, 页码: 4-10
作者:
Lv, Yisheng
;
Chen, Yuanyuan
;
Li, Li
;
Wang, Fei-Yue
收藏
  |  
浏览/下载:35/0
  |  
提交时间:2018/01/08
Generative Adversarial Networks
Parallel Transportation Systems
Acp
Deep Learnin
Parallel Learning
Parallel Intelligence
A Feedback Prediction Model for Resource Usage and Offloading Time in Edge Computing
会议论文
美国, 2018
作者:
Menghan Zheng
;
Yubin Zhao
;
Xi Zhang
;
Cheng-Zhong Xu
;
Xiaofan Li
收藏
  |  
浏览/下载:32/0
  |  
提交时间:2019/01/31
How Do Assertions Impact Coverage-based Test-Suite Reduction?
其他
2017-01-01
Chen, Junjie
;
Bai, Yanwei
;
Hao, Dan
;
Zhang, Lingming
;
Zhang, Lu
;
Xie, Bing
收藏
  |  
浏览/下载:2/0
  |  
提交时间:2017/12/03
PRIORITIZATION
TOOL
E-Spector: Online Energy Inspection for Android Applications
其他
2017-01-01
Wang, Chengke
;
Guo, Yao
;
Shen, Peng
;
Chen, Xiangqun
收藏
  |  
浏览/下载:8/0
  |  
提交时间:2017/12/03
Energy testing
mobile applications
static analysis
Android
Debugging multithreaded programs using symbolic analysis
会议论文
作者:
Zhang, Xiaodong
;
Liu, Ting
;
Yang, Zijiang
收藏
  |  
浏览/下载:10/0
  |  
提交时间:2019/11/26
Complete coverages
Debugging methods
Dynamic analysis techniques
Dynamic execution
Multi-threaded programs
Multithreaded softwares
Sequential softwares
Synergistic integration
Automated Testing of Definition-Use Data Flow for Multithreaded Programs
会议论文
作者:
Zhang, Xiaodong
;
Yang, Zijiang
;
Zheng, Qinghua
;
Liu, Pei
;
Chang, Jialiang
收藏
  |  
浏览/下载:3/0
  |  
提交时间:2019/11/26
Multithreaded Program
Definition-Use
Symbolic Analysis
Guided Execution
©版权所有 ©2017 CSpace - Powered by
CSpace