29 juin 2010 : Pierre-Loïc Garoche (ONERA, Toulouse), Combinaison d'analyses: un interprète abstraite comme oracle dans une procédure de k-induction
28 juin 2010 : Mourad Bouache (Université de Perpignan - DALI et Université de Boumerdès, Algérie), Outils d'analyse de performances
11 mai 2010 : Azzam Haidar (University of Tennessee), Linear algebra algorithms for multicore and/or massively parallel architectures
4 mai 2010 : Pierre-Nicolas Clauss (LORIA - Algorille), Algorithmes à front d'onde et accès transparent aux données
27 avril 2010 : Jean-Claude Charr (INRIA - Lille), Calcul
itératif asynchrone à grande échelle sur des
architectures hétérogènes et volatiles
6 avril 2010 : Alexandru-Adrian TANTAR (INRIA - Bordeaux), Algorithmes repartis à haute performance sur grilles de calcul
1er avril 2010 : Christophe Joubert (Technical University of Valencia, Spain), 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
|