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

Print

Nouvelles fonctions dans les interfaces de communication pour l'augmentation des performances réseau des machines multi-processeur.


Étude et optimisation du comportement mémoire dans les méthodes parallèles de factorisation de matrices creuses.


Expressivite des logiques d'espace.


Ressources limitées pour la mobilité : utilisation, réutilisation, garanties.


Preuves formelles en arithmétiques à virgule flottante.


Aspects combinatoires des pavages.


Robustesse de la dynamique des systèmes discrets : le cas de l'asynchronisme dans les automates cellulaires.


Décomposition algorithmique des graphes.


Arithmétique et algorithmique en algèbre linéaire exacte pour la bibliothèque LinBox.


Types pour des langages de programmation orientée d'objet et fonctionnelle.