Accueil > Recherche > Étudiants/Post-docs

Étudiants/Post-docs

Dernier ajout : 7 mars.

Articles de cette rubrique

  • Julian Bruyat

    Identifying Optimisation Conflicts in LLVM

    Années: 2019 (Projet d’orientation en Master (POM)) Co-encadrant: Laure Gonnord Sujet: Identifying Optimisation Conflicts in LLVM > .ChampRes display:none; .Rubrique font-size: larger; font-weight: bold; dl.NoticeRes > dd.ref_biblio padding-left:0px; margin-left: 25px; display: list-item; .SousRubrique color: #909090; font-style: italic;
    Lire la suite...
  • Amaury Maillé

    Dataflow Explicit Futures

    Années: 2019 (M2R) Co-encadrant: Ludovic Henrio Sujet: Dataflow Explicit Futures > .ChampRes display:none; .Rubrique font-size: larger; font-weight: bold; dl.NoticeRes > dd.ref_biblio padding-left:0px; margin-left: 25px; display: list-item; .SousRubrique color: #909090; font-style: italic;
    Lire la suite...
  • Bilel Aouadhi

    Debugging and visualization tools for process networks

    Années: 2018 (Projet de fin d’étude (ingénieur)) Co-encadrant: Christophe Alias Sujet: Debugging and visualization tools for process networks > .ChampRes display:none; .Rubrique font-size: larger; font-weight: bold; dl.NoticeRes > dd.ref_biblio padding-left:0px; margin-left: 25px; display: list-item; .SousRubrique color: #909090; font-style: italic;
    Lire la suite...
  • Juliana Du

    Contributions to Chamilotools

    Années: 2017 (L2 Internship) Sujet: Contributions to Chamilotools > .ChampRes display:none; .Rubrique font-size: larger; font-weight: bold; dl.NoticeRes > dd.ref_biblio padding-left:0px; margin-left: 25px; display: list-item; .SousRubrique color: #909090; font-style: italic;
    Lire la suite...
  • Alexandra Dobre

    Code Generation for Simulation using SystemC

    Années: 2018 (Stage L3) Co-encadrant: Christophe Alias Sujet: Code Generation for Simulation using SystemC Résumé: The internship took place in Lyon, France, at LIP (Laboratoire de l’Informatique du Parallélisme), which is associated with CNRS (Centre national de la recherche scientifique), ENS (École Normale Supérieure) de Lyon, INRIA (Institut National de Recherche en Informatique et en Automatique) and Université Claude Bernard Lyon 1. The team in which I worked is the CASH team. Its name stands for Compilation and Analyses, Software and Hardware, which slightly sums up their interest (...)
    Lire la suite...
  • Ligia Novacean

    CODE GENERATION FOR HIGH-LEVEL SYNTHESIS TOOLS

    Années: 2018 (Stage L3) Co-encadrant: Christophe Alias Sujet: CODE GENERATION FOR HIGH-LEVEL SYNTHESIS TOOLS Résumé: This internship took place at LIP (Laboratoire de l’Informatique du Parallelisme), a computer science laboratory in Lyon, associated with CNRS, ENS Lyon, INRIA and UCB Lyon 1. As an intern, I was part of a research team, namely CASH (Compilation and Analysis, Software and Hardware). The main objective of CASH is to provide energy-efficient software and hardware compilation techniques by taking advantage of architectures like multi-core processors, GPUs or FPGAs. Today’s (...)
    Lire la suite...
  • Liliana Andrade

    Power and temperature model in the presence of loose information, state-space exploration

    Années: 2016, 2017 (Post-doc) Sujet: Power and temperature model in the presence of loose information, state-space exploration Résumé: Previous work showed how to co-simulate a functional model with a power and temperature solver. However, the previous approaches assumed known values for each parameter, which is rarely the case at a high level of abstraction. This work targets models where parameters are only estimated with an interval (i.e. a lower and an upper bound). We first proposed a method to simulate exhaustively the state-space in the absence of feedback loop from the (...)
    Lire la suite...
  • SangHoon Kwak

    Power and temperature model in the presence of loose information

    Années: 2015 (Post-doc) Sujet: Power and temperature model in the presence of loose information Résumé: Previous work showed how to co-simulate a functional model with a power and temperature solver. However, the previous approaches assumed known values for each parameter, which is rarely the case at a high level of abstraction. This work targets models where parameters are only estimated with an interval (i.e. a lower and an upper bound). > .ChampRes display:none; .Rubrique font-size: larger; font-weight: bold; dl.NoticeRes > dd.ref_biblio padding-left:0px; (...)
    Lire la suite...
  • Denis Becker

    Simulation Parallèle en SystemC/TLM de Composants Matériels décrits pour la Synthèse de Haut-Niveau

    Années: 2014, 2015, 2016, 2017 (CIFRE Ph. D) Co-encadrant: Jérôme Cornet Sujet: Simulation Parallèle en SystemC/TLM de Composants Matériels décrits pour la Synthèse de Haut-Niveau Résumé: Les systèmes sur puce sont constitués d’une partie matérielle (un circuit intégré) et d’une partie logicielle (un programme) qui utilise les ressources matérielles de la puce. La conséquence de cela est que le logiciel d’un système sur puce est intrinsèquement lié à sa partie matérielle. Les composants matériels d’accélération sont des facteurs clés de différenciation d’un produit à l’autre. Il est nécessaire de pouvoir (...)
    Lire la suite...
  • Hamza Rihani

    Analyse temporelle des systèmes temps- réels sur architectures pluri-cœurs

    Années: 2014, 2015, 2016, 2017 Co-encadrant: Claire Maiza Sujet: Analyse temporelle des systèmes temps- réels sur architectures pluri-cœurs Résumé: Predictability is of paramount importance in real-time and safety-critical systems, where non-functional properties – such as the timing behavior – have high impact on the system’s correctness. As many safety-critical systems have a growing performance demand, classical architectures, such as single-cores, are not sufficient anymore. One increasingly popular solution is the use of multi-core systems, (...)
    Lire la suite...
  • Amaury Graillat (PhD)

    Code Generation for Multi-Core Processor with Hard Real-Time Constraints

    Années: 2015, 2016, 2017, 2018 (CIFRE Ph. D) Co-encadrant: Pascal Raymond Sujet: Code Generation for Multi-Core Processor with Hard Real-Time Constraints Résumé: La plupart des systèmes critiques sont dits « temps-réel dur » puisqu’ils requièrent des garanties temporelle fortes. Ces systèmes sont de plus en plus complexes et les processeurs mono-cœurs traditionnels ne sont plus assez puissants. Les multi-cœurs et les pluri-cœurs sont des alternatives plus puissantes, cependant ils contiennent des ressources partagées. Les accès concurrents à ces ressources provoquent des interférences qui (...)
    Lire la suite...
  • Amaury Graillat (M2R)

    Towards Semantics-Preserving Implementation of Synchronous Programs on Many-Core Architectures

    Années: 2015 (M2R) Co-encadrant: Florence Maraninchi Sujet: Towards Semantics-Preserving Implementation of Synchronous Programs on Many-Core Architectures Résumé: Reactive systems are systems that constantly react to their environment. One must guarantee that the computation time of the system is bounded and matches the input-output latency imposed by the environment (for instance the period of measure of the altitude for a flight control system). We talk about multi-periodic systems when the nodes of a program are running at different periods. Today, reactive programs are more and (...)
    Lire la suite...
  • Mamoudou Bah

    Contributions to the tool Verse

    Années: 2014 (CCI Internship) Co-encadrant: Catherine Parent Sujet: Contributions to the tool Verse Résumé: Mamoudou worked on improvements and bugfixes on the tool Verse, previously designed by Hugues de Lassus Saint Geniès. > .ChampRes display:none; .Rubrique font-size: larger; font-weight: bold; dl.NoticeRes > dd.ref_biblio padding-left:0px; margin-left: 25px; display: list-item; .SousRubrique color: #909090; font-style: (...)
    Lire la suite...
  • Gaetan Sancassani

    Programmation parallèle pour la modélisation des systèmes embarqués

    Années: 2014 (TER UJF) Sujet: Programmation parallèle pour la modélisation des systèmes embarqués Résumé: Le but du TER est de valider le fonctionnement de la bibliothèque sc-during à l’aide de quelques exemples plus réalistes que les tests unitaires existants. En particulier, un module de communication par FIFO a été développé. > .ChampRes display:none; .Rubrique font-size: larger; font-weight: bold; dl.NoticeRes > dd.ref_biblio padding-left:0px; margin-left: 25px; display: list-item; .SousRubrique color: #909090; font-style: (...)
    Lire la suite...
  • Amaury Graillat (IRL)

    Simulation distribuée pour les systèmes embarqués

    Années: 2014 (IRL Ensimag) Sujet: Simulation distribuée pour les systèmes embarqués Résumé: L’outil développé est basé sur la bibliothèque sc-during, qui permet une exécution parallèle de programmes SystemC. La bibliothèque a été enrichie avec un mode distribué, basé sur la bibliothèque MPI et qui permet non-seulement de déléguer des calculs à des threads, mais aussi à des processus séparés éventuellement exécutés sur une machine distante. > .ChampRes display:none; .Rubrique font-size: larger; font-weight: bold; dl.NoticeRes > dd.ref_biblio padding-left:0px; margin-left: 25px; display: (...)
    Lire la suite...
  • Guillaume Sergent

    Techniques de compilation dédiées pour un langage spécifique à un domaine

    Années: 2014 (M2R) Sujet: Techniques de compilation dédiées pour un langage spécifique à un domaine Résumé: The goal of the internship was to write an optimizer for SystemC programs, able to optimize significantly real-life programs. Durning the internship, the prototype PinaVM-tweto was considerably improved, both in terms of internal architecture and concrete performance. A static optimizer was added in addition to the JIT-based one. > .ChampRes display:none; .Rubrique font-size: larger; font-weight: bold; dl.NoticeRes > dd.ref_biblio padding-left:0px; margin-left: (...)
    Lire la suite...
  • Hanan Kanso

    Implementing critical systems on many-core architectures : Towards solutions preserving determinism

    Années: 2014 (M2R) Co-encadrant: Florence Maraninchi Sujet: Implementing critical systems on many-core architectures : Towards solutions preserving determinism Résumé: Shifting to many-core architectures is becoming compulsory for real-time applications demanding intensive computing capabilities. Nonetheless, the gain in performance of many-core architectures does not come for free. In particular, it comes at the cost of predictability and determinism issues. Logical determinism is the property of programs that for the same sequence of inputs always give the same sequence of outputs. (...)
    Lire la suite...
  • Hugues de Lassus Saint-Geniès

    Semantic Analysis for Worst-Case Execution Time Analysis

    Années: 2014 (Stagiaire M1) Co-encadrant: Claire Maiza Sujet: Semantic Analysis for Worst-Case Execution Time Analysis Résumé: Hard real-time systems like planes or cars are controlled by software tasks. We say these systems are hard real-time systems because the tasks which control them have to terminate within a certain amount of time to ensure that the system will not be late for its next action. Measuring execution times on targetted architectures may be sufficient for some real-time systems, but not for hard ones. Indeed, this method does not ensure that the measured worst-case (...)
    Lire la suite...
  • Francesco Bongiovanni

    Optimization of the sc-during library

    Années: 2013 (Post-doc) Co-encadrant: Florence Maraninchi Sujet: Optimization of the sc-during library > .ChampRes display:none; .Rubrique font-size: larger; font-weight: bold; dl.NoticeRes > dd.ref_biblio padding-left:0px; margin-left: 25px; display: list-item; .SousRubrique color: #909090; font-style: italic; 2013 Conference papers ref_biblioRim Abid, Gwen Salaün, Francesco Bongiovanni, Noël de Palma. Verification of a Dynamic Management Protocol for Cloud Applications. 11th International Symposium, ATVA 2013, Dang Van Hung and Mizuhito Ogawa, Oct (...)
    Lire la suite...
  • Eduardo León

    Graphic Visualization Of Simulation Traces For SoC

    Années: 2013 (IRL Ensimag) Co-encadrant: Claude Helmstetter Sujet: Graphic Visualization Of Simulation Traces For SoC > .ChampRes display:none; .Rubrique font-size: larger; font-weight: bold; dl.NoticeRes > dd.ref_biblio padding-left:0px; margin-left: 25px; display: list-item; .SousRubrique color: #909090; font-style: italic;
    Lire la suite...

0 | 20 | 40

Valid XHTML 1.0 Transitional
SPIP | | Plan du site | Suivre la vie du site RSS 2.0
Habillage visuel © styleshout sous Licence Creative Commons Attribution 2.5 License