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

刘来: 作品数：1被引量：0H指数：0; 导出分析报告; 供职机构：华侨大学计算机科学与技术学院更多>>; 发文主题：PRISM概率模型检测分布式互斥算法更多>>; 发文领域：自动化与计算机技术更多>>; 发文期刊：《计算机应用研究》更多>>; 所获基金：福建省高等学校新世纪优秀人才支持计划国家自然科学基金更多>>

检索结果分析

共条记录，以下是1-1

全选清除导出

视图：

排序：

一个分布式K互斥算法的概率模型检测: 《计算机应用研究》2015年第4期1036-1039,共4页刘来骆翔宇; 国家自然科学基金面上项目(61170028);福建省高等学校新世纪优秀人才支持计划资助项目(2013FJ-NCET-ZR03);华侨大学中青年教师科研提升计划资助项目(ZQN-YX109);华侨大学高层次人才科研启动费项目(11BS108);广西可信软件重点实验室研究项目(kx201323); 传统的验证方法难以保证分布式K互斥算法的有效性和安全性。为解决这一问题,给出了进一步的研究,提出一种基于概率模型检测器PRISM的方法,对Kerry Raymond的分布式K互斥算法进行形式化建模与分析验证。通过设置算法中各个进程进入临界...; 关键词：分布式K互斥算法概率模型检测 PRISM 平均及时时间