External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

A Formally Verified Buddy Memory Allocation Model

Ke Jiang, David Sanán, Yongwang Zhao, Shuanglong Kan, Yang Liu 0003. A Formally Verified Buddy Memory Allocation Model. In Jun Pang 0001, Jing Sun 0002, editors, 24th International Conference on Engineering of Complex Computer Systems, ICECCS 2019, Guangzhou, China, November 10-13, 2019. pages 144-153, IEEE, 2019. [doi]

Authors

Ke Jiang

This author has not been identified. Look up 'Ke Jiang' in Google

David Sanán

This author has not been identified. Look up 'David Sanán' in Google

Yongwang Zhao

This author has not been identified. Look up 'Yongwang Zhao' in Google

Shuanglong Kan

This author has not been identified. Look up 'Shuanglong Kan' in Google

Yang Liu 0003

This author has not been identified. Look up 'Yang Liu 0003' in Google
runs on