A Formally Verified Buddy Memory Allocation Model

Author(s):  
Ke Jiang ◽  
David Sanan ◽  
Yongwang Zhao ◽  
Shuanglong Kan ◽  
Yang Liu
2016 ◽  
Author(s):  
Bo-qian Wang ◽  
Xin Liu ◽  
Qi Yu ◽  
Li Shen ◽  
Zhi-ying Wang

2018 ◽  
Vol 74 (10) ◽  
pp. 5513-5538 ◽  
Author(s):  
Anwar Alyatama ◽  
Asmaa Alsumait ◽  
Maryam Alotaibi

2021 ◽  
Vol 122 ◽  
pp. 102888
Author(s):  
Han Zou ◽  
Maged M. Dessouky ◽  
Shichun Hu

Sign in / Sign up

Export Citation Format

Share Document