指令级并行程序执行模型

来源 :计算机学报 | 被引量 : 0次 | 上传用户：sunmoon

【摘要】

：

提出了一种形式化的指令级并行程序执行模型(Instruction-Level Parallel Program Execution Model,ILPPEM).ILPPEM不仅可以描述程序实际执行过程的行为,也可以描述编译和执

【作者】

：

乔林汤志忠容红波张赤红

【机构】

：

清华大学计算机科学与技术系

【出处】

：

计算机学报

【发表日期】

：

2004年期

【关键词】

：

指令级并行性超长指令字程序执行可行程序执行程序执行的同构

【基金项目】

：

国家自然科学基金;

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

提出了一种形式化的指令级并行程序执行模型(Instruction-Level Parallel Program Execution Model,ILPPEM).ILPPEM不仅可以描述程序实际执行过程的行为,也可以描述编译和执行时不确定的时间变化所造成的可行执行过程的行为;同时提出了程序执行的同构概念,并证明了可行程序执行必与一个实际程序执行同构,从而为并行程序编译和验证提供了理论依据.

其他文献

Study on metallurgical properties and pellet proportioning technology of stainless steel cold-rollin

With a complicated composition,large production and serious damage to the environment,stainless steel cold-rolling sludge has been a focal point concerning envi

期刊

stainless steel cold-rolling sludgepellet proportioningmetallurgical propertie

一个混合属性的实例检索模型

文章首先分析了传统的实例检索策略的不足,提出了一种基于模糊相似优先比的混合属性实例的检索模型.该模型用语义距离来刻画两实例对应属性之间的相似程度,允许实例的属性为

期刊

人工智能基于实例的推理模糊相似优先比混合属性实例检索语义距离

全氟壬烯氟两相体系及其在酯化反应中的应用

Some apolar organic solvents is miscible with perfluorous nonene to form fluorous biphase systems.Perfluorous nonene could be used as a green solvent in equimol

期刊

perfluorous nonenefluorous biphase systemesterificationgreen solvent

Influence of NaCl-CaCl2 on Decomposing REPO4 with CaO

The influence of NaCl-CaCl2 on thermal decomposition of REPO4 (RE: Ce, La, Nd, Th) with CaO was studied.The heat decomposing process of REPO4 was tested with TG

期刊

NaCl-CaCl2CaOREPO4decomposition ratiorare earths

计算机时间同步问题的研究

分析和研究了当前两种重要的计算机时间同步技术：ＮＴＰ协议和直接连接时间传输．提出了一个在网络中同步计算机的综合性方案，并对实施方案时可能出现的问题进行了讨论 Analyzed and s

期刊

时间同步NTP协议直接连接时间传输

高性能协同工作支撑环境模型及其实现

允许多个协作同时运行是用户和应用对计算机支持的协同工作（ＣＳＣＷ）支撑环境的基本要求，但这一要求使支撑环境的管理和控制变得十分复杂。另外，多数ＣＳＣＷ支撑环境中未能较好地支持带实时多媒

期刊

计算机支持的协同工作(CSCW)支撑环境多媒体

Improvement of Intergranular Stress Corrosion Crack Susceptibility of Austenite Stainless Steel thro

Intergranular stress corrosion crack susceptibility of austenite stainless steel was evaluated through threepoint bending test conducted in high temperature wat

期刊

Intergranular stress corrosion crackingGrain boundary engineeringCoincidence s

Abrasive wear property of laser melting/deposited Ti2Ni/TiNi intermetallic alloy

A wear resistant intermetallic alloy consisting of TiNi primary dendrites and Ti2Ni matrix was fabricated by the laser melting deposition manufacturing process.

期刊

TiNiTi2Niabrasive wearintermetallic alloy

Preparation and electrochemical performance of nanosized Co3O4 via hydrothermal method

The hydrotalcite-type cobalt compounds were prepared through oxidation of Co(OH)2 gel using NH4OH as precipitating agent and H2O2 as oxidant. These hydrotalcite

期刊

hydrotalcite-type cobalt compoundsnanosized Co3O4hydrothermal methodanode mat

More efficient ground truth ROI image coding technique :implementation and wavelet based application

In this paper, more efficient, low-complexity and reliable region of interest (ROI) image codec for compressing smooth low texture remote sensing images is prop

期刊

Smooth low texture remote sensing (SLTRS) imageModified region of interest (ROI

指令级并行程序执行模型

其他学术论文