еНаука - преглед
Преглед према Аутор Zhu, Huibiao
Приказ резултата 1 до 4 од 4
| Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
|---|---|---|---|---|
| 2023 | Complete Formal Verification of the PSTM Transaction Scheduler | Popovic, Miroslav V   ; Popovic, Marko M; Kordic, Branislav A; Zhu, Huibiao | Научни чланак | Мп категорија ће бити приказана накнадно. |
| 2022 | Formal Analysis and Verification of DPSTM v2 Architecture Using CSP | Li, Peimu; Yin, Jiaqi; Zhu, Huibiao; Xiao, Lili; Popovic, Miroslav | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
| 2020 | Formal analysis and verification of the PSTM architecture using CSP | Liu, Ailun; Zhu, Huibiao; Popović, Miroslav ; Xiang, Shuangqing; Zhang, Lei | Научни чланак | 21M21 - Рад у врхунском међ. часопису |
| 2019 | Modeling and Verifying Transaction Scheduling for Software Transactional Memory using CSP | Xu, Chao; Wu, Xi; Zhu, Huibiao; Popovic, Miroslav V | Конференцијски рад | Мп категорија ће бити приказана накнадно. |