( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Hybrid CPU-GPU constraint checking: Towards efficient context consistency.

, , , , , , , и . Inf. Softw. Technol., (2016)

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.

Yuzhao Ma

Characterization of higher order modes in optical fibers. Uni Erlangen-Nürnberg, (2009)

Tsie Ma

Jingxiang Ma

Lan Ma

Ma Li

 

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

Preface., , , , , , и . J. Comput. Sci. Technol., 32 (6): 1057-1059 (2017)Verifying Distributed Controllers with Local Invariants., , , , и . QRS, стр. 120-131. IEEE, (2016)Toward a Model-Based Approach to Dynamic Adaptation of Composite Services, , , и . Proceedings of the 2008 IEEE International Conference on Web Services, стр. 561--568. Washington, DC, USA, IEEE Computer Society, (2008)Boosting API Recommendation With Implicit Feedback., , , , , и . IEEE Trans. Software Eng., 48 (6): 2157-2172 (2022)Generic Adaptive Scheduling for Efficient Context Inconsistency Detection., , , , и . IEEE Trans. Software Eng., 47 (3): 464-497 (2021)Mining API usage change rules for software framework evolution., , , , и . Sci. China Inf. Sci., 61 (5): 050108:1-050108:3 (2018)Multi-mode interaction middleware for software services., , , , и . Sci. China Ser. F Inf. Sci., 51 (8): 985-999 (2008)MET: Model Checking-Driven Explorative Testing of CRDT Designs and Implementations., , , и . CoRR, (2022)Context Sensitivity without Contexts: A Cut-Shortcut Approach to Fast and Precise Pointer Analysis., , , , , и . CoRR, (2023)Application mobility in pervasive computing: A survey., , , и . Pervasive Mob. Comput., 9 (1): 2-17 (2013)