PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Zhu, Yunyun"

Author of the publication

copydeleteadd this publication to your clipboard
Verifying safety and liveness for the FlexTM hybrid transactional memory.

, , , , and . DATE, page 785-790. EDA Consortium San Jose, CA, USA / ACM DL, (2013)

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.

Lifang Zhu University of Stuttgart

Yuqicheng Zhu University of Stuttgart

PD Dr. -Ing. Ningyan Zhu University of Stuttgart

Inna Zhuravlova University of Stuttgart

 

Other publications of authors with the same name

Caches, Transactions and Memories: Models, Coherence and Consistency.. Uppsala University, Sweden, (2018)base-search.net (ftuppsalauniv:oai:DiVA.org:uu-347787).Mending Fences with Self-Invalidation and Self-Downgrade., , , , , and . CoRR, (2016)Verification of Cache Coherence Protocols wrt. Trace Filters., , , , and . FMCAD, page 9-16. IEEE, (2015)Reengineering Legacy Systems with RESTful Web Service., , , and . COMPSAC, page 785-790. IEEE Computer Society, (2008)Verifying safety and liveness for the FlexTM hybrid transactional memory., , , , and . DATE, page 785-790. EDA Consortium San Jose, CA, USA / ACM DL, (2013)Fencing Programs with Self-Invalidation and Self-Downgrade., , , , , and . FORTE, volume 9688 of Lecture Notes in Computer Science, page 19-35. Springer, (2016)