Knowledge Tree

researcher / Guy-René Perrin

Guy-René Perrin

at_id:

orcid_id:

Disciplines:

Applied sciences

Computer sciences

Edit Merge See Links

Directed Thesis:

Ordonnancement sur plates-formes hétérogènes de tâches partageant des données

Détermination du nombre de classes : application aux gènes et aux protéines

Etude d'outils logiciels pour la parallelisation et la transformation de programmes dans les applications de calculs numeriques

Etude de la parallélisation de méthodes heuristiques d'optimisation combinatoire : application au recalage d'images médicales

Transformations de programmes pei : application au parallelisme de donnees

Generation de code parallele a partir d'equations recurrentes

Contribution a l'etude et a la realisation d'un environnement de programmation pour multicalculateur

Tests de satisfiabilite dans un langage de programmation en logique avec contraintes ensemblistes

Contribution a l'etude et a la realisation d'un systeme a image unique pour multicalculateur

Conception d'applications reparties par raffinements de specifications

Une theorie unificatrice pour la construction de programmes paralleles par des techniques de transformation

Compilation de systemes d'equations recurrentes en reseaux de processus communicants

Dérivation de processus communicants : Règles et raffinement et applications

Contribution à la vérification des spécifications algébriques : application à certaines propriétés de programmes parallèles

Synthèse d'algorithmes systoliques et implantation optimale en place sur réseaux de processeurs synchrones