Zum Inhalt springen

  1. Bertout, Antoine [Verfasser:in] ; Lille 1 [Mitwirkende:r]; Olejnik, Richard [Mitwirkende:r]; Forget, Julien [Mitwirkende:r]

    Minimisation du nombre de tâches d'un système temps réel par regroupement ; Minimizing the number of tasks of a real-time system by clustering

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2015-11-25

  4. Mzid, Rania [Verfasser:in] ; Brest [Mitwirkende:r]; École nationale d'ingénieurs de Sfax (Tunisie) [Mitwirkende:r]; Babau, Jean-Philippe [Mitwirkende:r]; Abid, Mohamed [Mitwirkende:r]

    Rétro-ingénierie des plateformes pour le déploiement des applications temps-réel ; Reverse-engineering of platforms for the deployment of real-time applications

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2014-05-12

  8. Guo, Xiaojie [Verfasser:in] ; Université Grenoble Alpes [Mitwirkende:r]; Fradet, Pascal [Mitwirkende:r]; Monin, Jean-François [Mitwirkende:r]; Quinton, Sophie [Mitwirkende:r]

    Outils certifiés pour les analyses d'ordonnançabilité ; Certified Tools for Schedulability Analyses

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2020-12-18

  10. Gratia, Romain [Verfasser:in] ; Paris, ENST [Mitwirkende:r]; Pautet, Laurent [Mitwirkende:r]; Robert, Thomas [Mitwirkende:r]

    Une approche efficace et polyvalente pour l'ordonnancement de systèmes à criticité mixte sur processeur multi-coeurs ; Versatile and efficient mixed–criticality scheduling for multi-core processors

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2017-01-06

  12. Ge, Ning [Verfasser:in] ; Toulouse, INPT [Mitwirkende:r]; Pantel, Marc [Mitwirkende:r]; Aït-Ameur, Yamine [Mitwirkende:r]

    Property driven verification framework : application to real time property for UML MARTE software design ; Les outils de vérification dédiés à partir des familles de propriétés : une application aux propriétés temps réel pour les modèles UML-MARTE

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2014-05-13

  14. Rouxel, Benjamin [Verfasser:in] ; Rennes 1 [Mitwirkende:r]; Puaut, Isabelle [Mitwirkende:r]; Derrien, Steven [Mitwirkende:r]

    Minimising shared resource contention when scheduling real-time applications on multi-core architectures ; Minimiser l’impact des communications lors de l’ordonnancement d’application temps-réels sur des architectures multi-cœurs

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2018-12-19

  15. Blin, Antoine [Verfasser:in] ; Paris 6 [Mitwirkende:r]; Muller, Gilles [Mitwirkende:r]

    Vers une utilisation efficace des processeurs multi-coeurs dans des systèmes embarqués à criticités multiples ; Towards an efficient use of multi-core processors in mixed criticality embedded systems

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2017-01-30

  16. Martorell, Hélène [Verfasser:in] ; Toulouse, INPT [Mitwirkende:r]; Fabre, Jean-Charles [Mitwirkende:r]; Roy, Matthieu [Mitwirkende:r]

    Architecture et processus de développement permettant la mise à jour dynamique de systèmes embarqués automobiles ; Architecture and Development Process for Dynamic Updates within Automotive Embedded Systems

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2014-12-09

  18. Lauer, Michaël [Verfasser:in] ; Toulouse, INPT [Mitwirkende:r]; Boniol, Frédéric [Mitwirkende:r]; Ermont, Jérôme [Mitwirkende:r]

    Une méthode globale pour la vérification d’exigences temps réel : application à l’avionique modulaire intégrée ; A comprehensive method for the verification of real-time requirements : application to integrated modular avionics

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2012-06-12

  19. Guyomarc'h, Jean [Verfasser:in] ; université Paris-Saclay [Mitwirkende:r]; Espié, Stéphane [Mitwirkende:r]; Mérigot, Alain [Mitwirkende:r]; Vincke, Bastien [Mitwirkende:r]; Ohayon, Emmanuel [Mitwirkende:r]

    Analyse de systèmes temps-réels de sûreté et mitigation de leurs interférences temporelles ; Analysis of safety-critical real-time systems and mitigation of their timing interferences

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2021-10-12