By continuing your visit to this site you accept the use of cookies to offer you content and services tailored to your interests

Print

Contribution a l'algorithmique des architectures paralleles : des reseaux point-a-point aux reseaux optiques.


Etude de l'impact des recouvrements calcul/communication sur des algorithmes parallèles de calcul matriciel.


Synthese de preuves de programmes dans le Calcul des Constructions Inductives.


Utilisation des reseaux de neurones pour la telegestion des reseaux techniques urbains.


Parallélisation automatique des programmes à contrôle dynamique.


Pavages et Graphes de Cayley Planaires.


Conception et analyse d'algorithmes paralleles pour les reseaux neuronaux de kohonen et de fonctions a base radiale (RBF).


Semantique des langages a parallelisme de donnees. Applications a la validation et a la compilation.