( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Formal Modelling and Verification of Spinlocks at Instruction Level.

, , , , , и . APSEC, стр. 355-362. IEEE, (2019)

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.

Guohui Wang

Guohui Zhou

Guohui Chen

Guohui Du

Guohui Liu

 

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

Virtual network diagnosis as a service., , , и . SoCC, стр. 9:1-9:15. ACM, (2013)Region-based Flash Caching with Joint Latency and Lifetime Optimization in Hybrid SMR Storage Systems., , , , и . DATE, стр. 1-6. IEEE, (2023)Batch Normalization Masked Sparse Autoencoder for Robotic Grasping Detection., , , , , , и . IROS, стр. 9614-9619. IEEE, (2020)Electronic Components Detection for PCBA Based on A Tailored YOLOv3 Network with Image Pre-Processing., , , , и . CASE, стр. 1435-1440. IEEE, (2021)Revisiting Image Aesthetic Assessment via Self-Supervised Feature Learning., , , , , , , , и . AAAI, стр. 5709-5716. AAAI Press, (2020)Towards Verifying Ethereum Smart Contracts at Intermediate Language Level., , , , , и . ICFEM, том 11852 из Lecture Notes in Computer Science, стр. 121-137. Springer, (2019)Formalization of functional variation in HOL Light., , , , и . J. Log. Algebraic Methods Program., (2019)A New Oren-Nayar Shape-from-Shading Approach for 3D Reconstruction Using High-Order Godunov-Based Scheme., и . Algorithms, 11 (5): 75 (2018)Programming your network at run-time for big data applications., , и . HotSDN@SIGCOMM, стр. 103-108. ACM, (2012)OpenCL-Based Mobile GPGPU Benchmarking: Methods and Challenges., и . IWOCL, стр. 3:1-3:4. ACM, (2016)