.png){kind=icon}
返回
Integrating model-based optimization and program transformation to generate efficient parallel programs
.png){kind=icon}
PRE
AI
DOI：10.1016/S1383-7621(98)00018-6.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
The paper gives an overview on the DSPL programming environment, an integrated approach to automate system design and implementation of applications run on dedicated parallel systems. The programming environment consists of a data-flow language and an integrated set of tools. The tools automatically derive a software model from the given application program. Based on the model, the design decisions as the network topology, the task mapping and schedule as well as the optimal use of buffers are computed. Finally, the design decisions are automatically implemented by transforming the application program in executable code for the chosen processor network. The DSPL programming environment integrates model-based optimization techniques and program transformation techniques. The integration allows to include new aspects in the optimization process. Especially optimizations crucial to the semantics of the program can be included. The most important examples of such optimizations are the enforcement of the schedule in case of data-dependent execution of tasks and the transformation of buffered communication to unbuffered communication. Both aspects are crucial to the generation of efficient parallel implementations. The integration of the two aspects is supported by a formal framework. This allows to formally prove the correctness of the program optimizations performed by the programming environment. (C) 1999 Elsevier Science B.V. All rights reserved.
Keyword:
branch-and-bound
data-flow programming
parallel systems
program transformation
programming environments
scheduling
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
4.1
论文数:
3.0K
被引数:
4.2K
机构
暂无机构信息
引用论文
分享收藏Immunocytochemical localization of lipophorin in the fat body of dragonfly larvae (Aeshna cyanea)
PREAI
分享收藏Correlation Between Ki-67 Index, World Health Organization Grade and Patient Survival in Glial Tumors With Astrocytic Differentiation.png)
Cureus
OAAI
CureusIF0
OAAI分享收藏 没有更多内容
没有更多内容