StarMalloc: A Formally Verified, Concurrent, Performant, and Security-Oriented Memory Allocator
محفوظ في:
| الحاوية / القاعدة: | arXiv.org (Mar 14, 2024), p. n/a |
|---|---|
| المؤلف الرئيسي: | |
| مؤلفون آخرون: | , |
| منشور في: |
Cornell University Library, arXiv.org
|
| الموضوعات: | |
| الوصول للمادة أونلاين: | Citation/Abstract Full text outside of ProQuest |
| الوسوم: |
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
|