×
验证码:
换一张
忘记密码?
记住我
×
统一认证登录
登录
中文版
|
English
上海科技大学知识管理系统
ShanghaiTech University Knowledge Management System
统一认证登录
登录
注册
ALL
ORCID
题名
作者
发表日期
关键词
文献类型
DOI
出处
存缴日期
收录类别
出版者
学习讨论厅
图片搜索
粘贴图片网址
首页
研究单元&专题
作者
文献类型
学科分类
知识图谱
知识整合
学习讨论厅
在结果中检索
研究单元&专题
信息科学与技术学院 [11]
作者
Boris Hous... [2]
谭惠予 [2]
屠可伟 [1]
Schwertfeg... [1]
宋富 [1]
刘义晛 [1]
更多...
文献类型
会议论文 [8]
期刊论文 [3]
发表日期
2025 [2]
2024 [2]
2023 [2]
2022 [1]
2021 [2]
2020 [1]
更多...
出处
PROCEEDING... [2]
2016 AMERI... [1]
2021 IEEE/... [1]
EUROPEAN J... [1]
FORMAL MET... [1]
IACR TRANS... [1]
更多...
语种
英语 [11]
资助项目
CAS Projec... [1]
ISCAS Fund... [1]
ISCAS New ... [1]
National N... [1]
ShanghaiTe... [1]
State Key ... [1]
更多...
资助机构
收录类别
EI [11]
CPCI-S [5]
CPCI [4]
SCI [1]
SCIE [1]
×
知识图谱
KMS
反馈留言
浏览/检索结果:
共11条,第1-10条
帮助
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
提交时间升序
提交时间降序
作者升序
作者降序
发表日期升序
发表日期降序
WOS被引频次升序
WOS被引频次降序
期刊影响因子升序
期刊影响因子降序
题名升序
题名降序
Fast and Lightweight: A real-time parallelizable MPC for embedded systems
期刊论文
EUROPEAN JOURNAL OF CONTROL, 2025, 卷号: 83
作者:
Jiang, Yuning
;
Fedorová, Kristína
;
Su, Junyan
;
Oravec, Juraj
;
Houska, Boris
HTML(62Kb)
|
收藏
|
浏览/下载:16/0
|
提交时间:2025/04/11
C (programming language)
Linear control systems
Open loop control
Open source software
Optimal control systems
Quadratic programming
Affine function
Distributed optimization
Embedded control
Model-predictive control
Multi-parametric optimizations
Open source implementation
Piece-wise
Quadratic programming problems
Real- time
Real-time control
Compositional Verification of Cryptographic Circuits Against Fault Injection Attacks
会议论文
FORMAL METHODS, PT II, FM 2024, null,Milan,ITALY, SEP 09-13, 2024
作者:
Tan, Huiyu
Adobe PDF(595Kb)
|
收藏
|
浏览/下载:334/1
|
提交时间:2024/10/11
Benchmarking
Boolean functions
Open source software
Compositional verification
Cryptographic algorithms
CryptoGraphics
Design and implementations
Error prones
Fault injection attacks
Hardware implementations
Open source tools
Physical attacks
Sub-circuits
SAT-based Formal Verification of Fault Injection Countermeasures for Cryptographic Circuits∗
期刊论文
IACR TRANSACTIONS ON CRYPTOGRAPHIC HARDWARE AND EMBEDDED SYSTEMS, 2024, 卷号: 2024, 期号: 4, 页码: 1-39
作者:
Tan, Huiyu
;
Gao, Pengfei
;
Song, Fu
;
Chen, Taolue
;
Wu, Zhilin
Adobe PDF(1591Kb)
|
收藏
|
浏览/下载:193/1
|
提交时间:2024/10/11
Benchmarking
Network security
Open source software
Systems analysis
Cryptographic circuit
CryptoGraphics
Design and implementations
Error prones
Fault injection
Fault injection attacks
Fault resistances
Physical attacks
Satisfiability
Verification problems
Open-Source Differentiable Lithography Imaging Framework
会议论文
PROCEEDINGS OF SPIE - THE INTERNATIONAL SOCIETY FOR OPTICAL ENGINEERING, San Jose, CA, United states, February 26, 2024 - February 29, 2024
作者:
Chen, Guojin
;
Geng, Hao
;
Yu, Bei
;
Pan, David Z.
Adobe PDF(873Kb)
|
收藏
|
浏览/下载:228/1
|
提交时间:2024/05/24
HTTP
Integrated circuits
Open source software
Photolithography
Program processors
Semiconductor device manufacture
Computational lithographies
Critical technologies
Differentiable programming
Electronic industries
Imaging modeling
Machine-learning
Open-source
Production cost
Semiconductor manufacturing
Wireless communications
Study on small spacing total internal reflection quantum well infrared focal plane array device
会议论文
PROCEEDINGS OF SPIE - THE INTERNATIONAL SOCIETY FOR OPTICAL ENGINEERING, Nantong, China, September 17, 2022 - September 19, 2022
作者:
Enshan, Shao
;
Xiangyang, Li
;
Hong, Huang
;
Fucheng, Yang
Adobe PDF(898Kb)
|
收藏
|
浏览/下载:274/0
|
提交时间:2023/06/02
Crosstalk
Diffraction
Diffraction gratings
Fabrication
Focal plane arrays
Focusing
Gallium arsenide
III-V semiconductors
Infrared radiation
Open source software
Photons
Pixels
Quantum well infrared photodetectors
Refractive index
Semiconducting gallium
Semiconductor quantum wells
Signal encoding
Active regions
Array devices
Coupling structures
Focal-plane arrays
Grating coupling
Infrared focal planes
MEEP
Performance
Quantum-wells
Total internal reflections
The SLAM Hive Benchmarking Suite
会议论文
IEEE CONFERENCE ON ROBOTICS AND AUTOMATION (ICRA) 2023, London, May 29, 2023 - June 2, 2023
作者:
Yuanyuan Yang
;
Bowen Xu
;
Yinjie Li
;
Sören Schwertfeger
Adobe PDF(328Kb)
|
收藏
|
浏览/下载:380/5
|
提交时间:2023/05/23
Cluster computing
Clustering algorithms
Mapping
Open source software
Robotics
Configuration options
Hardware and software
Localisation Systems
Mapping systems
Open source implementation
Parameter spaces
Robotic systems
Simultaneous localization and mapping
Simultaneous localization and mapping algorithms
System features
CoProtector: Protect Open-Source Code against Unauthorized Training Usage with Data Poisoning
会议论文
WWW 2022 - PROCEEDINGS OF THE ACM WEB CONFERENCE 2022, Virtual, Online, France, April 25, 2022 - April 29, 2022
作者:
Sun, Zhensu
;
Du, Xiaoning
;
Song, Fu
;
Ni, Mingze
;
Li, Li
Adobe PDF(2115Kb)
|
收藏
|
浏览/下载:558/1
|
提交时间:2022/05/27
Deep learning
Open Data
Open source software
Computer science research
Copyleft
Data poisoning
Dataset protection
Deep learning
Ethical problems
Learn+
Learning models
Open-source code
Security problems
Simplified deep forest model based just-in-time defect prediction for android mobile apps
期刊论文
IEEE TRANSACTIONS ON RELIABILITY, 2021, 卷号: 70, 期号: 2, 页码: 848-859
作者:
Kunsong Zhao
;
Zhou Xu
;
Tao Zhang
;
Yutian Tang
;
Meng Yan
Adobe PDF(3900Kb)
|
收藏
|
浏览/下载:288/0
|
提交时间:2021/12/03
Classification (of information)
Defects
Forecasting
Forestry
Just in time production
Quality assurance
Cascade structures
Classification models
Comparative methods
Data representations
Defect prediction
Explosive growth
High
dimensional feature space
Performance indicators
Mobile applications
Predictive models
Feature extraction
Task analysis
Open source software
Vegetation
Deep forest
feature representation learning
just-in-time (JIT) defect prediction
mobile apps
quality assurance
IntelliGen: Automatic Driver Synthesis for Fuzz Testing
会议论文
2021 IEEE/ACM 43RD INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: SOFTWARE ENGINEERING IN PRACTICE (ICSE-SEIP 2021), ELECTR NETWORK, MAY 25-28, 2021
作者:
Adobe PDF(413Kb)
|
收藏
|
浏览/下载:354/84
|
提交时间:2021/08/27
Fuzz Testing
Fuzz Driver Synthesis
Software Analysis
Vulnerability Detection
Open source software
Degrees of automation
Driver program
Fuzz driver synthesis
Labour
intensive
Open source projects
Real world projects
Software analysis
Type inferences
Vulnerability detection
Towards Holistic and Automatic Evaluation of Open-Domain Dialogue Generation
会议论文
THE 58TH ANNUAL MEETING OF THE ASSOCIATION FOR COMPUTATIONAL LINGUISTICS (ACL 2020), Virtual, Online, United states, July 5, 2020 - July 10, 2020
作者:
Pang, Bo
;
Nijkamp, Erik
;
Han, Wenjuan
;
Zhou, Linqi
;
Liu, Yixian
Adobe PDF(532Kb)
|
收藏
|
浏览/下载:3048/756
|
提交时间:2020/11/30
Computational linguistics
Open systems
Open source software
Automatic evaluation
Dialogue generations
Evaluation metrics
Gold standards
Holistic evaluations
Human evaluation
ITS evaluation
N-grams
Self-consistency
Textual entailment
首页
上一页
1
2
下一页
末页