×
验证码:
换一张
忘记密码?
记住我
×
统一认证登录
登录
中文版
|
English
上海科技大学知识管理系统
ShanghaiTech University Knowledge Management System
统一认证登录
登录
注册
ALL
ORCID
题名
作者
发表日期
关键词
文献类型
DOI
出处
存缴日期
收录类别
出版者
学习讨论厅
图片搜索
粘贴图片网址
首页
研究单元&专题
作者
文献类型
学科分类
知识图谱
知识整合
学习讨论厅
在结果中检索
研究单元&专题
信息科学与技术学院 [55]
物质科学与技术学院 [6]
大科学中心 [4]
创意与艺术学院 [2]
更多...
作者
宋富 [7]
Boris Hous... [4]
邵子瑜 [3]
杨旸 [3]
Schwertfeg... [3]
唐宇田 [3]
更多...
文献类型
会议论文 [33]
期刊论文 [30]
预印本 [2]
发表日期
2025 [5]
2024 [16]
2023 [9]
2022 [12]
2021 [9]
2020 [3]
更多...
出处
IEEE TRANS... [4]
Arxiv [2]
HE JISHU/N... [2]
IEEE TRANS... [2]
JOURNAL OF... [2]
PROCEEDING... [2]
更多...
语种
英语 [56]
中文 [5]
资助项目
ShanghaiTe... [2]
Beijing Mu... [1]
Beijing No... [1]
CAS Projec... [1]
Guangdong ... [1]
Guangdong ... [1]
更多...
资助机构
收录类别
EI [61]
SCI [15]
CPCI-S [14]
CPCI [12]
SCIE [10]
CSCD [2]
更多...
×
知识图谱
KMS
反馈留言
浏览/检索结果:
共65条,第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)
|
收藏
|
浏览/下载:17/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
Erebor: A Drop-In Sandbox Solution for Private Data Processing in Untrusted Confidential Virtual Machines
会议论文
EUROSYS 2025 - PROCEEDINGS OF THE 2025 20TH EUROPEAN CONFERENCE ON COMPUTER SYSTEMS, Rotterdam, Netherlands, March 30, 2025 - April 3, 2025
作者:
Zhang, Chuqi
;
Priolkar, Rahul
;
Jiang, Yuancheng
;
Xiao, Yuan
;
Vij, Mona
收藏
|
浏览/下载:1/0
|
提交时间:2025/04/25
Computer operating systems
Metadata
Modeling languages
Problem oriented languages
Virtual machine
Cloud environments
Common software
Confidential virtual machine
OS design
Private data
Sandboxed container
Sandboxing
Service clouds
Software stacks
Software-as-a- Service (SaaS)
Dep-TEE: Decoupled Memory Protection for Secure and Scalable Inter-enclave Communication on RISC-V
会议论文
PROCEEDINGS OF THE ASIA AND SOUTH PACIFIC DESIGN AUTOMATION CONFERENCE, ASP-DAC, Miraikan 7F, Tokyo, Japan, January 20, 2025 - January 23, 2025
作者:
Pan, Shangjie
;
Peng, Xuanyao
;
Man, Zeyuan
;
Zhao, Xiquan
;
Zhang, Dongrong
收藏
|
浏览/下载:16/0
|
提交时间:2025/04/11
Computer software selection and evaluation
Digital storage
Memory architecture
Privacy by design
Secure communication
Software prototyping
ARM TrustZone
Environment systems
Memory isolation
Memory protection
Page table
Performance and scalabilities
Security and privacy
Security performance
Sensitive application
Trusted execution environments
Compositional Verification of Cryptographic Circuits Against Fault Injection Attacks
会议论文
FORMAL METHODS, PT II, FM 2024, null,Milan,ITALY, SEP 09-13, 2024
作者:
Tan, Huiyu
;
Yang, Xi
;
Song, Fu
;
Chen, Taolue
;
Wu, Zhilin
Adobe PDF(595Kb)
|
收藏
|
浏览/下载:336/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
Learning Fine-Grained and Semantically Aware Mamba Representations for Tampered Text Detection in Images
会议论文
LECTURE NOTES IN COMPUTER SCIENCE (INCLUDING SUBSERIES LECTURE NOTES IN ARTIFICIAL INTELLIGENCE AND LECTURE NOTES IN BIOINFORMATICS), Urumqi, China, October 18, 2024 - October 20, 2024
作者:
Sun, Hao
;
Cao, Jie
;
Zhang, Zhida
;
Wu, Tao
;
Zhou, Kai
收藏
|
浏览/下载:134/0
|
提交时间:2024/12/13
Image enhancement
Space-time block coding (STBC)
Fine grained
Image editing software
Image manipulation
Image manipulation detection
Multi-modal
State-space models
Synthesis techniques
Tampered text detection
Text detection
Text images
SAT-based Formal Verification of Fault Injection Countermeasures for Cryptographic Circuits∗
期刊论文
IACR TRANSACTIONS ON CRYPTOGRAPHIC HARDWARE AND EMBEDDED SYSTEMS, 2024, 卷号: 2024, 期号: 4, 页码: 1-39
作者:
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
Research on LLM Acceleration Using the High-Performance RISC-V Processor "Xiangshan" (Nanhu Version) Based on the Open-Source Matrix Instruction Set Extension (Vector Dot Product)
预印本
2024
作者:
Chen, Xu-Hao
;
Hu, Si-Peng
;
Liu, Hong-Chao
;
Liu, Bo-Ran
;
Tang, Dan
Adobe PDF(724Kb)
|
收藏
|
浏览/下载:156/0
|
提交时间:2024/09/18
Instruction set extension
vector dot product
software and hardware collaboration
Large Language Model Inference
A distributed software system for integrating data-intensive imaging methods in a hard X-ray nanoprobe beamline at the SSRF
期刊论文
JOURNAL OF SYNCHROTRON RADIATION, 2024, 卷号: 31
作者:
Zhang, Peicheng
;
Jiang, Zhisen
;
He, Yan
;
Li, Aiguo
Adobe PDF(5771Kb)
|
收藏
|
浏览/下载:221/5
|
提交时间:2024/09/20
distributed software system
synchrotron radiation big data
ptychography
parallel computing
Dynamic simulation of warm compressor station for SHINE test facility cryoplant
期刊论文
CRYOGENICS, 2024, 卷号: 140
作者:
Chen, Shuhang
;
Zhang, Shuai
;
Wang, Dafei
;
Zhang, Peng
;
Sun, Jiuce
Adobe PDF(2116Kb)
|
收藏
|
浏览/下载:306/0
|
提交时间:2024/05/11
Compressors
Electrons
Free electron lasers
Plant shutdowns
Software testing
Test facilities
Two term control systems
Water craft
Cold boxes
Compressor stations
Cryoplants
Dynamics simulation
Fault conditions
Fuzzy proportional integral control
Fuzzy-proportional integral
Helium cryoplant
Proportional-integral control
Warm compressor station
AISL: a LAMMPS-based automated XFEL irradiation damage simulation program
期刊论文
HE JISHU/NUCLEAR TECHNIQUES, 2024, 卷号: 47, 期号: 4
作者:
Zhou, Yue
;
Hai, Xue
;
Ren, Cuilan
;
Yin, Yaru
;
Shang, Kunlin
Adobe PDF(2129Kb)
|
收藏
|
浏览/下载:254/3
|
提交时间:2024/05/11
Automation
Computer software
Digital storage
Electrons
Free electron lasers
Information management
Molecular dynamics
Radiation damage
Thin films
Damage simulation
High intensity
High-throughput
Irradiation Damage
LAMMPS
Laser facilities
Laser radiation damage
Simulation projects
Work-flows
X-ray free electron lasers
首页
上一页
1
2
3
4
5
6
7
下一页
末页