Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Peijie Li
Observed names:
P. Li,
Peixi Li,
李培杰
Institution:
PLA Information Engineering University
Observed institutions:
PLA Information Engineering University,
Virginia Tech,
Nanjing University of Aeronautics and Astronautics
ORCID:
0009-0006-3799-8179
Observed ORCID:
0009-0006-3799-8179
OpenAlex ID:
A5075354521
A formally verified application-level framework for real-time scheduling on POSIX real-time operating systems
2004
·
P. Li
, Binoy Ravindran
, et al.
·
IEEE Transactions on Software Engineering
·
71
Architectural Exploration for Waferscale Switching System
2024
·
Zhiquan Wan
, Zhipeng Cao
, et al.
·
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
·
8
DHRCA: A Design of Security Architecture Based on Dynamic Heterogeneous Redundant for System on Wafer
2024
·
Bo Mei
, Zhengbin Zhu
, et al.
·
IET Information Security
·
2
PDF
DMA: Mutual Attestation Framework for Distributed Enclaves
2024
·
Peixi Li
, Xiang Li
, et al.
·
Lecture notes in computer science
·
1
Thermal Management Verification Platform for Chiplet Functional Unit
2025
·
Yuxin Ye
, Guoran Lu
, et al.
·
IEEE Electronics Packaging Technology Conference (EPTC)
Silicon-based package level liquid cooling module for system on wafer (SoW)
2025
·
Yuxin Ye
, Guoran Lu
, et al.
·
International Conference on Electronic Packaging Technology (ICEPT)
Show more works
View as search
Works count:
7
Citation count:
82
H-index:
2
I10-index:
1
Year
Topic
Type
