Zobrazeno 1 - 10
of 29
pro vyhledávání: '"Ma, Kefan"'
Autor:
Jia, Jianing, Deng, Weifeng, Zhang, Haiming, Yan, Xirui, Ma, Kefan, Zhou, Changhong, Cao, Huanhuan, Jia, Xiaomin, Liu, Sinan
Publikováno v:
In Ceramics International 15 October 2024 50(20) Part B:38970-38980
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Deng, Zeng, Zhang, Shunlu, Ma, Kefan, Jia, ChunBo, Sun, Yanqiang, Chen, Xu, Luo, Yufeng, Li, Baofeng, Li, Tiejun
Publikováno v:
In Applied Thermal Engineering 5 June 2023 227
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Chinese Journal of Electronics. 30:1008-1016
The Boolean Satisfiability (SAT) problem is the key problem in computer theory and application. A parallel multi-thread SAT solver named pprobSAT+ on a configurable hardware is proposed. In the algorithm, multithreads are executed simultaneously to h
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a28d6ea1534a34dc996d0190024fbf33
https://doi.org/10.1049/cje.2021.08.001
https://doi.org/10.1049/cje.2021.08.001
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Chinese Journal of Electronics. 28:953-961
The Boolean Satisfiability (SAT) problem is the key problem in computer theory and application. Field-programmable gate array (FPGA) has been addressed frequently to accelerate the SAT solving process in the last few years owing to its parallelism an
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::031cbdee60b6e31f59d737becf0adb5e
https://doi.org/10.1049/cje.2019.06.015
https://doi.org/10.1049/cje.2019.06.015