|
|
Soutenance MASTER IF 2011 - ENS Lyon |
|
|
|
|
|
|
Jury: F. de Dinechin, E. Fleury, G. Hanrot, , L. Lefèvre, P. Lescanne, S. Thomasse - ENS Lyon |
|
|
|
|
|
|
21/06/2012 - Salle de IXXI |
|
|
|
22/06/2012 – Amphi C |
|
|
|
| HORAIRE |
Lieu |
|
|
|
Lieu |
|
|
|
| |
|
|
|
8:00 |
- |
8:40 |
Matei Valentin Istoan : "Resource Estimation and Floorplanning for Arithmetic Pipelines". |
|
|
|
| |
|
|
|
8:40 |
- |
9:20 |
Jeremie Dumas : "Représentations et graphes de chemins" |
|
|
|
| |
|
|
|
9:20 |
- |
10:00 |
Ioana Cristescu - "Reversible pi calculus" |
|
|
|
|
|
|
|
10:00 |
- |
10:40 |
Julien Hermann : "Algorithms mixing LU and QR for multi-core cluster systems" |
|
|
|
| 10:00 |
|
10:40 |
Richard Malgat : "Bilan radiatif d'échantillons de neige" |
10:40 |
- |
11:10 |
Pause |
|
|
|
| 10:40 |
|
11:20 |
Olivier PAPADAKIS, : Intégration de données socio-économiques dans le modèle Lokéo. Intéraction locale des commerces de détail. |
11:10 |
- |
11:50 |
Vincent Lanore "On Scheduling of Multi-level HPC Applications". |
|
|
|
| 11:20 |
|
12:00 |
Magali Vangkeosay : “Modélisation des équilibres alternatifs Végétation/Phytoplancton dans les lacs peu profonds” |
11:50 |
- |
12:30 |
Alexis Fouilhe : Contribution au développement d'un analyseur statique certifié. |
|
|
|
| 12:00 |
|
12:40 |
Marine Jacquier : "Modélisation de la prise alimentaires et de ses impacts physiologiques"
|
12:30 |
- |
14:00 |
Déjeuner |
|
|
|
| 12:40 |
- |
13:20 |
Déjeuner |
14:00 |
- |
14:40 |
Vincent neiger “On the Computation of Small Modular Roots and the Specific Problem of Polynomial Reconstruction. |
|
|
|
| 13:20 |
- |
14:00 |
Martin Bodin : A Certified JavaScript Interpreter”.
|
14:40 |
- |
15:20 |
Hugo Labrande : "Fast Arithmetic in Quartic CM-Fields". |
|
|
|
| 14:00 |
- |
14:40 |
Florent Cappelli : "Caractériser les classes de Valiant par calcul tensoriel".
|
15:20 |
- |
16:00 |
Duco van Amstel : "Scheduling Methods for BOINC-based Volunteer Computing Networks" vendredi |
|
|
|
| 14:40 |
- |
15:20 |
Guillaume Vors : Jeux, Dynamiques et Algorithmes |
16:00 |
- |
16:30 |
Pause |
|
|
|
| 15:20 |
- |
15:50 |
Pause |
16:30 |
- |
17:10 |
|
|
|
|
| 15:50 |
- |
16:30 |
François Gindraud « Définition, génération de code, et vérification formelle d'un protocole de cohérence mémoire à contrôle logiciel »
|
17:10 |
- |
17:50 |
|
|
|
|
| 16:30 |
- |
17:10 |
Alexandre Isoard : « Déportation de noyau de calcul avec optimisation des accès aux données distantes. » |
17:50 |
- |
18:30 |
|
|
|
|
| 17:10 |
- |
17:50 |
Thomas Picchetti : Énumération de réactions chimiques
|
|
|
|
|
|
|
|