Zobrazeno 1 - 8
of 8
pro vyhledávání: '"Fu, Xianjin"'
Autor:
Xie, Xiaoheng, Fan, Gang, Lin, Xiaojun, Zhou, Ang, Li, Shijie, Zheng, Xunjin, Liang, Yinan, Zhang, Yu, Yu, Na, Li, Haokun, Chen, Xinyu, Chen, Yingzhuang, Zhen, Yi, Dong, Dejun, Fu, Xianjin, Su, Jinzhou, Pan, Fuxiong, Luo, Pengshuai, Feng, Youzheng, Hu, Ruoxiang, Fan, Jing, Zhou, Jinguo, Xiao, Xiao, Di, Peng
In the domain of large-scale software development, the demands for dynamic and multifaceted static code analysis exceed the capabilities of traditional tools. To bridge this gap, we present CodeFuse-Query, a system that redefines static code analysis
Externí odkaz:
http://arxiv.org/abs/2401.01571
Autor:
Yu, Hengbiao, Chen, Zhenbang, Fu, Xianjin, Wang, Ji, Su, Zhendong, Sun, Jun, Huang, Chun, Dong, Wei
Message passing is the standard paradigm of programming in high-performance computing. However, verifying Message Passing Interface (MPI) programs is challenging, due to the complex program features (such as non-determinism and non-blocking operation
Externí odkaz:
http://arxiv.org/abs/1803.06300
Message Passing Interfaces (MPI) plays an important role in parallel computing. Many parallel applications are implemented as MPI programs. The existing methods of bug detection for MPI programs have the shortage of providing both input and non-deter
Externí odkaz:
http://arxiv.org/abs/1403.4813
The cost of LTL model checking is highly sensitive to the length of the formula under verification. We observe that, under some specific conditions, the input LTL formula can be reduced to an easier-to-handle one before model checking. In our reducti
Externí odkaz:
http://arxiv.org/abs/1301.3299
Publikováno v:
Journal of Southeast University / Dongnan Daxue Xuebao; Jul2021, Vol. 51 Issue 4, p610-617, 8p
Publikováno v:
2015 IEEE 16th International Symposium on High Assurance Systems Engineering; 2015, p181-188, 8p
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:
2014 21st Asia-Pacific Software Engineering Conference; 2014, p127-134, 8p