#### Filter Results:

- Full text PDF available (56)

#### Publication Year

1975

2017

- This year (1)
- Last 5 years (8)
- Last 10 years (25)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Paul Feautrier
- 1988

When analysing computer programs (especially numerical programs in which arrays are used extensively), one is often confronted with integer programming problems. These problems have three peculiarities: feasible points are ranked according to lexicographic order rather than the usual linear economic function; the feasible set depends on integer parameters;… (More)

- Paul Feautrier
- International Journal of Parallel Programming
- 1991

Given a program written in a simple imperative language (assignment statements,for loops, affine indices and loop limits), this paper presents an algorithm for analyzing the patterns along which values flow as the execution proceeds. For each array or scalar reference, the result is the name and iteration vector of the source statement as a function of the… (More)

- Paul Feautrier
- 1992

This paper extends the algorithms which were given in Part I to cases in which there is no aane schedule, i.e. to problems whose parallel complexity is polynomial but not linear. The natural generalization is to multi-dimensional schedules with lexicographic ordering as temporal succession. Multidimensional aane schedules, are, in a sense, equivalent to… (More)

- Paul Feautrier
- International Journal of Parallel Programming
- 1992

This paper extends the algorithms which were developed in Part I to cases in which there is no affine schedule, i.e. to problems whose parallel complexity is polynomial but not linear. The natural generalization is to multidimensional schedules with lexicographic ordering as temporal succession. Multidimensional affine schedules, are, in a sense, equivalent… (More)

- Paul Feautrier
- International Journal of Parallel Programming
- 1992

Programs and systems of recurrence equations may be represented as sets of actions which are to be executed subject to precedence constraints. In may cases, actions may be labelled by integral vectors in some iterations domains, and precedence constraints may be described by affine relations. A schedule for such a program is a function which assigns an… (More)

- Lucien M. Censier, Paul Feautrier
- IEEE Trans. Computers
- 1978

A memory hierarchy has coherence problems as soon-contents of the main memory--is copied in the -cache. One as one of its levels is split in several independent units-which are not says that such a datum-is present in the cache. If a processor p^|ilarl ad-onauMla frnw factor lnwale nr nrd%d%1Qlrc 'MA' dIgQ;lea_ _. equaiiy auivieirU m iUster ieveIs Ur p1csws… (More)

Proving the termination of a flowchart program can be done by exhibiting a ranking function, i.e., a function from the program states to a wellfounded set, which strictly decreases at each program step. A standard method to automatically generate such a function is to compute invariants for each program point and to search for a ranking in a restricted… (More)

- Paul Feautrier
- ICS
- 1988

A common problem in restructuring programs for vector or parallel execution is the suppression of false dependencies which originate in the reuse of the same memory cell for unrelated values. The method is simple and well understood in the case of scalars. This paper gives the general solution for the case of arrays. The expansion is done in two steps:… (More)

- Vincent Lefebvre, Paul Feautrier
- Parallel Computing
- 1998

This article deals with automatic parallelization of static control programs. During the parallelization process the removal of memory related dependences is usually performed by translating the original program into single assignment form. This total data expansion has a very high memory cost. We present a technique of partial data expansion which leaves… (More)

- Paul Feautrier
- Parallel Processing Letters
- 1994

This paper considers the problem of distributing data and code among the processors of a distributed memory supercomputer. Provided that the source program is amenable to detailed dataaow analysis, one may determine a placement function by an algorithm analogous to Gaussian elimination. Such a function completely characterizes the distribution by giving the… (More)