标题:A Refinement Hierarchy for Free List Memory Allocators
作者:Fang, B[1,2,3]; Sighireanu, M[2,3]
通讯作者地址:Fang, B (reprint author), East China Normal Univ, Shanghai Key Lab Trustworthy Comp, Shanghai, Peoples R China.; Fang, B (reprint author), Univ Paris Diderot, IRIF, Paris, France.; Fang, B (reprint author), CNRS, Paris, France.
出版年:2017
卷:52
期:9
页码:104-114
会议时间:JUN 18, 2017
会议地点:Barcelona, SPAIN
会议名称:ACM SIGPLAN International Symposium on Memory Management (ISMM)
关键词:Free list memory allocators; Formal methods; Refinement; Model-based; design; Formal analysis
当年影响因子:0.335
JCR分区:Q4
摘要:Existing implementations of dynamic memory allocators (DMA) employ a large spectrum of policies and techniques. The formal specifications of these tec 更多
收录类别:CPCI-S;CPCI-SSH
语种:English
资源类型:外文会议论文
版权说明
文件名称:
文件大小: 0
内容类型:
版本类型: 出版稿
开放类型: 开放获取
使用许可: CC BY-NC-SA
相关成果:

个性服务

原文链接

影响因子

当年影响因子 : 0.335

网络计量

其他

TOP