Author of the publication

Fast Verification of Memory Consistency for Chip Multi-Processor.

, , , and . CIS, page 1497-1502. IEEE Computer Society, (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

A Web Based Security Monitoring and Information Management System for Nursing Homes., , , and . ICIRA (3), volume 11742 of Lecture Notes in Computer Science, page 72-81. Springer, (2019)Running guide: design of a marathon navigation system for visually impaired people., , , and . CCHI, page 7-15. ACM, (2019)3D Attention U-Net with Pretraining: A Solution to CADA-Aneurysm Segmentation Challenge., , , , , , and . CADA@MICCAI, volume 12643 of Lecture Notes in Computer Science, page 58-67. Springer, (2020)A Deep-Learning-Based Framework for Automatic Segmentation and Labelling of Intracranial Artery., , , , and . ISBI, page 1-5. IEEE, (2023)Degrees of Freedom of Multi-Mode-Multi-Spatial (MOMS) in Line-of-Sight Channels., , , , , and . GLOBECOM, page 1-6. IEEE, (2020)Fast Verification of Memory Consistency for Chip Multi-Processor., , , and . CIS, page 1497-1502. IEEE Computer Society, (2011)Efficiently and Completely Verifying Synchronized Consistency Models., , , , and . ATVA, volume 8837 of Lecture Notes in Computer Science, page 264-280. Springer, (2014)On the Design and Performance of QRD-Based Beamforming Feedback for Wi-Fi Sensing., , , , , , and . IEEE Trans. Wirel. Commun., 23 (5): 5261-5271 (May 2024)Model Checking Data Consistency for Cache Coherence Protocols., , and . J. Comput. Sci. Technol., 21 (5): 765-775 (2006)Forward Calculation for Improving the Sensitivity of Multiple Perturbations in Magnetic Induction Tomography Based on Brain Tissue Structure.. SocialSec, volume 1298 of Communications in Computer and Information Science, page 420-432. Springer, (2020)