8.00   Accueil

8.30   Designing scalable and predictable SoC communication fabrics
Luca Benini, University of Bologna (Bologna, IT)

9.15   Towards computational hybrid system semantics
Pieter Mosterman, Mathworks (Boston, USA)

10.00 Pause

10.30 Active liquid cooling for thermal management of 3D MPSoCs
David Atienza, EPFL (Lausanne, CH)

11.00 tbd
Adrian Ionescu, EPFL (Lausanne, CH)

11.30 Discussion
Modérateur : TBD

12.15 Déjeuner

13.30 Brain-computer interfacing and medical diagnostics
Rudy Lauwereins, IMEC (Leuven, BE)

14.15 Power amplifier design considerations for RF and mm-wave embedded systems
Eric Kerhervé, IMS - Université Bordeaux I (Bordeaux, FR)

14.30 ENDOCOM : une endorothèse communicante dédiée au suivi post-opératoire des anévrismes de l'aorte abdominale
Patrick Garda, LIP6-UPMC (Paris, FR)

14.45 Battery-free wireless switch and sensor based on "Bluetooth low energy" radio
Philippe Koller, EM-Microelectronic (Marin, CH)

15.00 Pause

15.30 Low-power strategies in multiprocessor platform
Cécile Belleudy, LEAT-Université de Nice (Nice, FR)

16.00 Scalable cache coherence protocols for shared memory many-cores architectures
Alain Greiner, LIP6-UPMC (Paris, FR)

16.30 Discussion
Modérateur : Frédéric Pétrot, TIMA (Grenoble, FR)

17.30 Pause

18.00 Présentation des thèses

19.30 Dîner

 

8.30   Nano-architectures for tera-scale systems
Giovanni de Micheli, EPFL (Lausanne, CH)

9.15   Wireless humidity sensing: CMOS fabrication, interfaces, packaging and various applications from weather to re-education
Laurent Francis, UCL (Louvain-la-Neuve, BE)

10.00 Pause

10.15 Transaction-based design environment
Mostapha El Aboulhamid, Université de Montréal (Montréal, CA)

10.30 Fast and correct by construction control prototyping from PSL: an extension of the assertion-based verification paradigm
Dominique Borrione, TIMA (Grenoble, FR)

10.45 Quel modèle de calcul à partitionnement logiciel / matériel dynamique ?
Jean-Luc Dekeyser, LIFL (Lille, FR)

11.00 La 3ème dimension peut-elle être LE futur des systèmes embarqués ?
Yves Leduc, Texas Instruments (Sophia-Antipolis, FR)

11.15 CMP: an infrastructure for microelectronics and MEMS
Kholdoun Torki, CMP (Grenoble, FR)

11.30 Discussion
Modérateur : TBD

12.00 Déjeuner

13.30 Systèmes embarqués hétérogènes sur procédés CMOS nanométriques – challenges technologiques
David Bol, UCL (Louvain-la-Neuve, BE)

14.15 tbd
Eric Flamand, STMicroelectronics (Grenoble, FR)

15.00 Future challenges for embedded computing
Thierry Collette, CEA-LIST (Saclay, FR)

15.30 Pause

15.45 Architectures adaptatives, de la technologie à la fonction
Michel Robert, LIRMM (Montpellier, FR)

16.15 Technological trends, design constraints and architectural challenges in mobile phone platforms
Fredrik Dahlgren, ST Ericsson (SE)

16.45 Design architectures with non-mature nano-scale devices: a chicken-and-egg problem
Fabien Clermidy, CEA-LETI (Grenoble, FR)

17.15 De l'accès transparent et optimisé aux données dans les système multiprocesseurs intégrés
Frédéric Pétrot, TIMA (Grenoble, FR)

17.45 Discussion

Modérateur : Ian O'Connor, INL-ECL (Lyon, FR)

18.15 Pause

19.30 Soirée Montenvers

 

8.30   Intégration de systèmes hétérogènes pour la capture de mouvement et perspectives
Dominique David, CEA-LETI (Grenoble, FR)

9.15   Constructive verification: the D-Finder tool
Saddek Bensalem, VERIMAG (Grenoble, FR)

9.45 Des systèmes intégrés adaptatifs pour une utilisation optimale du matériel
Marc Belleville, CEA-LETI (Grenoble, FR)

10.15 Pause

10.30 Processeur à jeu d'instruction dédié et architecture MPSoC – application au décodage canal
Amer Baghdadi, ENST Bretagne (Brest, FR)

11.00 Model Interfaces: unifying interface automata and model specifications
Benoît Caillaud, IRISA (Rennes, FR)

11.30 TFET – a possible replacement for CMOS in low-power applications
Costin Anghel, ISEP (Paris, FR)

12.00 Discussion
Modérateur : TBD

12.30 Déjeuner

13.30 Fin