Parallel data-flow analysis of explicitly parallel programs

机译：显式并行程序的并行数据流分析

获取原文

获取原文并翻译 | 示例

页面导航

摘要
著录项
相似文献
相关主题

摘要

In terms of program verification data-flow analysis (DFA) is commonly understood as the computation of the strongest postcondition for every program point with respect to a precondition which is assured to be valid at the entry of the program.

机译：就程序验证而言，数据流分析（DFA）通常被理解为针对每个程序点相对于前提条件的最强后置条件的计算，该前提条件确保在程序进入时是有效的。

著录项

来源
《》|1999年|p.391-400|共10页
会议地点 Toulouse(FR);Toulouse(FR)
作者
Jens Knoop;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类自动化技术、计算机技术;
关键词

相似文献

外文文献
中文文献
专利

1. Efficient interprocedural array data-flow analysis for automaticprogram parallelization [J] . Junjie Gu, Zhiyuan Li IEEE Transactions on Software Engineering . 2000,第3期

机译：高效的过程间数组数据流分析，可实现程序自动并行化
2. Efficient interprocedural array data-flow analysis for automatic program parallelization [J] . Junjie Gu, Zhiyuan Li IEEE Transactions on Software Engineering . 2000,第3期

机译：高效的过程间数组数据流分析，可实现程序自动并行化
3. Program Demultiplexing: Data-flow based Speculative Parallelization of Methods in Sequential Programs [J] . Saisanthosh Balakrishnan, Gurindar S. Sohi Computer architecture news . 2006,第2期

机译：程序多路分解：顺序程序中基于数据流的方法的推测并行化
4. Parallel data-flow analysis of explicitly parallel programs [C] . Jens Knoop International Euro-Par conference on parallel processing . 1999

机译：明确并行程序的并行数据流分析
5. Leveraging Data-Flow Information for Efficient Scheduling of Task-Parallel Programs on Heterogeneous Systems [D] . Simsek, Osman Seckin. 2020

机译：利用数据流信息，以便有效调度异构系统上的任务并行程序
6. Analysis of Parallel Algorithms on SMP Node and Cluster of Workstations Using Parallel Programming Models with New Tile-based Method for Large Biological Datasets [O] . D. D. Shrimankar, S. R. Sathe 2016

机译：大型生物数据集基于新图块的并行编程模型对SMP节点和工作站集群的并行算法进行分析
7. Efficient Interprocedural Array Data-flow Analysis for Automatic Program Parallelization [O] . Junjie Gu, Zhiyuan Li 2000

机译：用于自动程序并行化的高效过程间阵列数据流分析
8. Program Flow Graph Construction for Static Analysis of Explicitly Parallel Message-Passing Programs [R] . Shires, D. R. , Pollock, L. 2000

机译：显式并行消息传递程序静态分析的程序流程图构造

Parallel data-flow analysis of explicitly parallel programs

摘要

著录项

相似文献

相关主题

期刊订阅