Knowledge Tree

researcher / Gaétan Hains

Gaétan Hains

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Directed Thesis:

Un modèle de transition logico-matérielle pour la simplification de la programmation parallèle

BSP algorithms for LTL & CTL model checking of security protocols

Algorithms for XML stream processing : massive data, external memory and scalable performance

Modèles et outils pour le déploiement d'applications de réalité virtuelle sur des architectures distribuées hétérogènes

Intégration des modélisations 3D des sciences de la Terre au sein d'environnements de réalité virtuelle à base de grappe de PC

Modéles opérationnels communicants : performances et algèbres de chemins

Conception de langages fonctionnels pour la programmation massivement parallèle

Parallélisme et équilibrage de charges dans le traitement de la jointure et de la multi-jointure sur des architectures SN