Yunyun Zhu

Publication Activity (10 Years)

Years Active: 2008-2024
Publications (10 Years): 4

Top Topics

Cache Invalidation

Top Venues

Intell. Syst. Appl.

Uppsala University, Sweden (PHD)

Education History

Uppsala University, Sweden

PHD

Publications

Minghu Zha, Li Zhu, Yunyun Zhu, Jun Li, Tao Hu
A novel SCNN-LSTM model for predicting the SNR confidence interval in wearable wireless sensor network. Intell. Syst. Appl. 22 (2024)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Stefanos Kaxiras, Carl Leonardsson, Alberto Ros, Yunyun Zhu
Mending Fences with Self-Invalidation and Self-Downgrade. Log. Methods Comput. Sci. 14 (1) (2018)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Stefanos Kaxiras, Carl Leonardsson, Alberto Ros, Yunyun Zhu
Mending Fences with Self-Invalidation and Self-Downgrade. CoRR (2016)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Stefanos Kaxiras, Carl Leonardsson, Alberto Ros, Yunyun Zhu
Fencing Programs with Self-Invalidation and Self-Downgrade. FORTE (2016)
Parosh Aziz Abdulla, Mohamed Faouzi Atig, Zeinab Ganjei, Ahmed Rezine, Yunyun Zhu
Verification of Cache Coherence Protocols wrt. Trace Filters. FMCAD (2015)
Parosh Aziz Abdulla, Sandhya Dwarkadas, Ahmed Rezine, Arrvindh Shriraman, Yunyun Zhu
Verifying safety and liveness for the FlexTM hybrid transactional memory. DATE (2013)
Yan Liu, Qingling Wang, Mingguang Zhuang, Yunyun Zhu
Reengineering Legacy Systems with RESTful Web Service. COMPSAC (2008)