Perrin, Guy-René.
Perrin, Guy-René, Computer science : Data parallel programming
VIAF ID: 8096904 ( Personal )
Permalink: http://viaf.org/viaf/8096904
Preferred Forms
-
- 100 1 0 ‡a Perrin, Guy-René
- 100 1 _ ‡a Perrin, Guy-René
-
-
- 100 1 _ ‡a Perrin, Guy-René
-
-
-
Works
Title | Sources |
---|---|
Communication : a tool for the specification, the construction and the verification of parallel systems. | |
compiling of reccurrence equation systems in networks of communicating process. | |
CONSISTENCY TESTS IN A LOGIC PROGRAMMING LANGUAGE WITH SET CONSTRAINTS. | |
contribution à l'étude et à lA REALISATION D'UN SYSTEME A IMAGE UNIQUE POUR MULTICALCULATEUR | |
Contribution to the study and implementation of a single system image for multicomputer. | |
The data parallel programming model : foundations, HPF realization, and scientific applications | |
Dérivation de processus communicants : Règles et raffinement et applications | |
Design of distributed applications with specification refinement. | |
Détermination du nombre de classes : application aux gènes et aux protéines | |
Expression des communications entre processus d'un programme parallèle par des types abstraits | |
Ordonnancement sur plates-formes hétérogènes de tâches partageant des données | |
Parallel code generation from recurrence equations. | |
RenPar' 10 : Actes | |
Scheduling tasks sharing data on heterogeneous platforms. | |
La sémantique des directives au compilateur : application au parallélisme de données | |
Synthèse d'algorithmes systoliques et implantation optimale en place sur réseaux de processeurs synchrones | |
Synthesis of systolic algorithms and space optimal mapping on synchronous processor arrays. | |
TESTS DE SATISFIABILITE DANS UN LANGAGE DE PROGRAMMATION EN LOGIQUE AVEC CONTRAINTES ENSEMBLISTES | |
UNE THEORIE UNIFICATRICE POUR LA CONSTRUCTION DE PROGRAMMES PARALLELES PAR DES TECHNIQUES DE TRANSFORMATION | |
Verification of algebraic specifications : application to some properties of parallel programs. |