论文降重
免费查重
Formal modelling of list based dynamic memory allocators
基本信息来源于合作网站，原文需代理用户跳转至来源网站获取
摘要：
推荐文章
An experimental study on dynamic coupling process of alkaline feldspar dissolution and secondary min
Alkaline feldspar
Dissolution rate
Precipitation
Mineral conversion
Secondary porosity
基于N-list的并行频繁项集挖掘算法
数据挖掘
频繁项集挖掘
并行
N-list
基于B-list的最大频繁项集挖掘算法
最大频繁项集挖掘
深度优先搜索
剪枝技术
超集检测
Mantle plume: the dynamic setting of the origin of Early Paleozoic mafic dykes in Ziyang, Shaanxi Pr
Early Paleozoic
Dolerites
Geochemistry
Origin
Mantle plume
内容分析
关键词云
关键词热度
相关文献总数
(/次)
(/年)
文献信息
| 篇名 | Formal modelling of list based dynamic memory allocators | ||
| 来源期刊 | 中国科学 | 学科 | 地球科学 |
| 关键词 | dynamic memory allocators formal methods refinement Event-B Rodin model-based design | ||
| 年，卷（期） | zgkx_2018,（12） | 所属期刊栏目 | |
| 研究方向 | 页码范围 | 77-92 | |
| 页数 | 16页 | 分类号 | N |
| 字数 | 语种 | 中文 | |
| DOI | |||
五维指标
引文网络
引文网络
二级参考文献 (0)
共引文献 (0)
参考文献 (0)
节点文献
引证文献 (0)
同被引文献 (0)
二级引证文献 (0)
2018(0)
- 参考文献(0)
- 二级参考文献(0)
- 引证文献(0)
- 二级引证文献(0)
研究主题发展历程
节点文献
dynamic memory allocators
formal methods
refinement
Event-B
Rodin
model-based design
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
期刊文献
相关文献
推荐文献
