Theses
Ordonnancement sous contrainte mémoire dans un modèle de programmation à base de tâches.
N. El mebtoul (Supervisor)
Université Ibn Khaldoun (2014), Pages 146 Pages

Méthodes accélérées pour l'optimisation distribuée
A. Attmani (Supervisor)
Université Ibn Khaldoun (2014), Pages 111 Pages

Vérification par interprétation abstraite en mémoire faiblement cohérente
A. Belhadj (Supervisor)
Université Ibn Khaldoun (2014), Pages 143 Pages

Analyse de la qualité de code via une approche logique et application à la robotique
B. Dadi (Supervisor)
Université Ibn Khaldoun (2014), Pages 82 Pages

Étude des performances des machines à recuit quantique pour la résolution de problèmes combinatoires
M. Harkass (Supervisor)
Université Ibn Khaldoun (2014), Pages 105 Pages

Secure distributed computations for the personal cloud
S. Rafai (Supervisor)
Université Ibn Khaldoun (2014), Pages 88 Pages

Compilation pour l'application de contre-mesures contre les attaques par canal auxiliaire
A. Boualem (Supervisor)
Université Ibn Khaldoun (2014), Pages 96 Pages

Certificats Nullstellensatz pour des problèmes combinatoires
A. Mhamdi (Supervisor)
Université Ibn Khaldoun (2014), Pages 160 Pages

Un système multi-agents pour une place de marché de facture
K. Rahmani (Supervisor)
Université Ibn Khaldoun (2014), Pages 114 Pages
Links
Contact
Laboratory of Mathematics, Computer Science and Applications
Laboratories block
Laboratory of Mathematics, Computer Science and Applications
Faculty of Sciences of Assilah
53000 Assilah-tanger
Morocco
06123456789
05123456789
g.Rozenberg@gmail.res