切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
会议论文
ML语言函数定义惰性模式匹配的并行化编译算法
ML语言函数定义惰性模式匹配的并行化编译算法
来源 :'96全国计算机体系结构学术研讨会 | 被引量 : 0次 | 上传用户:qwertasdfg122
【摘 要】
:
该文针对函数语言ML并行化编译对模式匹配的要求,提出了一种能够消除函数定义二义性并保持惰性语义的编译算法。
【作 者】
:
傅强
郑纬民
【机 构】
:
大学计算机科学与技术系(北京)
【出 处】
:
'96全国计算机体系结构学术研讨会
【发表日期】
:
1996年期
【关键词】
:
函数语言
函数定义
惰性
模式匹配
并行化编译
编译算法
二义性
语义
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
该文针对函数语言ML并行化编译对模式匹配的要求,提出了一种能够消除函数定义二义性并保持惰性语义的编译算法。
其他文献
如何提高高三物理习题教学的效率
摘 要: 高三物理复习的关键在于提高效率。在高三复习过程中,习题教学是主导,是高三复习的主体,如何提高习题教学效率成了高三物理复习备考的关键,而高三习题教学的关键又在于教师的讲,如何讲,怎么讲,才能提高习题教学效率呢?本文就此作探讨。 关键词: 高三物理复习 习题教学 提高效率 高三物理复习备考的过程,是不断做题、讲题、评题的过程,也是不断改题、磨题和总结的过程。习题教学是整个高三物理教学的主
期刊
高三物理复习
习题教学
提高效率
中考现代文阅读“心境”界——绍兴市中考现代文阅读评析
纵观绍兴市近几年中考现代文阅读,2012年的阅读题无论是在题型的设置上,还是考查方式的变化上,都出现了新的突破,它更好地诠释了语文新课标中对初中阶段学生语文学习的要求,
期刊
中考
现代文
阅读教学
语文新课标
语文学习
考查方式
初中阶段
绍兴市
学生
题型
设置
诠释
高效的ASIC设计VHDL基准--VITAL
VITAL是IEEE新进制定的一个用VHDL建立ASIC模型库的基准,它为ASIC库的建立、电路设计的描述提供了便利的描述方法,为提高模拟性能提供了基础。该文介绍VITAL的基本内容,并介绍用VITAL描述电路模型的方法。
会议
电路设计
描述方法
电路模型
模型库
性能
模拟
基准
基础
VHDL语言编程风格初探
该文论述了用VHDL语言进行高层设计时应当注意的一些问题,包括层级描述的限制,功能块的划分原则,VHDL文件的组织,以及算法描述中围绕的焦点,SENDITIVE LIST的写法,时钟的限制,避免冗余逻辑和BUFFER端口的使用以
会议
语言
资源共享
算法描述
划分原则
功能块
组织
写法
文件
时钟
逻辑
精练
焦点
计时
端口
如何用VHDL设计符合实际的电路
用VHD设计是未来电路设计方法的趋势,如何将功能强大、结构复杂的VHDL与先进的EDA系统综合工具相结合是在用VHDL设计时要解决的问题,该文为作者使用VHDL设计电路的几点体会。
会议
设计方法
系统综合
设计电路
结构复杂
计时
功能
工具
VHDL硬件描述语言在传真机设计中的应用
会议
硬件描述语言
传真机
设计
VHDL语言高级综合子集的确立及实现方法
越来越多的高级综合系统采用或接受VHDL语言作为设计输入,但VHDL语言的语义本质是基于模拟而非基于高级综合的,许多 法现象不能或不适于进行综合。该文系统地分析了VHDL语言的可综合的问题
会议
语言
高级综合系统
子集
可综合性
语法现象
系统分析
实现方法
设计输入
语义
模拟
教师文化建设刍议
据《武汉晨报》报道,汉阳楚才中学近日出台“师规”,要求女教师在校内不能穿着暴露,不穿性感的黑丝袜,不喷浓烈的香水。此报道一出引发多方转载,教师的服饰文化再次成为舆论关注的焦点。其实,何止是教师的穿着,教师的言行举止同样备受社会关注,而这些都涉及教师文化范畴。 一、教师文化有外在表现的准则 1.应有利于学生的身心发展。教师是教育工作者,教师发生在教育场所(比如教室、办公室、学生宿舍、食堂等)的一
期刊
教师文化
文化范畴
服饰文化
女教师
中学
舆论
香水
武汉
丝袜
焦点
汉阳
晨报
Java技术在电站仿真系统中的应用
文章介绍了目前电站仿真机的构成及发展方向,结合Java语言的技术特点,在基于Java语言开发交互式仿真系统的体系结构(Java-basedArchitectureforDevelopingInteractiveSimulatio
会议
技术特点
电站仿真系统
开发
交互式
电站仿真机
语言
应用模型
体系结构
设计方法
控制器
视图
设备
论证
框架
构架
构成
一种有语义的连结主义模型模糊分层前馈网模型
符号主义和连结主义是人工智能研究的两个主要流派。近年来,将两者结合起来的研究引起了广泛的兴趣。此文提出一种有语义的连结主义推理模型-分层前馈模型FNRM,及其世界抽象。描述了
期刊
网模型
人工智能研究
模糊系统
问题求解
抽象层
加权模糊
学习过程
知识表示
推理过程
逻辑公式
与本文相关的学术论文