Recherche

tel-00177048v1 HDR
Alain Girault. Contributions à la conception sûre des systèmes embarqués sûrs
Réseaux et télécommunications [cs.NI]. Institut National Polytechnique de Grenoble - INPG, 2006

tel-01176440v1 Thèse
Damien Dosimont. Agrégation spatiotemporelle pour la visualisation de traces d'exécution
Performance et fiabilité [cs.PF]. Grenoble Université, 2015. Français

tel-00008413v2 Thèse
Hamoudi Kalla. Génération automatique de distributions/ordonnancements temps réel, fiables et tolérants aux fautes
Réseaux et télécommunications [cs.NI]. Institut National Polytechnique de Grenoble - INPG, 2004. Français

tel-00011522v1 Thèse
Katell Morin-Allory. Vérification Formelle dans le Modèle Polyédrique
Réseaux et télécommunications [cs.NI]. Université Rennes 1, 2004. Français

tel-00925626v2 Thèse
Gideon Smeding. Verification of Weakly-Hard Requirements on Quasi-Synchronous Systems
Embedded Systems. Université de Grenoble, 2013. English. <NNT : 2013GRENM073>

tel-00904884v1 Thèse
Xin An. High Level Design and Control of Adaptive Multiprocessor Systems-on-Chip
Embedded Systems. Université de Grenoble, 2013. English

tel-00879359v2 Thèse
Abdoulaye Gamatié. Modélisation polychrone et évaluation de systèmes temps réel
Systèmes embarqués. Université Rennes 1, 2004. Français

tel-01251336v1 Thèse
Serge Vladimir Emteu Tchagou. Réduction a la volée du volume des traces d' exécution pour l'analyse d'applications multimédia de systemes embarqués
Calcul parallèle, distribué et partagé [cs.DC]. Université de Grenoble Alpes, 2015. Français

tel-00009704v1 Thèse
Jean-Charles Tournier. Qinna, une architecture à base de composants pour la gestion de la qualité de service dans les systèmes embarqués mobiles
Génie logiciel [cs.SE]. INSA de Lyon, 2005. Français

tel-01507595v1 Thèse
Guillaume Baudart. A Synchronous Approach to Quasi-Periodic Systems
Embedded Systems. Ecole normale supérieure - ENS PARIS, 2017. English

tel-01058041v1 Thèse
Van Chan Ngo. Formal Verification of a Synchronous Data- flow Compiler : from Signal to C
Software Engineering [cs.SE]. Université Rennes 1, 2014. English

pastel-00960808v1 Thèse
Pierre Neron. A Quest for Exactness: Program Transformation for Reliable Real Numbers
Logic in Computer Science [cs.LO]. Ecole Polytechnique X, 2013. English

tel-00756967v2 HDR
Abdoulaye Gamatié. Design and Analysis for Multi-Clock and Data-Intensive Applications on Multiprocessor Systems-on-Chip
Embedded Systems. Université des Sciences et Technologie de Lille - Lille I, 2012

tel-00767128v2 Thèse
Aurélien Monot. Vérification des contraintes temporelles de bout-en-bout dans le contexte AutoSar
Systèmes embarqués. Université de Lorraine, 2012. Français

tel-00113765v1 Thèse
Alexandre Courbot. Spécialisation tardive de systèmes Java embarqués pour petits objets portables et sécurisés
Réseaux et télécommunications [cs.NI]. Université des Sciences et Technologie de Lille - Lille I, 2006. Français

tel-00597031v1 Thèse
Adolf Samir Abdallah. Conception de SoC à Base d'Horloges Abstraites : Vers l'Exploration d'Architectures en MARTE
Modélisation et simulation. Université des Sciences et Technologie de Lille - Lille I, 2011. Français

tel-00114928v1 Thèse
Ricardo Santos Marques. Méthodologie de développement des services de communication temps-réel d'un intergiciel embarqué dans l'automobile
Réseaux et télécommunications [cs.NI]. Institut National Polytechnique de Lorraine - INPL, 2006. Français

tel-00750832v1 Thèse
Gwenaël Delaval. Répartition modulaire de programmes synchrones
Langage de programmation [cs.PL]. Institut National Polytechnique de Grenoble - INPG, 2008. Français

tel-00606926v1 Thèse
Lucian Alecu. Une approche neuro-dynamique de conception des processus d'auto-organisation
Informatique [cs]. Université Henri Poincaré - Nancy I, 2011. Français

tel-00528470v1 HDR
Samy Meftali. Vers la reconfiguration dynamique dans les systèmes embarqués: de la modélisation à l'implémentation
Informatique [cs]. Université des Sciences et Technologie de Lille - Lille I, 2010

tel-00540371v1 Thèse
Aurélien Francillon. Attacking and Protecting Constrained Embedded Systems from Control Flow Attacks
Networking and Internet Architecture [cs.NI]. Institut National Polytechnique de Grenoble - INPG, 2009. English

tel-00541140v1 HDR
Frédéric Mallet. Temps Logique pour l'ingénierie dirigée par le modèles
Modeling and Simulation. Université Nice Sophia Antipolis, 2010

tel-01271368v1 Thèse
Antoine Bertout. Minimisation du nombre de tâches d'un système temps réel par regroupement
Informatique [cs]. Université de Lille1, 2015. Français

tel-01104105v1 HDR
Michaël Hauspie. Élements de conception de systèmes embarqués fortement contraints
Systèmes embarqués. Université Lille 1, 2014

tel-01148698v1 Thèse
Evangelos Bempelis. Boolean Parametric Data Flow Modeling - Analyses - Implementation
Other [cs.OH]. Université Grenoble Alpes, 2015. English. < NNT : 2015GREAM007 >

tel-01159519v1 Thèse
Paul-Antoine Arras. Ordonnancement d'applications à flux de données pour les MPSoC embarqués hybrides comprenant des unités de calcul programmables et des accélérateurs matériels
Architectures Matérielles [cs.AR]. Université de Bordeaux, 2015. Français. < NNT : 2015BORD0031 >

tel-00642330v1 Thèse
Erwan Raffin. Déploiement d'applications multimédia sur architecture reconfigurable à gros grain : modélisation avec la programmation par contraintes
Architectures Matérielles [cs.AR]. Université Rennes 1, 2011. Français

tel-01067477v1 Thèse
Van Chan Ngô. Formal verification of a synchronous data-flow compiler : from Signal to C
Software Engineering [cs.SE]. Université Rennes 1, 2014. English. < NNT : 2014REN1S034 >

tel-00639053v1 Thèse
Daniele Perito. Exécution sécurisée de code sur systèmes embarqués
Autre [cs.OH]. Université de Grenoble, 2011. Français. <NNT : 2011GRENM045>

tel-01002065v1 Thèse
Andrés Romero Mier y Teran. Real-time multi-target tracking : a study on color-texture covariance matrices and descriptor/operator switching
Other [cs.OH]. Université Paris Sud - Paris XI, 2013. English. <NNT : 2013PA112313>

Type de document

Auteur

Domaine

Laboratoire

Langue

Mot-clé

Type de dépôt

Année

Contact