( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
MPI-SV: a symbolic verifier for MPI programs.

, , , и . ICSE (Companion Volume), стр. 93-96. ACM, (2020)

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.

Ji Wang

Ji-Feng Wang

Ji-boa Wang

Wang Wang

Ji Haas

 

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

Scheduling jobs with chain precedence constraints and deteriorating jobs., , и . J. Oper. Res. Soc., 62 (9): 1765-1770 (2011)A load-transient-enhanced output-capacitor-free low-dropout regulator based on an ultra-fast push-pull amplifier., , , , и . ASICON, стр. 1-4. IEEE, (2015)Joint Optimization of Stateful VNF Placement and Routing Scheduling in Software-Defined Networks., , , , , и . ISPA/IUCC/BDCloud/SocialCom/SustainCom, стр. 9-14. IEEE, (2018)Deep Learning-based Transformation Matrix Estimation for Bidirectional Interframe Prediction., , и . GCCE, стр. 726-730. IEEE, (2018)Modelling and model checking suspendible business processes via statechart diagrams and CSP, , , и . Science of Computer Programming, 65 (1): 14--29 (марта 2007)Modular Heap Abstraction-Based Code Clone Detection for Heap-Manipulating Programs., , и . QSIC, стр. 197-200. IEEE, (2012)Experiential Interaction Modeling for Virtual Training of Ultra-High Voltage Power System and Its Application., , , , , , , и . CSA/CUTE, том 474 из Lecture Notes in Electrical Engineering, стр. 566-572. Springer, (2017)A topology-aware method for scientific application deployment on cloud., , , , и . IJWGS, 10 (4): 338-370 (2014)On the Design of Hybrid Control Systems Using Automata Models., и . FSTTCS, том 1180 из Lecture Notes in Computer Science, стр. 156-167. Springer, (1996)Compositional Verification of UML Dynamic Models., , , и . APSEC, стр. 286-293. IEEE Computer Society, (2007)