- Modèles informatiques de la concurrence et du parallélisme

Deuxième cycle

Cycle : 2 Nombre de crédits : 3 Discipline : Informatique Description Modèles matériels: monoprocesseurs à changement de contexte (concurrence), monoprocesseurs vectoriels, multiprocesseurs en matrice et en arborescences, architectures mixtes, etc. Modèles logiciels: sémaphores, moniteur, processus séquentiels concurrents, etc. Modèles mathématiques: réseaux de Pétri, monoïdes partiellement commutatifs, réseaux systoliques, SIMD, MIMD, etc.