Dans le cadre de cette thèse nous avons étudie l'implantation des algorithmes de l'arithmétique en ligne. En particulier, la réalisation de deux circuits destines aux applications exigeant une précision infinie est exposée. En effet, dans de nombreux domaines tels que la génération de nombres aléatoires, cryptographie, calcul formel, arithmétique exacte, réduction de fraction en précision infinie, calcul modulaire, traitement d'images..., les opérateurs classiques manquent d'efficacité. Face a ce type de problèmes, un remède peut être apporte par le calcul en ligne selon lequel les calculs sont faits en introduisant les opérandes en série chiffre a chiffre en notation redondante. Nous obtenons ainsi un haut degré de parallélisme et une préc...
Dans ce mémoire, j'évoque les travaux de recherche que j'ai menés depuis mon doctorat. L'essentiel d...
National audienceDans ce travail, nous comparons différents algorithmes de réduction modulaire impla...
International audienceDans ce papier, nous introduisons un nouvel algorithme pour calculer un modèle...
Dans le cadre de cette thèse nous avons étudie l'implantation des algorithmes de l'arithmétique en l...
Pac est un système de calcul formel dédié a une machine Mind massivement parallèle. Dans une premièr...
Nous présentons les bases de Grobner, leur utilisation et la parallélisation des algorithmes qui les...
Cette thèse est dédiée à l'étude des codes linéaires binaires cycliques ou auto-duaux, en utilisant ...
Les processeurs graphiques (GPU) actuels offrent une importante puissance de calcul disponible à fai...
L'objectif de cette thèse est de montrer que le modèle des systèmes de réécriture de graphe est un m...
Cette thèse présente les limites du mode s.i.m.d. Dans le cadre de la programmation parallèle d'algo...
La calculabilité est la théorie mathématique des fonctions calculables en droit par un algorithme. F...
Sur le plan des circuits électroniques, les non-linéarités peuvent être profitables (modulation, dét...
Cette thèse est composée de deux parties: les développements lies à la génération des nombres premie...
Scientific computing is often associated with numerical computation. Yet in many scientific discipli...
Les méthodes disponibles pour générer les équations d'état de circuits électriques sur ordinateur so...
Dans ce mémoire, j'évoque les travaux de recherche que j'ai menés depuis mon doctorat. L'essentiel d...
National audienceDans ce travail, nous comparons différents algorithmes de réduction modulaire impla...
International audienceDans ce papier, nous introduisons un nouvel algorithme pour calculer un modèle...
Dans le cadre de cette thèse nous avons étudie l'implantation des algorithmes de l'arithmétique en l...
Pac est un système de calcul formel dédié a une machine Mind massivement parallèle. Dans une premièr...
Nous présentons les bases de Grobner, leur utilisation et la parallélisation des algorithmes qui les...
Cette thèse est dédiée à l'étude des codes linéaires binaires cycliques ou auto-duaux, en utilisant ...
Les processeurs graphiques (GPU) actuels offrent une importante puissance de calcul disponible à fai...
L'objectif de cette thèse est de montrer que le modèle des systèmes de réécriture de graphe est un m...
Cette thèse présente les limites du mode s.i.m.d. Dans le cadre de la programmation parallèle d'algo...
La calculabilité est la théorie mathématique des fonctions calculables en droit par un algorithme. F...
Sur le plan des circuits électroniques, les non-linéarités peuvent être profitables (modulation, dét...
Cette thèse est composée de deux parties: les développements lies à la génération des nombres premie...
Scientific computing is often associated with numerical computation. Yet in many scientific discipli...
Les méthodes disponibles pour générer les équations d'état de circuits électriques sur ordinateur so...
Dans ce mémoire, j'évoque les travaux de recherche que j'ai menés depuis mon doctorat. L'essentiel d...
National audienceDans ce travail, nous comparons différents algorithmes de réduction modulaire impla...
International audienceDans ce papier, nous introduisons un nouvel algorithme pour calculer un modèle...