Feautrier, Paul, 19..-....
![Sudoc [ABES], France](/viaf/images/flags/SUDOC.png "Sudoc [ABES], France")
Feautrier, Paul
VIAF ID: 9871461 (Personal)
Permalink: http://viaf.org/viaf/9871461
Preferred Forms
-
200 _ |
‡a
Feautrier
‡b
Paul
-
100 1 _
‡a
Feautrier, Paul
-
100 1 _ ‡a Feautrier, Paul
-
100 1 _
‡a
Feautrier, Paul,
‡d
19..-....
Works
| Title | Sources |
|---|---|
| ACQUISITION AND ANALYSIS OF GRAPHIC MESSAGES. AN EXPERT SYSTEM IN COMPUTER ASSISTED LEARNING. |
|
| ACQUISITION ET RECONNAISSANCE DE MESSAGES GRAPHIQUES, UN SYSTEME EXPERT DANS UN SYSTEME EAO |
|
| Amélioration de la localité dans les programmes à contrôle statique |
|
| Analyse du flot de données pour tableaux en présence de contraintes non-affines |
|
| Array dataflow analysis in presence of non-affine constraints. |
|
| AUTOMATIC GENERATION OF DATA MOVEMENTS FOR MULTIPROCESSORS WITH LOCAL MEMORIES. |
|
| AUTOMATIC VECTORIZATION OF LOOPS CONTAINING BRANCH STATEMENTS. |
|
| Complexity analysis of algorithms: verification and inference. |
|
| Construction d'un paralléliseur interactif de logiciels scientifiques de grande taille guide par des mesures de performances |
|
| Construction of an interactif parallelizer for large scientific applications directed by performance analysis. |
|
| Contribution à l'étude des problèmes d'utilisation des terminaux graphiques : un système de programmation graphique conversationnelle : 1e thèse ; Propositions données par la Faculté : 2e thèse |
|
| Contributions to dynamic binary translation : instruction parallelism support and optimized translators generator. |
|
| Cooperating agents and task assignment in multiprocessor systems, by a graph partitioning method. |
|
| DEPENDENCE ANALYSIS IN THE NON-LINEAR CASE: A CONTEXTUAL LINEARIZATION METHOD. |
|
| Détection et exploitation des récurrences dans les programmes numériques en vue de leur parallélisation |
|
| Étude de l'impact de la sécurité sur les performances dans les grappes de PC |
|
| FLOWS PARALLEL GRAPH ALGORITHMS: FROM FUNDAMENTALS TO APPLICATIONS. |
|
| GENERATION DE CODE ET ANALYSE INTERPROCEDURALE AU SEIN D'UN ENVIRONNEMENT DE PROGRAMMATION PARALLELE |
|
| Gestion dynamique des tâches dans une architecture micro-éléctronique intégrée, à des fins de basse consommation |
|
| High-performance floating-point computing on reconfigurable circuits. |
|
| Improving Data Locality in Static Control Programs. |
|
| UN LANGAGE A PARALLELISME DE DONNEES ET DE TACHES ADAPTE AUX ARCHITECTURES MULTI-SIMD. CONTRIBUTIONS A LA SIMULATION HYDRODYNAMIQUE PAR LES GAZ SUR RESEAU |
|
| A language for data-parallel and task parallel programming dedicated to multi-simd computers. Contributions to hydrodynamic simulation with lattice gases. |
|
| Low power dynamic management of tasks in a micro-electronic architecture. |
|
| Mémento Unix |
|
| Numerical software dévelopment in parallel environment. |
|
| Optimisation de LatticeQCD et représentations polytopiques de la mémoire distribuée. |
|
| Optimisation de méthodes de résolution itératives de grands systèmes linéaires creux sur machines massivement parallèles |
|
| Optimisation de programmes par reconnaissance de templates |
|
| Optimisation of iterative methods to solve large sparse linear systems on massively parallel computers. |
|
| PARALLEL COMPUTERS AND WAVE PROPAGATION SIMULATION: PERFORMANCE CHARACTERIZATION AND OPTIMIZATION. |
|
| Parallel object-oriented programming and reuse applied to numerical linear algebra. |
|
| PARALLELISATION AUTOMATIQUE : ESTIMATION DES DUREES D'EXECUTION ET ALLOCATION STATIQUE DE PROCESSEURS |
|
| Partitionnement des boucles imbriquées : une technique d'optimisation pour les programmes scientifiques |
|
| PLACEMENT DE DONNEES ET GENERATION DE CODE AUTOMATIQUE POUR LES MULTIPROCESSEURS A MEMOIRE DISTRIBUEE |
|
| Placement optimization of scans and reductions for distributed memory parallel machines. |
|
| PROCESS INTERACTION MODELS. |
|
| Program optimization by Template recognition and replacement . |
|
| Programmation parallèle orientée objet et réutilisabilité appliquée à l'algèbre linéaire |
|
| RESTRUCTURING OF FORTRAN PROGRAMS PRELIMINARY TO THEIR PARALLELIZATION. |
|
| Revisiting the abstract domain of polyhedra : constraints-only representation and formal proof. |
|
| SEMANTIC ANALYSIS OF C LANGUAGE PROGRAMS FOR PARALLELIZATION. |
|
| SPECIFICATION AND IMPLEMENTATION OF A RELIABLE FILE SERVICE FOR THE CHORUS DISTRIBUTED OPERATING SYSTEM. |
|
| SPECIFICATION ET REALISATION D'UN SERVICE DE FICHIERS FIABLE POUR LE SYSTEME D'EXPLOITATION REPARTI CHORUS |
|
| Static and dynamic analysis of complexity for scientific programs. |
|
| Study of the cost of security on performance in clusters of PC. |
|
| LA SYNTHESE D'IMAGES EN TEMPS REEL |
|
| Un système formel de transformation de programmes pour leur exécution sur machines parallèles |
|
| SYSTEMES D'EFFET ET INTERPRETATION ABSTRAITE POUR L'ANALYSE DE FLOT DE CONTROLE |
|
| TESTS DES DEPENDANCES ET TRANSFORMATIONS DE PROGRAMME |
|
| Théorie des classifications stellaires |
|
| TRAITEMENT DES INDEXATIONS NON LINEAIRES EN PARALLELISATION AUTOMATIQUE : UNE METHODE DE LINEARISATION CONTEXTUELLE |
|
| VECTORISATION AUTOMATIQUE DE BOUCLES COMPORTANT DES INSTRUCTIONS DE BRANCHEMENT |
|
| Writing of a virtual operating system : realisation of a Unix sub-system on the GCOS 6-MOD 400 system from the Bull DPS 6 machine. |
|
