首页> 中文会议>2002年全国理论计算机科学学术年会 >Action演算中动作之间数据流分析方法及其实现

Action演算中动作之间数据流分析方法及其实现

页面导航

摘要
著录项
相似文献
相关主题

摘要

本文针对Action演算的分子形式,给出了动作之间的数据流分析的形式描述,为建立并发系统相关的通用理论提供了分析手段.

著录项

来源
《2002年全国理论计算机科学学术年会》|2002年|90-9161|共3页
会议地点长沙
作者
金英; 金成植;
展开▼
作者单位

中国计算机学会;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类算法理论;
关键词
Action演算簇; 数据流分析; 分子形式; 动作分子表达;

相似文献

中文文献
外文文献
专利

1. Action演算中动作之间数据流分析方法及其实现 [J] . 金英 ,金成植 . 计算机科学 . 2002,第0z1期
2. Action演算中动作内部数据流分析方法及其实现 [J] . 金英 ,金成植 ,郑爽 . 吉林大学学报（理学版） . 2003,第001期
3. Ambient演算的数据流分析方法及其实现 [J] . 张晶 ,张丽翠 ,金成植 . 计算机科学 . 2006,第008期
4. γ演算到Action演算的转换 [J] . 金英 ,金成植 . 软件学报 . 2003,第001期
5. 基于事务数据流的可重构SoC性能分析方法研究与实现 [J] . 胡敏慧1 ,李思昆1 ,王观武1 . 软件工程与应用 . 2015,第006期
6. 数据流与数据库之间混合连接查询算法的研究 [C] . CHEN Zhikun ,陈志坤 ,YANG Shuqiang . 中国电子学会信息论分会2009年研究生学术交流会 . 2010
7. 基于事务数据流的可重构协处理器性能分析方法研究实现 [A] . 胡敏慧 . 2005

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号