论文部分内容阅读
提出了一种形式化的指令级并行程序执行模型，ＩＬＰＰＥＭ不仅可以描述程序实际执行过程的行为，也可以描述编译和执行时不确定的时间变化所造成的可行执行过程的行为；同时提出了程序执行的同构概念，并证明了可行程序执行必与一个实际程序执行同构，从而为并行程序编译和验证提供了理论依据。
指令级并行程序执行模型
【摘 要】
：
提出了一种形式化的指令级并行程序执行模型，ＩＬＰＰＥＭ不仅可以描述程序实际执行过程的行为，也可以描述编译和执行时不确定的时间变化所造成的可行执行过程的行为；同时提出了程序执行的同
【机 构】
：
清华大学计算机科学与技术系
【出 处】
：
计算机学报
【发表日期】
：
1999年5期
【基金项目】
：
国家自然科学基金
其他文献
本文提出了基于彩色模型的灰度图像彩色显示与分割的方法，该方法将ＲＧＢ，ＨＳＶ和ＧＬＨＳ这几个彩色模型用于图像彩色合成显示并首次用于灰度图像分割中，彩色合成利用图产强方法并考虑到人眼对彩色
目的探讨以眩晕为主诉患者的常见病因及临床特征。方法 160例我院神经内科就诊的门诊和住院病人,以眩晕为主诉。根据临床症状和体征、Dix-Hallpike试验、颅多普勒超声（TCD）、头
目的探讨胃肠间质瘤的病理组织学和免疫组化学特点及诊断要点。方法对56例胃肠间质瘤进行常规病理及免疫组化CD117,CD34,SMA,S-100染色特点分析。结果 56例胃肠间质瘤中50例C
在“虫孔”寻径网络中，阻塞对网络性能有决定性影响。研究阻塞随网络参数及负荷的变化规律，对于确定影响性能的关键因素，优化系统设计，都有重要意义。本文定义了一个刻划网络阻塞
齿轮被镶嵌在国徽上代表工业，是机械工业的象征。齿轮工业是机械工业中技术最密集，资金最密集的产业。齿轮传动是几乎所有成套机械装备的主要传动部件。齿轮产品直径大到十几米
将基于上下文的算法编码方法和位平面编码方法有机结合，得到了基于小波包变换的分层预测图像压缩算法ＢＰＰ，为了充分利用小波系数间的各种相关性，在组合父子，邻居和兄弟相关性基础上得