Le moteur de recherche
des thèses françaises
Laurent Grandvilliers
IdRefMots clés
FR |
EN
Algèbre linéaire numérique
Multiplication de matrices
Implémentation parallèle
Processeurs multi-cœurs
Memoire partagée
Virgule flottante
Analyse d’erreur
Arithmétique d’intervalles
Arithmétique en virgule flottante
Contraintes (intelligence artificielle)
Programmation par contraintes
Programmation globale
Analyse numérique
Logiciels
Intelligence artificielle
Langages de modélisation par contraintes
Transformation de modèles
Contraintes globales
Collaboration de serveurs
Arithmétique des intervalles