收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

并行编译中的区域调度问题

苏运霖  
【摘要】:介绍指令级并行性(ILP)中和指令级计算(EPIC)中区域的直观概念和这些概念的形式化工作,并简单介绍区域的几个调度算法,为并行编译中的区域调度问题提供一个系统的、形式化的论述。

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 闫林;两类特殊命题准确形式化的语义分析法[J];微机发展;1999年01期
2 于勐 ,阳雪林 ,臧婉瑜 ,谢立 ,孙钟秀;基于方法调用一般化模型的并行性分析[J];计算机学报;2002年04期
3 姚全珠,张志锋,任雪利,张作鹏;基于构件的信息系统形式化需求分析方法的研究[J];计算机工程与应用;2005年18期
4 温红子,周永彬,卿斯汉;基于框架的形式化商务安全策略模型[J];电子学报;2005年02期
5 何晓晔;吴永波;徐培德;沙基昌;;任务空间概念模型规范化研究[J];火力与指挥控制;2007年08期
6 丁松阳;张墨华;;二进制翻译形式化模型[J];电脑与电信;2007年09期
7 姚新宇,戴金海;多带自动机在YH-F2算术表达式并行编译中的应用[J];计算技术与自动化;1999年01期
8 张宏莉,方滨兴,胡铭曾;一种针对结构化并行控制机制的任务调度算法[J];软件学报;2001年05期
9 李冰;防止计算机辅助教学的形式化倾向[J];教学与管理;2001年14期
10 曾杰,谢晓尧;基于Petri网的安全协议形式化分析与验证[J];贵州科学;2004年03期
11 沈宁;陈利;张凯;;需求干扰问题的研究[J];计算机与数字工程;2007年02期
12 魏运;陆振波;;基于GPS精密单点定位的公交区域实时调度系统研究[J];中国科技信息;2006年24期
13 陈莹;;基于PI演算的软件人通信形式化与建模研究[J];科技资讯;2008年02期
14 唐长钧;;FORTH语言并行编译的研究[J];上海交通大学学报;1984年02期
15 邹恒明;并行词法分析器——并行编译理论研究之一[J];计算机学报;1990年12期
16 肖侬,胡守仁,高洪奎,韩冰,宋辉;一个基于对象的程序划分算法[J];电子学报;1997年05期
17 宋国新,虞慧群,邵志清;CIMS中形式化面向对象软件开发方法研究[J];高技术通讯;1997年08期
18 朱晓梅;基于消息通信的源到源并行编译实现中的几个问题[J];计算机与数字工程;1997年02期
19 闫林,潘红;数学概念的一种特殊形式化方法[J];微机发展;1998年01期
20 ;程序设计、程序框图[J];电子科技文摘;2001年08期
中国重要会议论文全文数据库 前10条
1 苏运霖;;并行编译中的区域调度问题[A];广西计算机学会2004年学术年会论文集[C];2004年
2 张建军;周继鹏;葛玮;;基于逻辑模型的DB模式向关系模式的形式化转换方法[A];第十一届全国数据库学术会议论文集[C];1993年
3 于莉娟;邓卫;;智能公交一体化系统研究[A];2007第三届中国智能交通年会论文集[C];2007年
4 陆首博;谢瑾奎;黄林鹏;;并行编译线程的设计与分析[A];2005年全国开放式分布与并行计算学术会议论文集[C];2005年
5 金岩;杨孝宗;;移动计算的发展及形式化表示[A];第11届全国计算机在现代科学技术领域应用学术会议论文集[C];2003年
6 张雪松;陈智涛;;分布交互式仿真框架结构研究与实现[A];二○○一年中国系统仿真学会学术年会论文集[C];2001年
7 费定舟;;基于分枝时间框架的通信系统的BDI模型[A];2005年全国理论计算机科学学术年会论文集[C];2005年
8 靳光瑾;;计算机理解汉语需要语法理论支撑[A];语言文字应用研究论文集(Ⅱ)[C];2004年
9 黄永璋;;计算机安全的Bell-Lapadula模型[A];第四次全国计算机安全技术交流会论文集[C];1989年
10 蔡谊;沈昌祥;;安全操作系统发展现状及对策[A];第十六次全国计算机安全学术交流会论文集[C];2001年
中国博士学位论文全文数据库 前10条
1 郑红;分布式系统形式化建模技术研究[D];中国科学院研究生院(软件研究所);2003年
2 艾萍;构件柔性组装描述的形式化方法研究及其在水利领域的应用[D];河海大学;2002年
3 何晓晔;任务空间概念建模技术及其VV&A研究[D];国防科学技术大学;2005年
4 黄河;农业复杂自适应搜索模型研究及实现[D];中国科学技术大学;2010年
5 黄茂军;地理本体的形式化表达机制及其在地图服务中的应用研究[D];武汉大学;2005年
6 任洪敏;基于π演算的软件体系结构形式化研究[D];复旦大学;2003年
7 梁彬;可信进程机制及相关问题研究[D];中国科学院研究生院(软件研究所);2004年
8 张守志;Rough集中若干问题的研究[D];复旦大学;2004年
9 杨益明;面向软件产品线的开发模型与领域构件逆向抽取[D];复旦大学;2010年
10 刘静;基于形式规格说明的统一软件建模系统的研究[D];上海大学;2005年
中国硕士学位论文全文数据库 前10条
1 苗长运;并行实时系统在BRCC中的形式化[D];广西师范大学;2010年
2 唐燕飞;基于Petri网的用例建模研究[D];西南大学;2006年
3 段继磊;利用XML和构架构件技术实现B/S模式下MIS程序的自动生成[D];昆明理工大学;2002年
4 丁湘陵;基于B方法的软件体系结构描述语言的精化研究[D];湖南师范大学;2006年
5 陈武;UML状态机的形式化语义研究[D];西南师范大学;2004年
6 罗蜜;基于UML的形式化需求建模的研究[D];西南师范大学;2003年
7 祝义;基于UML和Z的软件体系结构求精方法及其应用[D];苏州大学;2005年
8 闵洪军;软件工程中形式化方法研究[D];浙江大学;2006年
9 常丽丽;基于海洋生态本体的知识管理系统的研究与实现[D];中国海洋大学;2011年
10 匡旺秋;多媒体应用程序子字并行自动识别关键技术研究[D];湖南师范大学;2009年
中国重要报纸全文数据库 前2条
1 王飞跃;Services Science服务科学一个崭新的科学领域[N];北京日报;2006年
2 熊德意何中军 刘群;机器翻译渐行渐近[N];计算机世界;2007年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978