云南高校图书馆联盟文献共享服务平台- 刘丰

刘丰: 作品数：1被引量：2H指数：1; 导出分析报告; 供职机构：吉林大学计算机科学与技术学院更多>>; 发文主题：编程模型形式化描述形式化细胞膜演算云计算更多>>; 发文领域：自动化与计算机技术更多>>; 发文期刊：《哈尔滨工程大学学报》更多>>; 所获基金：吉林省科技发展计划基金国家自然科学基金更多>>

检索结果分析

共条记录，以下是1-1

全选清除导出

视图：

排序：

基于细胞膜演算的Dryad形式化描述被引量：2: 《哈尔滨工程大学学报》2016年第11期1539-1545,共7页刘磊刘丰任俊绮吕帅; 国家自然科学基金项目(61300049;61402195;61502197);吉林省科技发展计划项目(20130206052GX;20140520069JH); 由于Dryad编程模型的实现并不开源,导致关于Dryad编程模型的理论研究较为缺乏。本文利用细胞膜演算在描述并发系统的优势,对Dryad编程模型中任务执行过程进行了准确清晰的形式化描述,并对Dryad编程模型的容错机制进行了描述,最后通过一...; 关键词：云计算编程模型 Dryad 细胞膜演算形式化有向无环图