Login / Signup
Yanyan Gao
ORCID
Publication Activity (10 Years)
Years Active: 2008-2023
Publications (10 Years): 3
Top Topics
State Space
Lightweight
Human Pose Estimation
Human Pose
Top Venues
IEEE Access
J. Electron. Test.
ICSAMOS
Neurocomputing
</>
Publications
</>
Liyuheng Rui
,
Yanyan Gao
,
Haopan Ren
EDite-HRNet: Enhanced Dynamic Lightweight High-Resolution Network for Human Pose Estimation.
IEEE Access
11 (2023)
Wenming Wang
,
Kaixiang Zhang
,
Haopan Ren
,
Dejian Wei
,
Yanyan Gao
,
Juncheng Liu
UULPN: An ultra-lightweight network for human pose estimation based on unbiased data processing.
Neurocomputing
480 (2022)
Haopan Ren
,
Wenming Wang
,
Kaixiang Zhang
,
Dejian Wei
,
Yanyan Gao
,
Yue Sun
Fast and Lightweight Human Pose Estimation.
IEEE Access
9 (2021)
Yanyan Gao
,
Xi Li
A Semantics-based Translation Method for Automated Verification of SystemC TLM Designs.
J. Electron. Test.
29 (5) (2013)
Yanyan Gao
,
Xi Li
An effective model extraction method with state space compression for model checking SystemC TLM designs.
ICSAMOS
(2013)
Wei Sheng
,
Yanyan Gao
,
Li Xi
,
Xuehai Zhou
Schedulability Analysis for MultiCore Global Scheduling with Model Checking.
MTV
(2010)
Yanyan Gao
,
Xi Li
Formal Verification of Out-of-Order Processor.
ICCMS
(2009)
Yanyan Gao
,
Xi Li
Formal Verification of Bypassed Processor Pipelines.
ICYCS
(2008)