National audienceLes architectures de calcul parallèle commencent progressivement à intégrer des unités matériellement reconfigurables. Ces unités peuvent accueillir différents circuits logiques, et donc implémenter des accélérateurs matériels en lien direct avec l'application exécutée. Notre objectif est de développer une nouvelle approche permettant une plus grande mixité entre les éléments de calcul logiciels et matériels afin de tirer parti de toute la puissance que peut apporter un accélérateur matériel pour l'exécution d'une tâche spécifique. À cette fin, nous proposons un flot destiné à la conception d'applications parallèles tout en gardant une compatibilité avec les applications déjà existantes. Nous présentons également une platef...
National audienceDans le domaine de la simulation de réservoir, un grand système linéaire creux doit...
International audienceLa parallélisation d'un travail sur plusieurs unités de calcul entraîne la dis...
National audienceLes méthodes actuelles d'étude des systèmes pair-à-pair (modélisation, simulation, ...
National audienceLes FPGA, ou puces reconfigurables, n’ont pas cessé d’évoluer depuis leur création ...
International audienceCet article fait l'exposé d'un principe d'architecture hybride logicielle/maté...
National audienceCet article étudie la conception d'un opérateur reconfigurable à grain moyen fortem...
International audienceLa vérification distribuée utilise les ressources d'un ensemble de machines po...
Colloque avec actes sans comité de lecture. nationale.National audienceLa méthode présentée dans cet...
National audienceL'ingénierie dirigée par les modèles est devenue en quelques années une approche po...
National audienceCet article présente une méthode de génération assistée de tests. Elle applique des...
National audienceLe but de ce papier est de mettre au point un algorithme parallèle pour la résoluti...
International audienceCe papier propose de donner un statut, et un outil, aux phases de conception i...
International audienceLes apprentissages géométriques peuvent sembler inaccessibles aux élèves ayant...
8 pagesInternational audienceLa puissance de calcul disponible dans les machines hybrides à base d'a...
La réduction de masse est une des solutions techniques adoptées dans l'industrie automobile, permett...
National audienceDans le domaine de la simulation de réservoir, un grand système linéaire creux doit...
International audienceLa parallélisation d'un travail sur plusieurs unités de calcul entraîne la dis...
National audienceLes méthodes actuelles d'étude des systèmes pair-à-pair (modélisation, simulation, ...
National audienceLes FPGA, ou puces reconfigurables, n’ont pas cessé d’évoluer depuis leur création ...
International audienceCet article fait l'exposé d'un principe d'architecture hybride logicielle/maté...
National audienceCet article étudie la conception d'un opérateur reconfigurable à grain moyen fortem...
International audienceLa vérification distribuée utilise les ressources d'un ensemble de machines po...
Colloque avec actes sans comité de lecture. nationale.National audienceLa méthode présentée dans cet...
National audienceL'ingénierie dirigée par les modèles est devenue en quelques années une approche po...
National audienceCet article présente une méthode de génération assistée de tests. Elle applique des...
National audienceLe but de ce papier est de mettre au point un algorithme parallèle pour la résoluti...
International audienceCe papier propose de donner un statut, et un outil, aux phases de conception i...
International audienceLes apprentissages géométriques peuvent sembler inaccessibles aux élèves ayant...
8 pagesInternational audienceLa puissance de calcul disponible dans les machines hybrides à base d'a...
La réduction de masse est une des solutions techniques adoptées dans l'industrie automobile, permett...
National audienceDans le domaine de la simulation de réservoir, un grand système linéaire creux doit...
International audienceLa parallélisation d'un travail sur plusieurs unités de calcul entraîne la dis...
National audienceLes méthodes actuelles d'étude des systèmes pair-à-pair (modélisation, simulation, ...