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

Print

Validation formelle des langages à parallélisme de données.


Réseaux et systèmes de communication - Etude de logiciels de base.


MC : Un calcul de modules pour les systèmes de types purs.


Calculs parallèles pour le traitement des images satellites.


Inducing an order on cellular automata by a grouping operation.


Contribution à l'écriture et à l'extension d'une bibliothèque d'algèbre linéaire parallèle.


Cellular automata and chaos: from topology to Kolmogorv complexity.