Activités pédagogiques

Activités pédagogiques

Derniers enseignements

Tous les enseignements (5)

2020- 2025: Réseaux informatiques

2020- 2025: Structure de données en C

2020- 2025: Programmation Assembleur

2020- 2025: Programmation système

2020- 2025: Services Web

Derniers encadrements

Tous les encadrements (7)

2019: Design, Optimization, and Formal Verification of Circuit Fault-Tolerance Techniques

2016: Mondes virtuels tridimensionnels : une approche par surfaces implicites

2016: Autonomic Thread Parallelism and Mapping Control for Software Transactional Memory

2014: Systeme distribue a adressage global et coherence logicielle pourlexecution dun modele de tache a flot de donnees

2013: A Framework for Automatic Annotation of Semantic Trajectories