researcher / Patrice Quinton

Patrice Quinton

at_id:

orcid_id:

Disciplines:

Applied sciences
Computer sciences
Edit Merge See Links

Directed Thesis:

Utilisation du modèle polyédrique pour la synthèse d'architectures pipelinées
Acceleration of a bioinformatics application using high-level synthesis
Prototypage d'architectures pour des applications de traitement numérique du signal
Vérification formelle dans le modèle polyédrique
Synthèse architecturale basée sur le modèle polyédrique : validation et extensions de la méthodologie MMAlpha
Contributions à la conception de systèmes de contrôle de trafic et de gestion de ressources en ATM
Production de compilateurs flexibles pour la conception de processeurs programmables specialises
Simulation de milieux granulaires par automate cellulaire. Problemes de topologie et d'interconnexion associes
Contribution a la realisation d'une chaine complete pour la synthese de circuits reguliers
Methodes et outils pour la programmation de reseaux neuromimetiques sur la machine armenx
Systemes structures d'equations recurrentes : mise en Œuvre dans le langage alpha et applications
Parallelisation d'algorithmes de calculs de portraits spectraux. Utilisation d'un environnement de transformations de programmes
Architecture parallele pour la compression video : contribution a la conception d'un module vlsi programmable et a l'etude d'outils de compilation reciblables
Machine d'admission pour le reseau d'infrastructure atm
Etude d'une architecture vlsi pour un algorithme d'estimation de mouvement bloc-recursif
Generation automatique du dessin de masques des reseaux reguliers integres
Etude et mise en Œuvre d'un environnement de simulation parallele pour les architectures systoliques
Systemes synchrones periodiques : modelisation et application
Madmacs : un outil pour le dessin de masques de reseaux reguliers integres
Methodologie de conception d'architectures specialisees une etude de cas
Etude et realisation d'un processeur simd
Un environnement de transformations de programmes pour la synthese d'architectures regulieres
Etude et realisation d'un outil de production d'interfaces utilisateurs : le systeme guise
Armen : une machine parallele integrant un reseau de circuits logiques programmables
Une machine systolique adaptee a la correction de chaines de caracteres. Application aux adresses postales
Schémas d'exécution pour le smachine sparallèles à mémoire distribuée : une étude de cas : le lancer de rayon
Conception d'une cellule de calculs arithmétiques pour la synthèse d'image
Optimisation de microcode pour une architecture horizontale et synchrone : etude et mise en oeuvre d'un compilateur
Alpha : un langage equationnel pour la conception et la programmation d'architectures paralleles synchrones
Micmacs : un reseau systolique lineaire programmable pour le traitement des chaines de caracteres
Definition de l'architecture logicielle, realisation et test du decodeur lexical d'un systeme de reconnaissance de la parole continue
Lancer de rayon sur des architectures parallèles : étude et mise en oeuvre
Conception d'algorithmes et d'architectures systoliques, synthese de systemes d'equations recurrentes uniformes, synthese automatique de circuits
Madmacs : un systeme d'edition et de generation pour circuits integres