Author of the publication

PNTM Integration of Petri Nets and Transactional Memory.

, , , and . PNSE, volume 723 of CEUR Workshop Proceedings, page 196-199. CEUR-WS.org, (2011)

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.

 

Other publications of authors with the same name

ORC-OpenMP: An OpenMP Compiler Based on ORC., , , and . International Conference on Computational Science, volume 3038 of Lecture Notes in Computer Science, page 414-423. Springer, (2004)同步数据流语言可信编译器的研究进展 (Survey on Trustworthy Compilers for Synchronous Data-flow Languages)., and . 计算机科学, 46 (5): 21-28 (2019)A Gain-Scheduled Robust Controller for Autonomous Vehicles Path Tracking Based on LPV System With MPC and H∞., , , and . IEEE Trans. Veh. Technol., 71 (9): 9350-9362 (2022)AlignBench: Benchmarking Chinese Alignment of Large Language Models., , , , , , , , , and 7 other author(s). CoRR, (2023)PNTM Integration of Petri Nets and Transactional Memory., , , and . PNSE, volume 723 of CEUR Workshop Proceedings, page 196-199. CEUR-WS.org, (2011)An extended openmp targeting on the hybrid architecture of SMP-cluster., , , and . ACST, page 50-54. IASTED/ACTA Press, (2006)Solving Inheritance Anomaly with OMNets., , and . J. Comput. Sci. Technol., 17 (1): 101-105 (2002)Community detection based on Graph Coloring., , and . SSCI, page 2114-2118. IEEE, (2019)A verifiable low-level concurrent programming model based on colored Petri nets., and . Sci. China Inf. Sci., 54 (10): 2013-2027 (2011)Certify Once, Trust Anywhere: Modular Certification of Bytecode Programs for Certified Virtual Machine., , , and . APLAS, volume 5904 of Lecture Notes in Computer Science, page 275-293. Springer, (2009)