Nos partenaires

CNRS

Rechercher





Accueil du site > Français > Thèmes de recherche > Thème 6 - Architecture, systèmes et réseaux > Equipe TRACES > Publications

Publications

TRACES

Pour une recherche plus ciblée, utiliser l'interface d'interrogation de la base des publications de l'IRIT.
For an advanced search, please use the IRIT's publications database form.

 


Livres (monographies) / Books (monographs)

Numéros spéciaux de revues / Special issues of journal

Actes de conférences et de workshops / Conference proceedings

Articles de revues internationales / International journal papers

Articles de revues nationales / National journal papers

Contributions à des ouvrages de synthèse / Book chapters

Conférences et workshops internationaux / International conference papers

Conférences et workshops nationaux / National conference papers

Conférences sans actes publiés / Conference papers without published proceedings

Rapports / Reports

Thèses et habilitations / Ph.D Theses and Habilitation Theses
  • Vincent Mussot. Automates d'annotation de flot pour l'expression et l'int ¿egration de propri ¿et ¿es dans l'analyse de WCET. Thèse de doctorat, Université Paul Sabatier, décembre 2016.
    Accès : http://thesesups.ups-tlse.fr/3366/1/2016TOU30247.pdf
    BibTeX

  • Amira Dkhil. Ordonnancement hybride des applications flots de données sur des systèmes embarqués multi­coeurs. Thèse de doctorat, Université Paul Sabatier, avril 2015.
    Accès : http://thesesups.ups-tlse.fr/2729/
    BibTeX

  • Hicham Agrou. Architecture multi-coeur déterministe pour l'avionique. Thèse de doctorat, Université Paul Sabatier, septembre 2014.
    Résumé
    BibTeX

  • Hajer Herbegue Bouhachem. Approche ADL pour la modélisation d'architecture basée sur les contraintes (calcul de WCET). Thèse de doctorat, Université Paul Sabatier, septembre 2014.
    BibTeX

  • Roman Bourgade. Analyse du temps d'exécution pire-cas de tâches temps-réel exécutées sur une architecture multi-cœurs. Thèse de doctorat, Université de Toulouse, octobre 2012.
    Accès : https://www.irit.fr/publis/TRACES/these_roman_bourgade_22102012.pdf
    BibTeX

  • Christine Rochange. Prévisibilité des temps d'exécution pire-cas. Habilitation à diriger des recherches, Université de Toulouse, novembre 2011.
    BibTeX

  • Tahiry Ratsiambahotra. Contribution à la simulation de processeur : conception d'un générateur de librairie de simulateurs fonctionnels. Thèse de doctorat, Université de Toulouse, septembre 2010.
    BibTeX

  • Clément Ballabriga. Vérification de contraintes temporelles strictes sur des programmes par composition d'analyses partielles. Thèse de doctorat, Université Paul Sabatier, septembre 2010.
    BibTeX

  • Cédric Landet. Modélisation d'un processeur à exécution simultanée de flots pour le temps réel strict. Thèse de doctorat, Université de Toulouse, décembre 2009.
    BibTeX

  • Jonathan Barre. Architectures multi-flots simultanés pour le temps-réel strict. Thèse de doctorat, Université de Toulouse, décembre 2008.
    BibTeX

  • Claire Burguiere. Modélisation de la prédiction de branchement pour le calcul de temps d’exécution pire-cas. Thèse de doctorat, Université Paul Sabatier, juin 2008.
    BibTeX

  • Fadia Nemer. Optimisation de l'estimation du WCET par analyse inter-tâche du cache d'instructions. Thèse de doctorat, Université Paul Sabatier, février 2008.
    BibTeX

  • Philippe Reynes. Etude de mécanismes de réutilisation d'instructions. Thèse de doctorat, Université Paul Sabatier, juillet 2004.
    Résumé
    BibTeX

  • Reda Bekkouche. Contribution à la conception sûre de sytèmes complexes, critiques et distribués. Thèse de doctorat, Université Paul Sabatier, décembre 2003.
    BibTeX

  • Belkacem Cherfaoui. Partitionnement de systèmes temps-réel-strict pour une implantation sur FPGAs. Thèse de doctorat, Université Paul Sabatier, décembre 2003.
    BibTeX

  • Thierry Haquin. Séquences de branchement : prédiction de branchements et optimisation du chargement des instructions. Thèse de doctorat, Université Paul Sabatier, septembre 2003.
    Résumé
    BibTeX

  • Pascal Sainrat. Parallélisme niveau tâche et parallélisme niveau instruction. Habilitation à diriger des recherches, Université Paul Sabatier, mars 1998.
    Accès : https://www.irit.fr/publis/APARA/HDRPS.ps.gz
    BibTeX

  • H. Pham Tuong. Techniques matérielles d'accélération des accès mémoire dans les processeurs superscalaires. Thèse de doctorat, Université Paul Sabatier, décembre 1997.
    BibTeX

  • Stephan Jourdan. Mécanismes d'exécution non ordonnée et d'acquisition dans les processeurs superscalaires. Thèse de doctorat, Université Paul Sabatier, juillet 1996.
    BibTeX

  • Laurent Carcagno. Spécification et conception de systèmes complexes temps-réel-stricts distribués. Thèse de doctorat, Université Paul Sabatier, octobre 1995.
    BibTeX

  • Marianne De Michiel. Recherche de la configuration optimisée d'une architecture cible pour une application Temps-Réel. Thèse de doctorat, Université Paul Sabatier, janvier 1994.
    BibTeX

  • Christine Rochange. Evaluation des performances d'architectures multiprocesseurs à mémoire logiquement partagée. Thèse de doctorat, Université Paul Sabatier, décembre 1993.
    BibTeX

  • Pascal Sainrat. Réseau d'interconnexion du multiprocesseur M3S : étude et mise en oeuvre. Thèse de doctorat, Université Paul Sabatier, janvier 1991.
    BibTeX

Autres types de publications / Other publications