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-00309085v1 Thèse
Nicolas Anciaux. Systèmes de gestion de base de données embarqués dans une puce électronique (Database Systems on Chip)
Informatique [cs]. Université de Versailles-Saint Quentin en Yvelines, 2004. Français

tel-01426486v2 Thèse
Saliha Lallali. A Scalable Search Engine for the Personal Cloud
Computer science. Université Paris-Saclay, 2016. English. <NNT : 2016SACLV009>

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-00011165v1 Thèse
Cédric Wilwert. Influence des fautes transitoires et des performances temps réel sur la sûreté des systèmes X-by-Wire
Réseaux et télécommunications [cs.NI]. Institut National Polytechnique de Lorraine - INPL, 2005. 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

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-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-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-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>

tel-01267159v2 Thèse
Matthieu Lauzier. Conception et validation de plateformes de communication autour du corps humain, à l'échelle de l'individu et du groupe
Réseaux et télécommunications [cs.NI]. INSA de Lyon, 2015. Français. < NNT : 2015ISAL0027 >

Type de document

Auteur

Domaine

Laboratoire

Langue

Mot-clé

Type de dépôt

Année

Contact