Add to ORKG计算划分问题是并行编译中最为重要的问题之一.针对并行循环,在数据分布确定的情况下,提出了基于规范集的计算划分算法,具体讨论了规范集的获取方法及综合通信与负载均衡的最优方案选取算法.实验表明,在并行循环处理方面,这一算法与以前几种算法相比更加简单、有效;采用这一算法的p_HPF编译器对数据并行应用问题可以获得良好的加速比和效率.该编译器已在石油领域得到应用.国家自然科学基金中文核心期刊要目总览(PKU)中国科学引文数据库(CSCD)03362-3681
Экспериментальная система параллельного программирования Аспект предназначена для исследования новых...
LilyTask是一种以任务为单位、基于任务并行的计算模型和程序设计模型.本文介绍的LilyTask系统基于LilyTask模型,对在分布内存环境下实现任务池系统进行了有益的尝试,较好地解决了任务并行...
先进控制中存在着大量费时的计算 ,这限制了它们的应用 .现代控制系统正在向着网络化方向发展 ,为在控制系统中实施并行计算提供了必要的环境 .控制系统的网络化从根本上导致了控制应用中计算模式的变化 .在...
Computation partition is one of the most important problems in parallel compilation and optimization...
本論文提出一個基於共享記憶體多核心處理器系統下，使用錯誤分配概念之平行化測試圖樣產生器，不同於之前所提出的方法 [6, 7, 8]，我們消除了平行執行時所產生圖樣數量膨脹的問題，我們所提出的平行化測試...
多范例并行是大规模并行应用系统的本质特征,实现p-HPF对多范例并行计算的编译支持不仅可以弥补数据并行范例本身的一些缺点,而且可以提高并行应用系统的效率.文中在论述cluster环境下Global，L...
In this paper, a system of automatic designing parallel programs is considered. Some frequent useful...
コンピュータ・システムの高い信頼性を保つためには，障害の原因となる故障を検出する必要がある． 故障を検出する一般的な手法として，時間的または空間的冗長性の利用が挙げられる．しかし，それらの冗長性の 実...
Different models used in modern libraries and frameworks to organize computations in parallel system...
由於目前電路設計的複雜性越來越大，模擬驗證變成是電路發展設計上一項瓶頸，分散式平行模擬似乎是解決這問題的方法之ㄧ，為了能夠分散模擬各個行程的工作量，在過去大部分是著重邏輯層級(GATE-LEVEL)的...
针对目前多数交换机制可扩展性差、实现复杂度大的问题,基于并行存储机制构建高性能交换结构PSS,采用流模型证明在不加速的情况下PSS交换结构对满足大数定律的可容许到达业务能够实现100%的吞吐量,在该结...
文中考虑一种以连线代价最小为目标的、以面积和时延为约束的、划分块与划分块之间有确定的拓扑关系的电路划分问题,提出了一个性能驱动电路划分的均场退火算法.算法通过换位矩阵把问题映射为神经网络,并建立了包含...
Compilation of parallel loops is one of the most important parts in parallel compilation and optimiz...
许多程序模型是以数学或逻辑为基础设计并分析的,但程序模型的实现首先是个物理系统,它依物理规律,而非数学或逻辑规则活动.但人们习惯于用状态序列对并列程序模型的语义作数学处理.一旦偏序的状态空间用交叉的方...
针对SAT算法中回溯次数较多的问题,采用基于符号模拟和变量划分的方法来解决其不足.基于符号模拟和变量划分的SAT算法将一个较大的CNF分解为两个子集,每个子集所包含的变量又划分为两个互不相交的子集,仅...
Экспериментальная система параллельного программирования Аспект предназначена для исследования новых...
LilyTask是一种以任务为单位、基于任务并行的计算模型和程序设计模型.本文介绍的LilyTask系统基于LilyTask模型,对在分布内存环境下实现任务池系统进行了有益的尝试,较好地解决了任务并行...
先进控制中存在着大量费时的计算 ,这限制了它们的应用 .现代控制系统正在向着网络化方向发展 ,为在控制系统中实施并行计算提供了必要的环境 .控制系统的网络化从根本上导致了控制应用中计算模式的变化 .在...
Computation partition is one of the most important problems in parallel compilation and optimization...
本論文提出一個基於共享記憶體多核心處理器系統下，使用錯誤分配概念之平行化測試圖樣產生器，不同於之前所提出的方法 [6, 7, 8]，我們消除了平行執行時所產生圖樣數量膨脹的問題，我們所提出的平行化測試...
多范例并行是大规模并行应用系统的本质特征,实现p-HPF对多范例并行计算的编译支持不仅可以弥补数据并行范例本身的一些缺点,而且可以提高并行应用系统的效率.文中在论述cluster环境下Global，L...
In this paper, a system of automatic designing parallel programs is considered. Some frequent useful...
コンピュータ・システムの高い信頼性を保つためには，障害の原因となる故障を検出する必要がある． 故障を検出する一般的な手法として，時間的または空間的冗長性の利用が挙げられる．しかし，それらの冗長性の 実...
Different models used in modern libraries and frameworks to organize computations in parallel system...
由於目前電路設計的複雜性越來越大，模擬驗證變成是電路發展設計上一項瓶頸，分散式平行模擬似乎是解決這問題的方法之ㄧ，為了能夠分散模擬各個行程的工作量，在過去大部分是著重邏輯層級(GATE-LEVEL)的...
针对目前多数交换机制可扩展性差、实现复杂度大的问题,基于并行存储机制构建高性能交换结构PSS,采用流模型证明在不加速的情况下PSS交换结构对满足大数定律的可容许到达业务能够实现100%的吞吐量,在该结...
文中考虑一种以连线代价最小为目标的、以面积和时延为约束的、划分块与划分块之间有确定的拓扑关系的电路划分问题,提出了一个性能驱动电路划分的均场退火算法.算法通过换位矩阵把问题映射为神经网络,并建立了包含...
Compilation of parallel loops is one of the most important parts in parallel compilation and optimiz...
许多程序模型是以数学或逻辑为基础设计并分析的,但程序模型的实现首先是个物理系统,它依物理规律,而非数学或逻辑规则活动.但人们习惯于用状态序列对并列程序模型的语义作数学处理.一旦偏序的状态空间用交叉的方...
针对SAT算法中回溯次数较多的问题,采用基于符号模拟和变量划分的方法来解决其不足.基于符号模拟和变量划分的SAT算法将一个较大的CNF分解为两个子集,每个子集所包含的变量又划分为两个互不相交的子集,仅...
Экспериментальная система параллельного программирования Аспект предназначена для исследования новых...
LilyTask是一种以任务为单位、基于任务并行的计算模型和程序设计模型.本文介绍的LilyTask系统基于LilyTask模型,对在分布内存环境下实现任务池系统进行了有益的尝试,较好地解决了任务并行...
先进控制中存在着大量费时的计算 ,这限制了它们的应用 .现代控制系统正在向着网络化方向发展 ,为在控制系统中实施并行计算提供了必要的环境 .控制系统的网络化从根本上导致了控制应用中计算模式的变化 .在...