Développements
-
Algorithmes de Peterson et Lamport
- Utilisable dans les leçons : 18
-
Algorithme de calcul d'une table de parsing LL(1)
- Utilisable dans les leçons : 30
-
Algorithme A*
- Utilisable dans les leçons : 07
-
Recherche des plus proches voisins par des arbres k-dimensionnels
- Utilisable dans les leçons : 15
-
Algorithme de Quine
- Utilisable dans les leçons : 33
-
Décidabilité de problèmes sur les grammaires algébriques
- Utilisable dans les leçons : 32
-
Théorème de Rice
- Utilisable dans les leçons : 32
-
NP-complétude du problème de 3-colorabilité d'un graphe
- Utilisable dans les leçons : 31
- Algorithme de Cocke-Younger-Kasami
-
Algorithme de décomposition d'un texte en lexèmes
- Utilisable dans les leçons : 29
- Protocole HTTP
-
Gestion d'une connexion TCP
- Utilisable dans les leçons : 25
-
Exemples de requêtes intra-réseau et inter-réseaux
- Utilisable dans les leçons : 24
-
Additionneur carry-look-ahead
- Utilisable dans les leçons : 22
-
Gestion de la concurrence dans un SGBD
- Utilisable dans les leçons : 21
-
Bascule D
- Utilisable dans les leçons : 19
-
Organisation mémoire d'un processus sur Linux
- Utilisable dans les leçons : 19
-
Ordonnacement shortest-job-first multicœur
- Utilisable dans les leçons : 17
-
Calcul des attracteurs de jeux
- Utilisable dans les leçons : 16
-
Algorithme probabiliste de calcul d'une médiane d'une liste
- Utilisable dans les leçons : 11
- Algorithme d'approximation glouton pour le problème de couverture d'un graphe par ensembles
-
Arbres rouge-noir
- Utilisable dans les leçons : 10
-
Recherche d'un motif par un automate fini
- Utilisable dans les leçons : 09
-
Algorithme de Huffman
- Utilisable dans les leçons : 09
-
Tri topologique
- Utilisable dans les leçons : 07
- 2-SAT
-
Union-find
- Utilisable dans les leçons : 06
- Tri par tas
-
Tas binomial
- Utilisable dans les leçons : 05
- Correction du tri par sélection par la logique de Hoare
-
Propriétés de confluence
- Utilisable dans les leçons : 04
-
Lemme de Newman
- Utilisable dans les leçons : 04
-
Langage de Dyck / Mots bien parenthésés
- Utilisable dans les leçons : 04
- Fonctionnement du protocole OSPF
-
Fonctionnement du protocole DNS
- Utilisable dans les leçons : 26
-
Organisation logique du système de fichiers ext2
- Utilisable dans les leçons : 21