Остановите войну!
for scientists:
default search action
Hai Wan
Publications
- 2023
- [j30]Zhuowei Wang, Xiaoyu Song, Lianglun Cheng, Hai Wan, Wuqing Zhao, Tao Wang:
Warp-Aware Adaptive Energy Efficiency Calibration for Multi-GPU Systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 42(5): 1676-1690 (2023) - [i14]Zonghui Li, Wenlin Zhu, Kang G. Shin, Hai Wan, Xiaoyu Song, Dong Yang, Bo Ai:
A Switch Architecture for Time-Triggered Transmission with Best-Effort Delivery. CoRR abs/2309.11902 (2023) - 2020
- [j19]Zonghui Li, Hai Wan, Yangdong Deng, Ke Xiong, Xiaoyu Song:
A resource-efficient priority scheduler for time-sensitive networking switches. CCF Trans. Netw. 3(1): 21-34 (2020) - [j18]Zonghui Li, Hai Wan, Yangdong Deng, Xibin Zhao, Yue Gao, Xiaoyu Song, Ming Gu:
Time-Triggered Switch-Memory-Switch Architecture for Time-Sensitive Networking Switches. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39(1): 185-198 (2020) - [j17]Zonghui Li, Hai Wan, Yangdong Deng, Xibin Zhao, Yue Gao, Xiaoyu Song, Ming Gu:
Model-Based Adaptation of Mixed-Criticality Multiservice Systems for Extreme Physical Environments. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39(7): 1386-1399 (2020) - [j16]Zonghui Li, Hai Wan, Yangdong Deng, Xibin Zhao, Yue Gao, Ming Gu, Xiaoyu Song:
A Flattened-Priority Framework for Mixed-Criticality Systems. IEEE Trans. Ind. Electron. 67(11): 9862-9872 (2020) - 2019
- [j14]Lifan Su, Hai Wan, Yufang Qin, Xibin Zhao, Yue Gao, Xiaoyu Song, Chenyang Lu, Ming Gu:
Synthesizing Fault-Tolerant Schedule for Time-Triggered Network Without Hot Backup. IEEE Trans. Ind. Electron. 66(2): 1345-1355 (2019) - [j13]Ningchen Wang, Qinghan Yu, Hai Wan, Xiaoyu Song, Xibin Zhao:
Adaptive Scheduling for Multicluster Time-Triggered Train Communication Networks. IEEE Trans. Ind. Informatics 15(2): 1120-1130 (2019) - [j12]Zonghui Li, Hai Wan, Zaiyu Pang, Qiubo Chen, Yangdong Deng, Xibin Zhao, Yue Gao, Xiaoyu Song, Ming Gu:
An Enhanced Reconfiguration for Deterministic Transmission in Time-Triggered Networks. IEEE/ACM Trans. Netw. 27(3): 1124-1137 (2019) - 2013
- [j7]Min Zhou, Hai Wan, Rui Wang, Xiaoyu Song, Chen Su, Ming Gu, Jiaguang Sun:
Formal component-based modeling and synthesis for PLC systems. Comput. Ind. 64(8): 1022-1034 (2013) - 2011
- [j3]Hai Wan, Gang Chen, Xiaoyu Song, Ming Gu:
Formalisation and verification of programmable logic controllers timers in Coq. IET Softw. 5(1): 32-42 (2011) - 2010
- [c11]Hai Wan, Xiaoyu Song, Gang Chen, Ming Gu:
A Refinement-Based Validation Method for Programmable Logic Controllers. QSIC 2010: 361-364 - [c10]Hai Wan, Xiaoyu Song, Ming Gu:
Parameterized Specification and Verification of PLC Systems in Coq. TASE 2010: 179-182 - 2009
- [j1]Hai Wan, Ming Gu, Xiaoyu Song:
Formal modeling and analysis of a narrow bandwidth protocol for establishing and terminating connections. Math. Comput. Model. 50(7-8): 1090-1099 (2009) - [c9]Hai Wan, Gang Chen, Xiaoyu Song, Ming Gu:
Formalization and Verification of PLC Timers in Coq. COMPSAC (1) 2009: 315-323 - [c8]Rui Wang, Ming Gu, Xiaoyu Song, Hai Wan:
Formal Specification and Code Generation of Programable Logic Controllers. ICECCS 2009: 102-109
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 01:33 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint