×
验证码:
换一张
忘记密码?
记住我
×
统一认证登录
登录
中文版
|
English
上海科技大学知识管理系统
ShanghaiTech University Knowledge Management System
统一认证登录
登录
注册
ALL
ORCID
题名
作者
发表日期
关键词
文献类型
DOI
出处
存缴日期
收录类别
出版者
学习讨论厅
图片搜索
粘贴图片网址
首页
研究单元&专题
作者
文献类型
学科分类
知识图谱
知识整合
学习讨论厅
在结果中检索
研究单元&专题
信息科学与技术学院 [3]
作者
宋富 [1]
耿浩 [1]
陈宇奇 [1]
文献类型
会议论文 [2]
期刊论文 [1]
发表日期
2024 [1]
2023 [2]
出处
IEEE TRANS... [1]
LECTURE NO... [1]
PROCEEDING... [1]
语种
英语 [3]
资助项目
Ministry o... [1]
Ministry o... [1]
NRF Invest... [1]
National N... [1]
Shanghai P... [1]
资助机构
收录类别
EI [3]
CPCI-S [1]
SCI [1]
SCOPUS [1]
状态
已发表 [2]
×
知识图谱
KMS
反馈留言
浏览/检索结果:
共3条,第1-3条
帮助
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
WOS被引频次升序
WOS被引频次降序
期刊影响因子升序
期刊影响因子降序
提交时间升序
提交时间降序
作者升序
作者降序
发表日期升序
发表日期降序
题名升序
题名降序
Knowing The Spec to Explore The Design via Transformed Bayesian Optimization
会议论文
PROCEEDINGS - DESIGN AUTOMATION CONFERENCE, San Francisco, CA, United states, June 23, 2024 - June 27, 2024
作者:
Donger, Luo
;
Qi, Sun
;
Xinheng, Li
;
Chen, Bai
;
Bei, Yu
Adobe PDF(1430Kb)
|
收藏
|
浏览/下载:165/6
|
提交时间:2024/12/27
Gaussian distribution
Integrated circuit design
Optimal systems
Pareto principle
Printed circuit design
Problem oriented languages
Space applications
System-on-chip
Architecture designs
Bayesian optimization
Chip design
Chip-scale
Design space exploration
Design specification
Exploration methods
Language model
Pareto front
SoC architecture
An Automata-Theoretic Approach to Synthesizing Binarized Neural Networks
会议论文
LECTURE NOTES IN COMPUTER SCIENCE (INCLUDING SUBSERIES LECTURE NOTES IN ARTIFICIAL INTELLIGENCE AND LECTURE NOTES IN BIOINFORMATICS), Singapore, Singapore, October 24, 2023 - October 27, 2023
作者:
Tao, Ye
;
Liu, Wanwei
;
Song, Fu
;
Liang, Zhen
;
Wang, Ji
Adobe PDF(733Kb)
|
收藏
|
浏览/下载:446/131
|
提交时间:2023/11/24
Automata theory
Digital arithmetic
Specification languages
Automata-theoretic approach
Binary values
Computing cost
Fixed points
Floating point numbers
Neural-networks
Point representations
Quantisation
Resourceconstrained devices
Storage costs
Specification-based Autonomous Driving System Testing
期刊论文
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING;, 2023, 卷号: 49, 期号: 6, 页码: 3391-3410
作者:
Yuan Zhou
;
Yang Sun
;
Yun Tang
;
Yuqi Chen
;
Jun Sun
Adobe PDF(2966Kb)
|
收藏
|
浏览/下载:313/0
|
提交时间:2023/03/24
Autonomous Driving System
Coverage Criteria
Fuzzing
Planning
Roads
Sensors
Specification Languages
Sun
Testing
Vehicle dynamics
首页
上一页
1
下一页
末页