Le raisonnement séquentiel a cédé le pas au raisonnement parallèle. L’objectif de ce cours est d’apprendre à l’étudiant de
concevoir des algorithmes parallèles ainsi que la parallélisation d’algorithmes séquentiels. Ces aspects sont très utiles dans le
domaine de la vérification des applications parallèles pour lesquelles les machines séquentielles ne répondent plus aux
exigences de ces applications en termes de temps de calcul et de capacité de stockage.
- Enseignant: HAKIM SOUSSI