Rechercher dans
Liens
Nos Events & Actus
  1. FSA
  2. Equipes de Recherche
  3. Equipe Rech. CCSI
  4. Thèses
Thèses
Scalable DNA algorithms
G. Rozenberg (Encadrant)
Université Ibn Khaldoun (2015), Pages 91 Pages
Toward a verified compilation infrastructure for concurrent programs : non-sequential paradigms in Vellvm
G. Rozenberg (Encadrant)
Université Ibn Khaldoun (2015), Pages 130 Pages
Categorical Foundations of Quantitative Algebraic Reasoning
G. Rozenberg (Encadrant)
Université Ibn Khaldoun (2015), Pages 135 Pages
Garantie de confiance et de sécurité dans la composition de services et fonctions réseaux distribuées
A. Frosini (Encadrant)
Université Ibn Khaldoun (2015), Pages 155 Pages
Analyse des problématiques liées à la reconnaissance de sons ambiants en environnement réel
E. B. Zaroual (Encadrant)
Université Ibn Khaldoun (2015), Pages 108 Pages
Analyse des voies métaboliques au cours du cycle cellulaire : application au métabolisme du cancer
Y. Ouakili (Encadrant)
Université Ibn Khaldoun (2015), Pages 154 Pages
Sécurisation systématique d'applications embarquées contre les attaques physiques
A. Belhadj (Encadrant)
Université Ibn Khaldoun (2015), Pages 111 Pages
Routage efficace et garanti dans les réseaux de capteurs sans fil
A. Boualem (Encadrant)
Université Ibn Khaldoun (2015), Pages 89 Pages
Application des architectures many core dans les systèmes embarqués temps réel
A. Boualem (Encadrant)
Université Ibn Khaldoun (2015), Pages 149 Pages
Ordonnancement sous contrainte mémoire dans un modèle de programmation à base de tâches.
N. El mebtoul (Encadrant)
Université Ibn Khaldoun (2014), Pages 146 Pages
Méthodes accélérées pour l'optimisation distribuée
A. Attmani (Encadrant)
Université Ibn Khaldoun (2014), Pages 111 Pages
Vérification par interprétation abstraite en mémoire faiblement cohérente
A. Belhadj (Encadrant)
Université Ibn Khaldoun (2014), Pages 143 Pages
Secure distributed computations for the personal cloud
S. Rafai (Encadrant)
Université Ibn Khaldoun (2014), Pages 88 Pages