×
验证码:
换一张
忘记密码?
记住我
×
统一认证登录
登录
中文版
|
English
上海科技大学知识管理系统
ShanghaiTech University Knowledge Management System
统一认证登录
登录
注册
ALL
ORCID
题名
作者
发表日期
关键词
文献类型
DOI
出处
存缴日期
收录类别
出版者
学习讨论厅
图片搜索
粘贴图片网址
首页
研究单元&专题
作者
文献类型
学科分类
知识图谱
知识整合
学习讨论厅
在结果中检索
研究单元&专题
信息科学与技术学院 [4]
创意与艺术学院 [1]
作者
哈亚军 [3]
王昱棋 [2]
陈剑 [1]
陈健 [1]
李琳 [1]
陈光耀 [1]
更多...
文献类型
期刊论文 [4]
会议论文 [1]
发表日期
2024 [1]
2023 [2]
2022 [1]
2021 [1]
出处
2024 ACM/I... [1]
IEEE TRANS... [1]
IEEE TRANS... [1]
IEEE TRANS... [1]
MATHEMATIC... [1]
语种
英语 [5]
资助项目
National N... [1]
Natural Sc... [1]
Shanghai S... [1]
资助机构
收录类别
EI [5]
SCI [3]
SCIE [2]
SCOPUS [1]
状态
已发表 [5]
×
知识图谱
KMS
反馈留言
浏览/检索结果:
共5条,第1-5条
帮助
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
WOS被引频次升序
WOS被引频次降序
提交时间升序
提交时间降序
作者升序
作者降序
期刊影响因子升序
期刊影响因子降序
题名升序
题名降序
发表日期升序
发表日期降序
Iterative Model Checking for Safety-Critical Problems in Cyber-Physical Systems
会议论文
2024 ACM/IEEE 15TH INTERNATIONAL CONFERENCE ON CYBER-PHYSICAL SYSTEMS (ICCPS), Hong Kong, Hong Kong, 13-16 May 2024
作者:
Guangyao Chen
;
Zhihao Jiang
Adobe PDF(971Kb)
|
收藏
|
浏览/下载:272/3
|
提交时间:2024/07/08
Cyber Physical System
Embedded systems
Failure analysis
Fault detection
High level languages
Iterative methods
Model checking
Reliability analysis
Risk analysis
Risk assessment
Safety engineering
Case-studies
Critical problems
Cybe-physical systems
Cyber-physical systems
Faults diagnosis
Interactive tutorials
Iterative model
Models checking
Python package
Safety critical systems
A Reliable and High-Speed 6T Compute-SRAM Design With Dual-Split-VDD Assist and Bitline Leakage Compensation
期刊论文
IEEE TRANSACTIONS ON VERY LARGE SCALE INTEGRATION (VLSI) SYSTEMS, 2023, 卷号: 31, 期号: 5, 页码: 684-695
作者:
Yuqi Wang
;
Shen Zhang
;
Yifei Li
;
Jian Chen
;
Wenfeng Zhao
Adobe PDF(16375Kb)
|
收藏
|
浏览/下载:483/1
|
提交时间:2023/03/15
Voltage
Random access memory
Discharges (electric)
Transistors
Throughput
Reliability engineering
Very large scale integration
Compute SRAM (CSRAM)
computing-in-memory (CIM)
configurable SRAM
content-addressable memory (CAM)
logic operation
read disturbance
Criticality-Aware Negotiation-Driven Scrubbing Scheduling for Reliability Maximization in SRAM-based FPGAs
期刊论文
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2023, 卷号: PP, 期号: 99, 页码: 1-1
作者:
Li, Rui
;
Yu, Heng
;
Li, Lin
;
Ha, Yajun
Adobe PDF(7842Kb)
|
收藏
|
浏览/下载:504/1
|
提交时间:2023/05/19
Criticality (nuclear fission)
Iterative methods
Job analysis
Memory architecture
Multitasking
Reliability analysis
Scheduling algorithms
Throughput
Field programmable gate array
Field programmables
Programmable gate array
Reliability (engineering)
Resource management
Schedule
Scheduling
Scrubbing
SRAM-based FPGA
Task analysis
Application of Internet of Things in Smart Factories under the Background of Industry 4.0 and 5G Communication Technology
期刊论文
MATHEMATICAL PROBLEMS IN ENGINEERING, 2022, 卷号: 2022
作者:
Diao, Zhifeng
;
Sun, Fanglei
Adobe PDF(519Kb)
|
收藏
|
浏览/下载:592/245
|
提交时间:2022/09/30
5G mobile communication systems
Cryptography
Engineering education
Industrial research
Industry 4.0
Internet of things
Regression analysis
Reliability analysis
Communicationtechnology
Development directions
Industrial enterprise
Key identifications
Mobile communications
News agencies
Performance
Production development
Production methods
Smart manufacturing
Analysis and Optimization Strategies Toward Reliable and High-Speed 6T Compute SRAM
期刊论文
IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS I-REGULAR PAPERS, 2021, 卷号: 68, 期号: 4, 页码: 1520-1531
作者:
Adobe PDF(4271Kb)
|
收藏
|
浏览/下载:752/15
|
提交时间:2021/04/19
Random access memory
Reliability engineering
Integrated circuit reliability
Computer architecture
Transistors
Topology
Sensors
In-SRAM computing
In-memory computing
read disturbance
SRAM
首页
上一页
1
下一页
末页