Add to ORKGLa construction d'infrastructures fiables de programmation répartie sur des réseaux à large échelle ("global computing") se heurte à une double difficulté: un manque de cadre de référence pour les primitives de programmation; et une divergence théorie-pratique de la programmation répartie. Cette thèse explore l'intérêt des domaines comme abstraction fondamentale pour le "global computing". Un domaine capture de manière uniforme les partitions d'un système réparti. Nous montrons que les domaines sont directement implantables en utilisant une méthodologie de construction de systèmes par raffinements successifs: modèle formel de programmation répartie > spécification formelle > implantation. Nous appliquons cette démarche à un modèle de progra...
L'économétrie et l'apprentissage machine semblent avoir une finalité en commun: construire un modèle...
International audienceCertaines techniques dites d’apprentissage machine (machine learning) sont de ...
Le problème du dimensionnement des mémoires pour systèmes embarqués consiste à définir la taille à a...
National audienceLa puissance et l'extensibilité des architectures parallèles à mémoire distribuée (...
La conception assistée par ordinateur L’histoire de la géométrie algorithmique commence dans les ann...
La généralisation des processeurs multi-coeurs rendant la plupart des machines disponibles parallèle...
L'objet de cette thèse est la conception de systèmes informatiques bases sur des unités spécialisées...
La théorie de la viabilité propose des concepts et méthodes pour contrôler un système dynamique afin...
Cette thèse portent sur la conception d'un système d'exploitation dédié aux grappes d'ordinateurs. L...
L'architecture massivement parallèle étudiée dans cette thèse tente d'associer un fonctionnement de ...
La méthode de programmation par processus algorithmique permet de résoudre des systèmes d'équations ...
Il est intéressant d'aborder la découverte de la technologie en construisant des situations d'appren...
Garantir la fiabilité des systèmes informatiques exige des moyens de vérification rigoureux. Le mode...
Ces travaux portent sur l'intégration du processus de fabrication des poches en CFAO. Le but est de ...
La fin des années 90 a vu le développement de machines parallèles de type grappes de PC, dont l'util...
L'économétrie et l'apprentissage machine semblent avoir une finalité en commun: construire un modèle...
International audienceCertaines techniques dites d’apprentissage machine (machine learning) sont de ...
Le problème du dimensionnement des mémoires pour systèmes embarqués consiste à définir la taille à a...
National audienceLa puissance et l'extensibilité des architectures parallèles à mémoire distribuée (...
La conception assistée par ordinateur L’histoire de la géométrie algorithmique commence dans les ann...
La généralisation des processeurs multi-coeurs rendant la plupart des machines disponibles parallèle...
L'objet de cette thèse est la conception de systèmes informatiques bases sur des unités spécialisées...
La théorie de la viabilité propose des concepts et méthodes pour contrôler un système dynamique afin...
Cette thèse portent sur la conception d'un système d'exploitation dédié aux grappes d'ordinateurs. L...
L'architecture massivement parallèle étudiée dans cette thèse tente d'associer un fonctionnement de ...
La méthode de programmation par processus algorithmique permet de résoudre des systèmes d'équations ...
Il est intéressant d'aborder la découverte de la technologie en construisant des situations d'appren...
Garantir la fiabilité des systèmes informatiques exige des moyens de vérification rigoureux. Le mode...
Ces travaux portent sur l'intégration du processus de fabrication des poches en CFAO. Le but est de ...
La fin des années 90 a vu le développement de machines parallèles de type grappes de PC, dont l'util...
L'économétrie et l'apprentissage machine semblent avoir une finalité en commun: construire un modèle...
International audienceCertaines techniques dites d’apprentissage machine (machine learning) sont de ...
Le problème du dimensionnement des mémoires pour systèmes embarqués consiste à définir la taille à a...