Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Zhao, Mufan
6  Ergebnisse:
Buchkapitel (Online) X
Personensuche X
?
1

Effects of Individual Factors and Recall Direction on Worki..:

, In: Engineering Psychology and Cognitive Ergonomics; Lecture Notes in Computer Science,
Zhao, Mufan ; Xue, Chengqi - p. 125-134 , 2024
Link: https://doi.org/10.1007/..
 
?
2

OA-Bug: An Olfactory-Auditory Augmented Bug Algorithm for S..:

, In: 2023 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS),
Tan, Siqi ; Zhang, Xiaoya ; Li, Jingyao... - p. 8875-8881 , 2023
Link: https://doi.org/10.1109/..
 
?
3

ChiselFV: A Formal Verification Framework for Chisel:

, In: 2023 Design, Automation & Test in Europe Conference & Exhibition (DATE),
Xiang, Mufan ; Li, Yongjian ; Zhao, Yongxin - p. 1-6 , 2023
Link: https://doi.org/10.23919..
 
?
4

RVFC: RISC-V Formal in Chisel:

, In: 2023 International Symposium of Electronics Design Automation (ISEDA),
Xiang, Mufan ; Li, Yongjian ; Zhao, Yongxin - p. 162-167 , 2023
Link: https://doi.org/10.1109/..
 
?
5

Improving Transformer-Based Networks with Locality for Auto..:

, In: ICASSP 2023 - 2023 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP),
Sang, Mufan ; Zhao, Yong ; Liu, Gang.. - p. 1-5 , 2023
Link: https://doi.org/10.1109/..
 
?
6

Parameterized Design and Formal Verification of Multi-porte..:

, In: 2022 26th International Conference on Engineering of Complex Computer Systems (ICECCS),
Xiang, Mufan ; Li, Yongjian ; Tan, Sijun.. - p. 33-41 , 2022
Link: https://doi.org/10.1109/..
 
1-6