( en | de | ru )

 

Disambiguation of "Gu, Ming"

Author of the publication

copydeleteadd this publication to your clipboard
Component-Based Modeling and Code Synthesis for Cyclic Programs.

, , , , , , and . COMPSAC, page 569-578. IEEE Computer Society, (2013)

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. You can also use the button next to the name to display some publications already assigned to the person.

Xuewu Gu

Wei Gu

Xiaogang Gu

Hyosong Gu

Jie Gu

 

Other publications of authors with the same name

On synthesis of 3 × 3 reversible logic functions., , , and . Int. J. Comput. Math., 82 (4): 385-390 (2005)On Array Theory of Bounded Elements., , , and . CAV, volume 6174 of Lecture Notes in Computer Science, page 570-584. Springer, (2010)Probabilistic analysis of system outage in distributed antenna systems with composite channels., , , and . EURASIP J. Wireless Comm. and Networking, (2013)An Efficient, Sparsity-Preserving, Online Algorithm for Low-Rank Approximation., and . ICML, volume 70 of Proceedings of Machine Learning Research, page 156-165. PMLR, (2017)Handling scheduling uncertainties through traffic shaping in Time-Triggered train networks., , , , , and . IWQoS, page 1-6. IEEE, (2017)Data mining based decomposition for assume-guarantee reasoning., , , , and . FMCAD, page 116-119. IEEE, (2009)Adaptive Group Routing and Scheduling in Multicast Time-Sensitive Networks., and . IEEE Access, (2020)Data-Centered Runtime Verification of Wireless Medical Cyber-Physical System., , , , , and . IEEE Trans. Ind. Informatics, 13 (4): 1900-1909 (2017)Efficient Algorithms for Computing a Strong Rank-Revealing QR Factorization., and . SIAM J. Sci. Comput., 17 (4): 848-869 (1996)Assertion Recommendation for Formal Program Verification., , , , , and . COMPSAC (1), page 154-159. IEEE Computer Society, (2017)