1er Avril 2010 : Christophe Joubert (Technical University of Valencia), Using Boolean Equations and Rewriting Systems to solve Datalog-based Program Analyses
18 mars 2010 : Sophie Dupuis (Université Paris VI - LIP6), Optimisation
automatique des chemins de données arithmétiques par
l'utilisation des systèmes de numération redondants
11 mars 2010 : Corentin Barbu (Université de Perpignan - CBETM), Caractérisation des déplacements de vecteurs de la maladie de Chagas et traitement informatique associé
9 février 2010 : Florence Plateau (Université Paris Sud - LRI), Modèle n-synchrone pour la programmation de réseaux de Kahn à mémoire bornée
4 février 2010 : Julien Bertrane (Ecole Normale Supérieure - LIENS), Développement
de domaines abstraits temporels pour vérifier les
spécifications de systèmes embarqués
26 novembre 2009 : Nadia MRabet (Université de Montpellier 2 - LIRMM), Multiplication dans les corps finis utilisés dans les couplages sur les courbes elliptiques
19 novembre 2009 : Eric Petit (Université de Perpignan - DALI), Partitionnement
automatique d’applications en codelets spéculatifs pour
les systèmes hétérogènes à
mémoires distribuées
22 octobre 2009 : Sylvain Collange (Université de Perpignan - DALI), LNS sur architectures exotiques
|