首页> 中文期刊>华东理工大学学报（自然科学版） >并行程序的一种形式化硬件综合方法

并行程序的一种形式化硬件综合方法

开具论文收录证明 >>

期刊封面封底目录下载 >>

页面导航

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

摘要

基于并行语言的操作语义,提出一组将语言构造模块转化为硬件电路的规则.利用这些规则,系统地将程序转化为由寄存器、锁存器及数据路径组成的电路.硬件实现的正确性可以通过转化规则得以保证.

著录项

来源
《华东理工大学学报（自然科学版）》|2001年第5期|454-458462|共6页
作者
刘冬梅; 宋国新;
展开▼
作者单位

华东理工大学计算机科学与工程系;

华东理工大学计算机科学与工程系;

展开▼
原文格式 PDF
正文语种 chi
中图分类程序设计、软件工程;
关键词
并行语言; 操作语义; 转化规则; 硬件综合;

相似文献

中文文献
外文文献
专利

1. 并行程序的一种形式化硬件综合方法 [J] . 刘冬梅 ,宋国新 . 华东理工大学学报：社会科学版 . 2001,第005期
2. 并行程序开发平台体系结构的形式化研究 [J] . 李代平 ,罗寿文 ,张信一 . 计算机应用研究 . 2004,第012期
3. 网络并行程序开发平台体系结构形式化研究 [J] . 李代平 ,罗寿文 ,张信一 . 计算机工程与应用 . 2004,第026期
4. 形式化的程序综合方法及综合器NEAT [J] . 潘hao ,朱关铭 . 计算机应用与软件 . 1989,第002期
5. 基于硬件事件的并行程序指令级性能模型与应用 [J] . 罗红兵 ,武林平 . 计算机工程与科学 . 2013,第011期
6. 基于硬件事件的并行程序指令级性能模型与应用 [C] . LUO Hong-Bing ,罗红兵 ,WU Lin-Ping . 2013全国高性能计算学术年会 . 2013
7. 一种对NAND闪存硬件和闪存转换层软件的形式化建模 [A] . 杨龙婴 . 2015

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号