( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Verification of C Programs using Slicing Execution.

, , и . QSIC, стр. 109-116. IEEE Computer Society, (2005)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Xiaodong Yu

Xiaodong Wang

Xiaodong Sun

Xiaodong Wang

Xiaodong Zhang

 

Другие публикации лиц с тем же именем

Delay-reliability tradeoff for wireless-connected indoor robot surveillance based on radio environment map., , , , , и . PIMRC, стр. 1-6. IEEE, (2016)Deep Q-Learning to Preserve Connectivity in Multi-robot Systems., , и . ICSPS, стр. 45-50. ACM, (2017)The Design and Implementation of Swarm-Robot Communication Analysis Tool., , и . GSKI (2), том 849 из Communications in Computer and Information Science, стр. 631-640. Springer, (2017)NFVactor: A Resilient NFV System using the Distributed Actor Model., , , , , и . CoRR, (2018)Slicing Execution for Model Checking C Programs., , и . Int. J. Softw. Eng. Knowl. Eng., 16 (5): 747-768 (2006)An improved Actor-based programming framework for simultaneous management of multiple heterogeneous robot swarms., , , , , , и . ROBIO, стр. 1-8. IEEE, (2023)GSDF: A Generic Development Framework for Swarm Robotics., , , , и . ICIRA (1), том 10462 из Lecture Notes in Computer Science, стр. 659-670. Springer, (2017)End-to-End Visual Target Tracking in Multi-robot Systems Based on Deep Convolutional Neural Network., , , , , , и . ICCV Workshops, стр. 1113-1121. IEEE Computer Society, (2017)Robust Re-weighting Prototypical Networks for Few-Shot Classification., , , и . ICRAI, стр. 140-146. ACM, (2020)Removing dynamic 3D objects from point clouds of a moving RGB-D camera., , , , , , и . ICIA, стр. 1600-1606. IEEE, (2015)