进程间通信

作品数：209被引量：341H指数：8
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：陈海波臧斌宇李斌杨华王楠更多>>
相关机构：华为技术有限公司深圳市腾讯计算机系统有限公司OPPO(重庆)智能科技有限公司上海交通大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划中国科学院知识创新工程重要方向项目国家教育部博士点基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 基金=国防基础科研计划x
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
LINUX进程间通信的模型检测
《计算机科学》2008年第10期295-299,共5页姜玉蓉 缪力 张大方 刘潇潇 
国家自然科学基金项目(60673155;60703097);国防基础科研"十一五"项目资助(A1420060162)
模型检测是一种强大的自动分析验证技术。分析了LINUX进程间通信的部分源代码并进行手工形式化建模,使用有限状态自动机描述模型,继而转换成SPIN的输入语言PROMELA,对其进行模型检测,验证了系统的有界性和可终止性,并就进程间通信中容...
关键词：模型检测 LINUX 进程间通信 SPIN 系统验证 
进程间通信技术在系统集成中的应用被引量：4
《重庆大学学报（自然科学版）》2008年第4期436-441,共6页袁鸿 刘浩 廖文和 
国防基础科研资助项目(k1605061115)
集成了大型机移植到微机上的图形学算法模块,并增加GUI(graphic user interface)界面。使用Windows进程间通信技术来实现GUI界面和控制台程序间数据通信。利用管道技术并结合某曲面造型系统开发要求,编制了一个进程间通信的中介模块,给...
关键词：进程间通信 管道 中介模块 系统集成 数据交互 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部