2004
-
Vers une définition formelle du langage Foc
S. Fechter, C. Dubois -
BBFoc
S. Fechter, O. Boite -
Méthodes de réduction de réseaux RC appliquées aux outils de vérification de circuits submicroniques
P. Renault -
Synthèse de Haut Niveau Contrôlée par l'Utilisateur
F. Donnet -
Analyse temporelle des circuits intégrés digitaux CMOS, pour les technologies profondément submicroniques
G. Avot -
Architectures matérielles pour l'arithmétique stochastique discrète
R. Chotin-Avot -
Ordonnancements périodiques pour contraintes de précédence linéaires
C. Hanen, A. Munier-Kordon -
Un algorithme de programmation dynamique pour la minimisation du coût total de duplication dans un ordonnancement d’une arborescence avec délais de communication
C. Hanen, D. Tayachi
Tous les rapports ont un résumé en français.